From ngonga at informatik.uni-leipzig.de Wed Oct 1 21:57:34 2014 From: ngonga at informatik.uni-leipzig.de (Axel Ngonga) Date: Wed, 01 Oct 2014 21:57:34 +0200 Subject: Call for Papers Semantics-Enabled Biomedical Information Retrieval (Journal of Bio-Medical Semantics) In-Reply-To: <51F1019A.1060402@informatik.uni-leipzig.de> References: <51C2EC02.6060608@informatik.uni-leipzig.de> <51F1019A.1060402@informatik.uni-leipzig.de> Message-ID: <542C5CAE.5010501@informatik.uni-leipzig.de> [please distribute - apologies for crosspostings] Call for Papers ************ Supplement on Semantics-Enabled Biomedical Information Retrieval Journal of Bio-Medical Semantics Important Data ************* Submission Deadline: December 19th, 2014 Notification of acceptance/rejection: February 27th, 2015 Camera-Ready Paper Deadline: April 17th, 2015 Webpage: http://bioasq.org/project/bioasq-special-issue Submission page: https://easychair.org/conferences/?conf=jbmsbioir2015 Call *** Every day, approximately 3000 new bio-medical articles are published on the Web. This averages to more than 2 articles every minute. In addition to the sheer amount of bio-medical information available on the Web, the variety of this information increases everyday and ranges from structured data in the form of ontologies to unstructured data in the form of documents. Staying on top of this huge amount of diverse data requires methods that allow detecting and integrating portions of datasets that satisfy the information need of given users from sources such as documents, ontologies, Linked Data sets, etc. Developing tools to achieve this bold goal requires combining techniques from several disciplines including Natural Language Processing (e.g., question answering, document summarization, ontology verbalization), Information Retrieval (e.g., document and passage retrieval), Machine Learning (e.g., large-scale hierarchical classification, clustering, etc.), Semantic Web/Linked Data (e.g., reasoning, link discovery) and Databases (e.g., storage and retrieval of triples, indexing, etc.). The aim of this supplement is to collect and present the newest results from these domains in order to push the research frontier towards information systems that will be able to deal with the whole diversity of the Web in the bio-medical domain. The topics of interest include (but are not restricted to): * Large-scale hierarchical text classification * Large-scale classification of documents onto ontology concepts (semantic indexing) * Classification of questions onto ontological concepts * Scalable approaches to document clustering * Text summarization, especially multi-document and query-focused summarization * Verbalization of structured information and related queries (RDF, OWL, SPARQL, etc.) * Question Answering over structured, semi-structured and unstructured data * Reasoning for information retrieval and question answering * Information retrieval over fragmented sources of information * Efficient indexing and storage structures for information retrieval * Delivery of the retrieved information in a concise and user-understandable form * Relation extraction * Textual entailment * Natural-language generation * Named entity recognition/disambiguation * Fact checking * Exploitation of semantic resources (terminologies, ontologies) for information retrieval and question answering * Normalisation of data resources with semantic resources, i.e., concept-driven data transformation Cheers, Axel -- Axel Ngonga, Dr. rer. nat Head of AKSW Augustusplatz 10 Room P905 04109 Leipzig http://aksw.org/AxelNgonga Tel: +49 (0)341 9732341 Fax: +49 (0)341 9732239 From e.haasdijk at vu.nl Thu Oct 2 12:52:33 2014 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Thu, 2 Oct 2014 12:52:33 +0200 (CEST) Subject: EvoROBOT 1st Call for Papers Message-ID: <20141002105233.8BCE6F1ED554@mw-020708.clients.vu.nl> --------------------------------------------------------------- EvoROBOT 2015 Copenhagen, Denmark, 8 - 10 April 2015 --------------------------------------------------------------- Second Call for Papers Evolutionary Computation in Robotics ------------------------------------ The EvoROBOT track is part of EvoApplications, the European Conference on the Applications of Evolutionary Computation (http://www.evostar.org/), to be held in Copenhagen, Denmark. The EvoROBOT track focusses on evolutionary robotics: the application of evolutionary computation techniques to automatically design the controllers and/or hardware of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. We invite high quality contributions dealing with state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: - Evolution of (neural or otherwise) robot controllers; - Evolution of modular robot morphology; - Hardware/morphology and controller co-evolution; - Open-ended evolution in robotics; - Robotic evolutionary Artificial Life; - Evolutionary self-assembly and self-replication; - Evolution, development and learning; - Evolutionary and co-evolutionary approaches. Important Dates ---------------- Submission Deadline: 15 November 2014 Notification: 07 January 2015 Camera-ready: 21 January 2015 EvoStar event: 8-10 April 2015 Publication Details ------------------- Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Submission Details ------------------ Submissions must be novel and original. Submissions will be peer reviewed by at least three members of the program committee and authors of accepted papers are required to address the reviewer's comments to produce a camera-ready version of their manuscripts if accepted. At least one author of each accepted paper must register for the conference and attend the conference to present their work. The reviewing process will be double-blind and any information that may identify the authors should be removed from the initial submission. Please submit your contribution to EvoROBOT in Springer LNCS format. The page limit is 12 pages. Track Chairs ------------ Gusz Eiben Evert Haasdijk Programme Committee ------------------- Nicolas Bredeche Anders Christensen Stephane Doncieux Marco Dorigo Gusz Eiben Evert Haasdijk Heiko Hamann Joost Huizinga Jean-Marc Montanier Claudio Rossi Sanem Sariel Thomas Schmickl Kasper Stoy Juergen Stradner Andy Tyrrell Berend Weel Alan Winfield Further Information ------------------- Visit http://www.evostar.org or join the EVOstar group on LinkedIn for more details and updates. From gis at cs.uns.edu.ar Thu Oct 2 14:38:52 2014 From: gis at cs.uns.edu.ar (Gerardo I. Simari) Date: Thu, 2 Oct 2014 09:38:52 -0300 Subject: IJCAI 2015 Call for Tutorials Message-ID: IJCAI 2015 CALL FOR TUTORIALS IJCAI-15 invites proposals for the Tutorial Program. Tutorials will be held on July 25--27, 2015, immediately prior to the technical conference. Attendance of the tutorials will be included in the IJCAI-15 conference registration fee and will not incur any additional fees. Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of Artificial Intelligence. * Introduce expert non specialists to an AI subarea. * Motivate and explain a topic of emerging importance for AI. * Survey a mature area of AI research and/or practice. * Provide instruction in established but specialized AI methodologies. * Present a novel synthesis combining distinct lines of AI work. * Introduce AI audiences to an external topic that can motivate or use AI research. To broaden and improve the topic coverage provided, we also invite suggestions as to what tutorial topics and presenters might be welcome. Individuals with ideas or suggestions for possible tutorial topics and/or suggested candidate presenters are encouraged to email them to Pascal Poupart (ppoupart at uwaterloo.ca) and Gerardo I. Simari (gis at cs.uns.edu.ar). Suggestions will be kept entirely confidential. --- Important Dates for Tutorials: * Proposal Submission Deadline: November 28th, 2014 * Acceptance Notification: January 9th, 2015 * Title, Abstract, and Speaker Biography Deadline: March 13th, 2015 * Syllabus and Course Handouts Posted: June 19th, 2015 * IJCAI-15 Tutorials: July 25-27, 2015 --- Requirements for Submission: Those interested in presenting a tutorial should submit a proposal to the IJCAI-15 Tutorial Co-chairs, Pascal Poupart and Gerardo I. Simari. A tutorial proposal should contain the following information: * A two-sentence description of the tutorial, suitable for inclusion in the conference registration brochure. * A two-paragraph description of the tutorial, suitable for a web page overview. * A detailed outline of the tutorial. * A characterization of the potential target audience for the tutorial, including prerequisite knowledge. Indicate which of the above objectives are best served by the proposed tutorial. * A description of why the tutorial topic would be of interest to a substantial part of the IJCAI audience. * A brief resume of the presenter(s), which should include: -- Name and affiliation -- Postal address -- Phone and fax numbers -- E-mail address -- Background in the tutorial area -- Citation to an available example of work in the area -- ideally, a published tutorial-level article on the subject -- Evidence of teaching experience, with references addressing the proposer's presentation ability -- Evidence of scholarship in AI/computer science (equivalent to a published IJCAI conference paper or tutorial syllabus). Tutorials are intended to cover reasonably well-established information in a balanced way. They should not be used to advocate a single avenue of research, nor should they promote a product. Proposals should be sent by email, in plain text (ASCII) or PDF form, to Pascal Poupart (ppoupart at uwaterloo.ca) and Gerardo I. Simari ( gis at cs.uns.edu.ar) by November 28th, 2014, with the subject line: "IJCAI Tutorial Proposal". -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Thu Oct 2 16:03:54 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Thu, 2 Oct 2014 11:03:54 -0300 Subject: IJCAI-15 Call for Papers Message-ID: [Apology for cross-postings] ************************************************************************************************* Call for Papers 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina / 25 July-1 August 2015 http://ijcai-15.org/ IMPORTANT DATES * Abstract submission: Feb 8, 2015 (11:59PM, UTC-12). * Paper submission: Feb 12, 2015 (11:59PM, UTC-12). * Author feedback: March 17-23, 2015 (11:59PM, UTC-12). * Notification of acceptance/rejection: April 16, 2015. * Camera-ready copy due: May 2, 2015. ************************************************************************************************* The Program Committee of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI-15) invites the submission of original technical papers for the conference, to be held in Buenos Aires, Argentina, from July 25th to August 1st, 2015. Submissions are invited on significant, original, and previously unpublished research on all aspects of artificial intelligence. Over the past forty years, IJCAI has enjoyed tremendous success in bringing together the international AI community in communicating and celebrating the achievements and advances of artificial intelligence research and practice. With the current explosion of Artificial Intelligence in all walks of life, this year’s IJCAI conference will have even more to celebrate! A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI’s increasingly important role in how we create, discover, disseminate, learn and appreciate arts. THE LOCATION: BUENOS AIRES AND ARGENTINA South America has never before hosted an IJCAI conference, and Buenos Aires is surely an ideal choice for this landmark event. As a key cultural centre in South America, the City of Buenos Aires is also one of the most important and dynamic business and intellectual centres of the region. Buenos Aires has incredible food and wine, innovative and exciting young designers, and a thriving cultural scene. This zest for life makes Buenos Aires one of Latin America's essential destinations. IJCAI-15 will take place close to the downtown area of Buenos Aires. Attendees will find an outstanding modern conference venue, close to many restaurants, with a vibrant street life. And of course, since a visit to Buenos Aires would be incomplete without a visit to the famous Boca neighbourhood and taking in a tango show, we have planned an exciting social program including both. Beyond Buenos Aires, Argentina provides tremendous opportunities for tourism, from the dramatic UNESCO World Heritage site of Iguazu Falls to the ice dams of Los Glaciares National Park. For more information on Argentina tourism, see: http://www.turismo.gov.ar/ SUBMISSION DETAILS Full instructions including formatting guidelines and electronic templates are available on the IJCAI 2015 website: http://ijcai-15.org/index.php/call-for-papers AI AND THE ARTS IJCAI-15 will include a special track around the theme of “AI and the Arts”. This will include social activities around this theme, as well as a scientific track. Details will be made available on the conference website. Shuiwang Ji and Ana Maguitman IJCAI-15 Publicity Co-Chairs Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From invitation at iariaprogram.org Sat Oct 4 15:48:59 2014 From: invitation at iariaprogram.org (ICNS 2015) Date: Sat, 04 Oct 2014 09:48:59 -0400 Subject: 2nd CfP: ICNS 2015 || May 24 - 29, 2015 - Rome, Italy Message-ID: <1412430539865.3591@iariaprogram.org> INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICNS 2015. The submission deadline is December 24, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== ICNS 2015 | Call for Papers =============== CALL FOR PAPERS, TUTORIALS, PANELS ICNS 2015, The Eleventh International Conference on Networking and Services May 24 - 29, 2015 - Rome, Italy General page: http://www.iaria.org/conferences2015/ICNS15.html Call for Papers: http://www.iaria.org/conferences2015/CfPICNS15.html Submission page: http://www.iaria.org/conferences2015/SubmitICNS15.html Contributions: - regular papers [in the proceedings, digital library] - short papers (work in progress) [in the proceedings, digital library] - ideas: two pages [in the proceedings, digital library] - extended abstracts: two pages [in the proceedings, digital library] - posters: two pages [in the proceedings, digital library] - posters: slide only [slide-deck posted at www.iaria.org] - presentations: slide only [slide-deck posted at www.iaria.org] - demos: two pages [posted at www.iaria.org] - doctoral forum submissions: [in the proceedings, digital library] Proposals for: - symposia: see http://www.iaria.org/symposium.html - workshops: see http://www.iaria.org/workshop.html - tutorials: [slide-deck posed on www.iaria.org] - panels: [slide-deck posed on www.iaria.org] Submission deadline: December 24, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org Please note the Poster and Work in Progress options. The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels. Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html ICNS 2015 Topics (topics and submission details: see CfP on the site) ENCOT: Emerging Network Communications and Technologies Access and home networks; Ad hoc networks; Application-specific networks (e.g. SANs); Autonomic Networks; Delay-tolerant Networking; Distributed communications systems & applications; Energy-efficient networking; High-speed & optical networks; Mobile networking and systems; MPLS-VPN & IPSec-VPN networks; Multimedia and multicast communications; Networking Communication theory; Network modeling & simulation; Network monitoring techniques; Network security; Next Generation Networks (NGN); Overlay networks; Peer-to-peer networking; Programmable and Active Networks; Sensor networks; Switching and routing; Wireless and Satellite Networks COMAN: Network Control and Management Network, control and service architectures; Network signaling, pricing and billing; Network middleware; Network management, monitoring and control; Network resource scheduling; Networks policy-based management; Management of autonomic networks and systems; Telecommunication networks architectures; On-demand networks, utility computing architectures; Applications and case studies SERVI: Multi-technology service deployment and assurance Service-oriented architectures; Service definition, creation, bundling, deployment; Service reuse, composition and service feature interaction; Service orchestration and federation; Inter-provider service dependency; Intra-provider service dependency and service interaction; Service middleware and service development platforms (SDPs); Service open architecture (SOA); Profiling and service adaptation; Service privacy and security; Quality of service, service level agreement [QoS/SLA]; Service agreement violations; Mobile services and service migration; Reliability, availability, serviceability [RAS]; Service performance metrics; Traffic engineering, metering, monitoring; Voice over IP services; IP Multimedia services; Real-time/not-real-rime services; real-time services over IP/IPv6; Service performance evaluation, tools, simulation NGNUS: Next Generation Networks and Ubiquitous Services Methodologies, development support, and tools for NGN and converging services; NGN and convergence of ubiquitous services; NGN frameworks, architectures, and concepts; NGN technologies and mechanisms; QoS/SLA, traffic in NGN; NGN transport/service layered capabilities and operations; NGN concepts for active, ad hoc, mobile, and wireless networks; 3G and 4G Mobile networks; Fixed/mobile networks integration and internetworking; Services and service differentiation over NGN; Managing ubiquitous services in NGN; NGN interworking, non-NGN interoperability, migration; Regulatory services in NGN and standard activities; NGN device instrumentation; NGN policy-based control; Next Generation Internet MPQSI: Multi Provider QoS/SLA Internetworking Architectures, frameworks, mechanisms for admission control and measurement; QoS in multi-provider and multi-technology networks; Service classes and multi-provider service class discovery; Service level agreement and service assurance in multi-provider environments; Carrier-class end-to-end SLA and QoS monitoring and management; Multi provider accounting/billing/cost sharing; Management, monitoring, and measurements in multi-provider networks; End-to-end QoS/SLA advanced network services in multi-provider networks; End-to-end QoS/SLA for multimedia applications and services in multi-provider networks; Security issues in multi-service provider networks; Business models for multi-providers under QoS/SLA constraints; Standards and fora activities SDN: Software Defined Networking SDN architectures; Openflow protocols; SDN switches and routers; SDN controllers; Network operating systems; SDN scalability; Virtualization; Flow based operation; Distributed Controllers; State distribution in SDN control; Fault tolerance in SDN; Secure and dependable SDN; Openflow vulnerabilities; Software defined Internet architectures;Scaling virtualized functions; Traffic engineering with SDN; Abstractions for SDN; Network programming languages; Information centric networking and SDN; SDN in cloud computing; SDN applications; SDN in wireless environment; Controller performance evaluations; Mobility solutions GRIDNS: Grid Networks and Services GRID theory, frameworks, methodologies, architecture, ontology; GRID infrastructure and technologies; GRID middleware; GRID protocols and networking; GRID computing, utility computing, autonomic computing, metacomputing; Programmable GRID; Data GRID; Context ontology and management in GRIDs; Distributed decisions in GRID networks; GRID services and applications; Virtualization, modeling, and metadata in GRID; Resource management, scheduling, and scalability in GRID; GRID monitoring, control, and management; Traffic and load balancing in GRID; User profiles and priorities in GRID; Performance and security in GRID systems; Fault tolerance, resilience, survivability, robustness in GRID; QoS/SLA in GRID networks; GRID fora, standards, development, evolution; GRID case studies, validation testbeds, prototypes, and lessons learned EDNA: Emergency Services and Disaster Recovery of Networks and Applications Theory on disaster-tolerant robust networks; Recovery by disruption resource procedures; Security issues with emergency services and disaster recovery; Networks resiliency methods; Formal methods for safety-critical systems; Networks emergency services; Public safety, reliable emergency communications, and applications; Response to the networks emergency services; Disaster prevention and recovery; Fighting mechanisms for disaster of networks and applications; Notifications and recovery in various network technologies; Customer protection and serviceability perception; Cost models and business impact; Cultural and legal aspects; Future advanced network development and evolution; Standards and guidelines; Lawful interception and defense strategies; IPv6DFI: Deploying the Future Infrastructure IP Upgrade - An Engineering Exercise or a Necessity?; Worldwide IPv6 Adoption - Trends and Policies; National Strategies in Stimulating IPv6 Adoption; IPv6 in Government Infrastructures - Specific Requirements; IPv6 Infrastructures for Emergency Response and Law Enforcement - MetroNet6; Communications Equipment Certification for IPv6 Support; IPv6 in Broadband Networks; IPv6 Programs, from Research to Knowledge Dissemination; IPv6 Technology - Practical Information; Advanced Topics and Latest Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6 Enabled Applications and Devices IPDy: Internet Packet Dynamics Measurement of stream characteristics (reordering, delay, losses, jitter, etc.); Measurement and estimation of network characteristics; Tools, metrics and benchmarks; End-to-end packet dynamics; Timing aspects in packet dynamics; Impact of load balancing, parallelism within nodes, etc. on packet dynamics; QoS mechanisms and their impact on packet dynamics; Models (e.g., relating protocols, resources and architectures to packet dynamics); Mitigation of adverse effects of reordering, jitter, etc.; Traffic engineering; Impact of packet dynamics on application performance GOBS: GRID over Optical Burst Switching Networks Terabit burst switching; Burst assembly for IP DiffServ over optical burst switching networks; Optical network infrastructure for Grid; Synchronous stream optical burst switching; Optical burst switching based GRID architecture; Reliable optical burst switching for next-generation Grid networks; Throughput for Grid optical burst switching Grid networks; Resiliency paths over the optical Grid networks; Consumer oriented Grids using optical burst switching; Protocols for optical burst switched Grid networks; Hybrid optical switching for data-intensive media Grid; Anycast routing in optical burst switched Grid networks; Optical burst switching for IP-over-WDM/DWDM; Customizable Grid-to-optical network; Ultra high capacity optical networks; Hybrid optical burst/circuit switched for Grid-enabled optical networks; Job scheduling in optical burst switching Grid networks; Architecture and middleware for Grid-Over-OBS LEARN: Learning Methodologies and Platforms New learning methodologies; Blended learning; Accessibility in Learning; Online laboratories; Virtual laboratories; Remote laboratories; Learning strategies to enhance online courses; Learning Content adaptation for blended learning; Learning platforms and their compatibility with cisco.netacad.net ICNS Advisory Chairs Pedro Andrés Aranda Gutiérrez, Telefónica I+D - Madrid, Spain Carlos Becker Westphall, Federal University of Santa Catarina, Brazil Eugen Borcoci, University 'Politehnica' Bucharest, Romania Jaime Lloret Mauri, Polytechnic University of Valencia, Spain Sathiamoorthy Manoharan, University of Auckland, New Zealand Yoshiaki Taniguchi, Kindai University, Japan Go Hasegawa, Osaka University, Japan Abdulrahman Yarali, Murray State University, USA Emmanuel Bertin, Orange Labs, France Steffen Fries, Siemens, Germany Rui L.A. Aguiar, University of Aveiro, Portugal Iain Murray, Curtin University of Technology, Australia Khondkar Islam, George Mason University - Fairfax, USA ICNS Industry/Research Relation Chairs Eunsoo Shim, Samsung Electronics, Korea Tao Zheng, Orange Labs Beijing, China Bruno Chatras, Orange Labs, France Jun Kyun Choi, KAIST, Korea Michael Galetzka, Fraunhofer Institute for Integrated Circuits - Dresden, Germany Mikael Gidlund, ABB, Sweden Juraj Giertl, T-Systems, Slovakia Sinan Hanay, NICT, Japan Committee: http://www.iaria.org/conferences2015/ComICNS15.html ================================================ To stop receiving notices about ICNS, please reply with "DROP ICNS event at in.tu-clausthal.de" in the subject field. To receive notices about specific topics only, please reply with "TOPIC CHANGE event at in.tu-clausthal.de" in the subject field, and the specific topics in the email body. To stop receiving any notice, please reply with "UNSUBSCRIBE event at in.tu-clausthal.de" in the subject field. From grlmc at urv.cat Sat Oct 4 19:00:07 2014 From: grlmc at urv.cat (GRLMC) Date: Sat, 4 Oct 2014 19:00:07 +0200 Subject: LATA 2015: extended submission deadline 16 October Message-ID: *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------------------------------------------- ***** SUBMISSION DEADLINE EXTENDED: October 16 ***** ---------------------------------------------------------------------------- **************************************************************************************** 9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2015 Nice, France March 2-6, 2015 Organized by: CNRS, I3S, UMR 7271 Nice Sophia Antipolis University Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2015/ **************************************************************************************** AIMS: LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. VENUE: LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose. SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automata, concurrency and Petri nets automatic structures cellular automata codes combinatorics on words computational complexity data and image compression descriptional complexity digital libraries and document engineering foundations of finite state technology foundations of XML fuzzy and rough languages grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography parallel and regulated rewriting parsing patterns power series string and combinatorial issues in bioinformatics string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata unconventional models of computation weighted automata STRUCTURE: LATA 2015 will consist of: invited talks peer-reviewed contributions INVITED SPEAKERS: Paola Inverardi (L’Aquila), Synthesis of Protocol Adapters Johann A. Makowsky (Technion, Haifa), Hankel Matrices for Graph Parameters and Graph Grammars Giancarlo Mauri (Milano Bicocca), Complexity Classes for Membrane Systems Andreas Podelski (Freiburg), Automated Program Verification Antonio Restivo (Palermo), The Shuffle Product: New Research Directions PROGRAMME COMMITTEE: Andrew Adamatzky (West of England, Bristol, UK) Andris Ambainis (Latvia, Riga, LV) Franz Baader (Dresden Tech, DE) Rajesh Bhatt (Massachusetts, Amherst, US) José-Manuel Colom (Zaragoza, ES) Bruno Courcelle (Bordeaux, FR) Erzsébet Csuhaj-Varjú (Eötvös Loránd, Budapest, HU) Aldo de Luca (Naples Federico II, IT) Susanna Donatelli (Turin, IT) Paola Flocchini (Ottawa, CA) Enrico Formenti (Nice, FR) Tero Harju (Turku, FI) Monika Heiner (Brandenburg Tech, Cottbus, DE) Yiguang Hong (Chinese Academy, Beijing, CN) Kazuo Iwama (Kyoto, JP) Sanjay Jain (National Singapore, SG) Maciej Koutny (Newcastle, UK) Antonín Kučera (Masaryk, Brno, CZ) Thierry Lecroq (Rouen, FR) Salvador Lucas (Valencia Tech, ES) Veli Mäkinen (Helsinki, FI) Carlos Martín-Vide (Rovira i Virgili, Tarragona, ES, chair) Filippo Mignosi (L’Aquila, IT) Victor Mitrana (Madrid Tech, ES) Ilan Newman (Haifa, IL) Joachim Niehren (INRIA, Lille, FR) Enno Ohlebusch (Ulm, DE) Arlindo Oliveira (Lisbon, PT) Joël Ouaknine (Oxford, UK) Wojciech Penczek (Polish Academy, Warsaw, PL) Dominique Perrin (ESIEE, Paris, FR) Alberto Policriti (Udine, IT) Sanguthevar Rajasekaran (Connecticut, Storrs, US) Jörg Rothe (Düsseldorf, DE) Frank Ruskey (Victoria, CA) Helmut Seidl (Munich Tech, DE) Ayumi Shinohara (Tohoku, Sendai, JP) Bernhard Steffen (Dortmund, DE) Frank Stephan (National Singapore, SG) Paul Tarau (North Texas, Denton, US) Andrzej Tarlecki (Warsaw, PL) Jacobo Torán (Ulm, DE) Frits Vaandrager (Nijmegen, NL) Jaco van de Pol (Twente, Enschede, NL) Pierre Wolper (Liège, BE) Zhilin Wu (Chinese Academy, Beijing, CN) Slawomir Zadrozny (Polish Academy, Warsaw, PL) Hans Zantema (Eindhoven Tech, NL) ORGANIZING COMMITTEE: Sébastien Autran (Nice) Adrian Horia Dediu (Tarragona) Enrico Formenti (Nice, co-chair) Sandrine Julia (Nice) Carlos Martín-Vide (Tarragona, co-chair) Christophe Papazian (Nice) Julien Provillard (Nice) Pierre-Alain Scribot (Nice) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Submissions have to be uploaded to: https://www.easychair.org/conferences/?conf=lata2015 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of the Journal of Computer and System Sciences (Elsevier, 2013 JCR impact factor: 1.0) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at: http://grammars.grlmc.com/lata2015/Registration.php DEADLINES: Paper submission: October 16, 2014 (23:59 CET) – EXTENDED – Notification of paper acceptance or rejection: November 18, 2014 Final version of the paper for the LNCS proceedings: November 25, 2014 Early registration: November 25, 2014 Late registration: February 16, 2015 Submission to the journal special issue: June 6, 2015 QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: LATA 2015 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Nice Sophia Antipolis University Rovira i Virgili University --- Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa. http://www.avast.com From patrick.lambrix at liu.se Mon Oct 6 13:13:11 2014 From: patrick.lambrix at liu.se (Patrick Lambrix) Date: Mon, 6 Oct 2014 11:13:11 +0000 Subject: Call for Organisation EKAW 2016 - 20th International Conference on Knowledge Engineering and Knowledge Management Message-ID: Dear EKAW community members, As EKAW 2014 (http://www.ida.liu.se/conferences/EKAW14/) is quickly approaching, we are starting the preparations for the organisation of the next edition. We would kindly ask you to consider submitting a proposal to host and organize EKAW in 2016. First held in 1987 and now in its 19th edition, EKAW represents the main European forum for presenting the latest research in knowledge management and knowledge engineering. The conference is held every two years and it is closely linked to the parallel series of K-Cap conferences in North America. Typically, EKAW is jointly organized by a chair and a co-chair, one of which is local and the other from elsewhere. EKAW has traditionally featured a main conference track as well as poster and demonstration tracks in addition to a workshop and tutorial program. The duties of the chair and co-chair will be to oversee the organisation of the whole conference including financial administration, registration, local organisation, program, publication of proceedings etc. There is no budget available for organising an EKAW conference, so that each edition has to self-finance itself through registration fees and sponsoring. An overview of earlier locations where the conference has taken place can be found here: http://www.ekaw.org/ We welcome proposals until the 15th of November 2014, to be sent to the current organisers of the conference: Patrick Lambrix (patrick.lambrix at liu.se) and Eero Hyvönen (eero.hyvonen at tkk.fi). Please use "Bid for EKAW 2016" as subject of your email. The proposal should include: * Name, affiliation and short CV of chair and co-chair * Specification of the complete team that will run the conference and envisioned distribution of roles (PC Chair, Workshop Chair, Tutorial Chair etc.) * Indication of a place and venue for the conference * Possible Dates for the conference (October / November 2016) * Indication of experience of the organizers in running scientific events * Indication of local support, infrastructure and other resources in the institution of the organizers that will contribute to the organization of the conference * Information about easy of travel, accommodation, etc * Preliminary budget Best regards, Patrick Lambrix Eero Hyvönen -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From michael.lipaczewski at ovgu.de Mon Oct 6 15:25:57 2014 From: michael.lipaczewski at ovgu.de (Lipaczewski, Michael) Date: Mon, 6 Oct 2014 13:25:57 +0000 Subject: [IMBSA 2014] Call for Participation Message-ID: <2a0297dc-7301-4e00-bd88-c774beaf4f58@ZERBERUS1.ads.uni-magdeburg.de> --------------------------------------------------------------------------- IMBSA 2014 International Symposium on Model-Based Safety Assessment 27th - 29th of October 2014 Munich, Germany IMBSA.org info at imbsa.org --------------------------------------------------------------------------- Dear Colleagues, It is my honor to invite you to participate in the International Symposium on Model-Based Safety Assessment. After previous editions in Toulouse (2011), Bordeaux (2012), and Versailles (2013), the 4th International Symposium on Model Based Safety and Assessment will be organized in Munich, Germany. This forum aims at bringing together engineers, software specialists and researchers working on all aspects of model based safety assessment. The leading theme of IMBSA is to provide a forum, where brand new ideas from academia, leading edge technology and industrial experiences are brought together. This year's conference covers 15 accepted full paper presentations, with selected papers of the following domains: * Safety Assessment in the Automotive Domain * Various Case Studies * Modeling Paradigms * Fault Detection and Handling * Validation and Testing Additional 7 short paper presentations will be held on ongoing research topics in the field of model-based safety assessment. The highlight of this year's conference is the tutorial day, where 8 outstanding state-of-the art modeling tools and paradigms will be presented in 2 hour slots, offering you an interactive hands-on experience with the latest development in the safety domain. A detailed list of paper and tutorial talks as well as the program can be found here. If you consider to participate in the conference, you can register online here. For any further questions, visit the conference homepage IMBSA.org or contact the organization team at info at imbsa.org __________________________________________________________ ___ __ __ Dipl. Ing. Michael Lipaczewski / __\/ _\ /__\ Chair of Software Engineering / / \ \ /_\ Otto-von-Guericke Universitaet Magdeburg / /___ _\ \//__ Tel.: 0391 / 67-52786 \____/ \__/\__/ __________________________________________________________ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Tue Oct 7 04:01:47 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Mon, 6 Oct 2014 23:01:47 -0300 Subject: Call for Nominations for the IJCAI-15 Awards Message-ID: [Apology for cross-postings] ************************************************************************************************* Call for Nominations for the IJCAI-15 Awards Nominations are invited for the IJCAI Computers and Thought Award, the IJCAI John McCarthy Award, and the IJCAI Award for Research Excellence, which will be presented at IJCAI-15 in Buenos Aires, Argentina in July 2015. See http://www.ijcai.org/awards for details about these awards, including past winners. Nominations for these awards are invited from everyone in the AI community. A nomination package consists of a nomination form from one nominator, and reference forms from between two and four references, as follows: Nominees: The IJCAI Computers and Thought Award is intended to recognize early career researchers and nominees cannot be older than 35 at the start of the IJCAI conference (and so must be born on or after July 28, 1979 for IJCAI-15). The IJCAI John McCarthy Award is intended to recognize established mid-career researchers, typically between fifteen to twenty-five years after obtaining their PhD, that have built up a major track record of research excellence in artificial intelligence. Nominees of the award will have made significant contributions to the research agenda in their area and will have a first-rate profile of influential research results. The IJCAI Award for Research Excellence is intended to recognize researchers who have demonstrated excellence throughout an entire career. There are no restrictions on who can be nominated for this award. Nominators: Nominators for each award can be anyone. Typically, the nominator knows the nominee well, and locates the other individuals who agree to serve as references, ensuring that they do their parts on time to produce a convincing nomination package. References: References for each award must have been at arm’s length from the nominee for the past 6 years. For the purposes relevant here, being at “arm’s length” means being at a different institution from the nominee, not having supervised or been supervised by the nominee, and not having done joint work with the nominee. Ideally, a reference is a well-known member of the AI community who has never had a close association with the nominee, but who can still vouch with authority for him or her. Nomination and reference forms can be downloaded from the addresses below, and should be submitted by email to awards15 at ijcai.org by November 25, 2014. Nominations submitted previously for the Research Excellence award in 2011 and 2013 will be automatically considered again, though the nominators are welcome to submit a revised nomination. Nominations previously submitted for the Computers and Thought award will not automatically be considered again, but can resubmitted. IJCAI Computers and Thought Award Nomination form: http://www.ijcai.org/awards/IJCAI-15_CT_Nomination.txt Reference form: http://www.ijcai.org/awards/IJCAI-15_CT_Reference.txt IJCAI John McCarthy Award Nomination form: http://www.ijcai.org/awards/IJCAI-15_JM_Nomination.txt Reference form: http://www.ijcai.org/awards/IJCAI-15_JM_Reference.txt IJCAI Award for Research Excellence Nomination form: http://www.ijcai.org/awards/IJCAI-15_RE_Nomination.txt Reference form: http://www.ijcai.org/awards/IJCAI-15_RE_Reference.txt Other supporting material (such as CVs, research papers, testimonials, news articles) will naturally be used in the preparation of the nomination and reference forms, but they should not be submitted. To avoid duplication of effort, nominators are requested to send the name of the person they are considering to nominate by email to awards15 at ijcai.org by October 25, 2014, so that people proposing to nominate the same individual(s) may be so informed and coordinate their efforts. IMPORTANT NOTE: Only plain-text forms will be accepted and processed. Suggestion to Nominators and References: The nomination and reference forms collect some factual data, but mainly ask for a statement in 2000 words or less of why the nominee deserves the award. The Awards Committee is looking for evidence that the nominee has generated some of the most important and influential work in the field. Effective letters will therefore emphasize what the nominee has done and why it matters, in a way that is accessible to researchers from all areas of AI. This is especially critical for the IJCAI Computers and Thought Award where the nominee may not yet be known outside of a small area. Important Dates for the IJCAI-15 Awards October 25, 2014: Names of nominee due [email to awards15 at ijcai.org] November 25, 2014: Nomination and reference forms due [all forms emailed to awards15 at ijcai.org] July 28, 2015: IJCAI-15 Computers and Thought Award Presentation July 30, 2015: IJCAI-15 John McCarthy Award Presentation Enquiries concerning nominations should be directed to the IJCAI Secretary at e-s at ijcai.org, or by phone at +49-767-203-8221 or +43-6991-180-8202. Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ijcai2015.publicity at gmail.com Tue Oct 7 16:52:41 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 7 Oct 2014 11:52:41 -0300 Subject: IJCAI-2015 Call for Workshop Proposals - EXTENDED DEADLINE Message-ID: *********************************************************** ************************************* [Apology for cross-postings] ************************************************************ ************************************* IJCAI-2015 Call for Workshop Proposals *** Extended submission deadline: November 15 *** The IJCAI-15 Program Committee invites proposals for the Workshop Program, to be held July 25-27, 2015, immediately prior to the technical conference. IJCAI-15 workshops will provide settings enabling participants to discuss technical topics in an atmosphere that promotes active exchange of ideas. All members of the AI community are invited to submit workshop proposals for review. We encourage several forms of workshops (the list is non-exhaustive): - classical workshops that focus on a particular research area, including proposals for continuations of workshops that were held at previous general AI conferences (e.g., IJCAI, AAAI, ECAI) or discipline specific conferences (e.g., NIPS, KR, AAMAS, UAI, ICAPS...). - workshops that focus on emerging topics and applications, or on open research questions and challenges. - cross-discipline workshops that foster exchange of ideas between groups that are unaware of each other's research. Workshops can vary in length from half a day to two days. To cover costs, it is necessary to charge workshop participants a workshop fee, which is separate from the main conference fee. Workshop attendees do not need to register for the main IJCAI conference, but are encouraged to do so. IJCAI reserves the right to cancel workshops whose attendance does not support their running costs. Important Dates - November 15, 2014 - Proposal submission deadline - November 22, 2014 - Acceptance notification - December 15, 2014 - IJCAI-15 workshop program announced - June 15, 2014 - Deadline for completed workshop notes submission to local organizer - July 25-27, 2015 - IJCAI-15 workshops Although we will not require all workshops to follow the same deadlines, for those who wish to coordinate their dates with the other workshops, we suggest the following dates: - November 25, 2014 - Post the call for participation - April 27, 2015 - Submission of contributions to workshops - May 20, 2015 - Workshop paper acceptance notification - May 30, 2015 - Deadline for final camera ready copy to workshop organizer IJCAI-15 Workshops Requirements for Proposal Submission The workshop proposals should be submitted electronically as a single PDF file through the Easychair system; the submission website will be made accessible shortly. Each proposal should contain the following information: - A preliminary workshop format and a proposed schedule for organizing the workshop, including desired length for the workshop (0.5-day, 1-day, 1.5-day or 2-day). Please indicate if you intend to have any activities other than contributed talks (e.g., invited talks, panels, or posters). - A tentative list of PC members (including full names and affiliations). - A list of related workshops held within the last few years, if any, and their relationship to the proposed workshop. If this workshop continues a workshop from a previous general or area-specific conference, please indicate that. If available, please provide the number of submitted/accepted papers and approximate attendance numbers for these workshops. - The names, email addresses, and URLs of the organizing committee members. The committee should consist of two to four people knowledgeable in the area who do not all work at the same institution. Strong proposals include organizers who bring differing perspectives to the workshop topic and who are actively connected to the communities of potential participants. - The primary contact for the organizing committee. - Brief CVs of organizing committee members, including a list of key publications demonstrating scholarship in the field and a list of workshops previously arranged, if any. Selection process The selection of workshops for the final program will be based upon multiple factors, including the scientific/technical interest of the topics in relation to the anticipated IJCAI audience, the quality of the proposal, the balance and distinctness of topics across all workshops, the history of past attendance for non-first-time workshops, and the capacity of the conference workshop program. We may request proposers addressing similar or overlapping content areas to merge their proposals. For all accepted proposals, IJCAI will be responsible for providing publicity for the workshop series as a whole, and for providing logistic support and a meeting place for the workshop. Together with the organizers, determining the workshop date and time. Note: workshop date will depend on other workshops being held; IJCAI will also be responsible for electronically distributing working notes. Workshop organizers will be responsible for: - Setting up a Web site for the workshop and providing its URL to the workshop chairs. - Advertising the particular workshop and issuing a call for participation/papers. - Making the PDF of the workshop notes available to the Local Chair of IJCAI by June 15th, 2015, together with a list of audio-visual requirements and any special room requirements. - Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference. - Coordinating and moderating workshop participation and content. - Devising a schedule that meshes with shared breaks. For each running workshop there will be two free workshop registrations. The organizers will decide themselves whom to give them to. Please send all inquiries to Jérôme Lang (lang at lamsade.dauphine.fr). Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Tue Oct 7 17:08:07 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 7 Oct 2014 12:08:07 -0300 Subject: IJCAI 2015 CALL FOR TUTORIALS Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI 2015 CALL FOR TUTORIALS IJCAI-15 invites proposals for the Tutorial Program. Tutorials will be held on July 25--27, 2015, immediately prior to the technical conference. Attendance of the tutorials will be included in the IJCAI-15 conference registration fee and will not incur any additional fees. Tutorials should serve one or more of the following objectives: - Introduce novices to major topics of Artificial Intelligence. - Introduce expert non specialists to an AI subarea. - Motivate and explain a topic of emerging importance for AI. - Survey a mature area of AI research and/or practice. - Provide instruction in established but specialized AI methodologies. - Present a novel synthesis combining distinct lines of AI work. - Introduce AI audiences to an external topic that can motivate or use AI research. To broaden and improve the topic coverage provided, we also invite suggestions as to what tutorial topics and presenters might be welcome. Individuals with ideas or suggestions for possible tutorial topics and/or suggested candidate presenters are encouraged to email them to Pascal Poupart (ppoupart at uwaterloo.ca) and Gerardo I. Simari (gis at cs.uns.edu.ar). Suggestions will be kept entirely confidential. Important Dates for Tutorials: - Proposal Submission Deadline: November 28th, 2014 - Acceptance Notification: January 9th, 2015 - Title, Abstract, and Speaker Biography Deadline: March 13th, 2015 - Syllabus and Course Handouts Posted: June 19th, 2015 - IJCAI-15 Tutorials: July 25-27, 2015 Requirements for Submission: Those interested in presenting a tutorial should submit a proposal to the IJCAI-15 Tutorial Co-chairs, Pascal Poupart and Gerardo I. Simari. A tutorial proposal should contain the following information: - A two-sentence description of the tutorial, suitable for inclusion in the conference registration brochure. - A two-paragraph description of the tutorial, suitable for a web page overview. - A detailed outline of the tutorial. - A characterization of the potential target audience for the tutorial, including prerequisite knowledge. Indicate which of the above objectives are best served by the proposed tutorial. - A description of why the tutorial topic would be of interest to a substantial part of the IJCAI audience. - A brief resume of the presenter(s), which should include: - Name and affiliation - Postal address - Phone and fax numbers - E-mail address - Background in the tutorial area - Citation to an available example of work in the area-- ideally, a published tutorial-level article on the subject - Evidence of teaching experience, with references addressing the proposer's presentation ability - Evidence of scholarship in AI/computer science (equivalent to a published IJCAI conference paper or tutorial syllabus). Tutorials are intended to cover reasonably well-established information in a balanced way. They should not be used to advocate a single avenue of research, nor should they promote a product. Proposals should be sent by email, in plain text (ASCII) or PDF form, to Pascal Poupart (ppoupart at uwaterloo.ca) and Gerardo I. Simari ( gis at cs.uns.edu.ar) by November 28th, 2014, with the subject line: "IJCAI Tutorial Proposal". Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Tue Oct 7 17:19:23 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 7 Oct 2014 12:19:23 -0300 Subject: IJCAI 2015 KR Track - CALL FOR PAPERS Message-ID: [Apology for cross-postings] ************************************************************************************************* KR Track CALL FOR PAPERS Knowledge Representation and Reasoning (KRR) is an exciting, central, and well-established area of Artificial Intelligence. In KRR, a fundamental assumption is that an agent's knowledge is explicitly represented, and is amenable for processing by domain-independent reasoning engines. The notion of "knowledge" in KRR is broadly taken and includes not just an agent's beliefs, but also its preferences, intentions, assumptions, goals, and any other phenomena that allows a declarative representation. As well, the notion of "reasoning" in KRR is similarly broadly taken and includes not just classical deductive inference, but also nonmonotonic, plausible, qualitative, probabilistic, and other forms of principled reasoning. The assumption that much of the information that an agent deals with is knowledge-based is common in many modern intelligent systems. Consequently, KRR has contributed to the foundations of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. More recently KRR techniques and approaches have been applied in fields such as the semantic web, computational biology, software agents, question answering and video understanding. We invite authors to submit papers presenting original and unpublished research on Knowledge Representation and Reasoning. We solicit papers that contribute to the formal foundations of relevant areas or that show the applicability of results to implemented or implementable systems. KRR papers in IJCAI 2015 will be organized under a special KRR track with an aim to particularly welcome KRR papers that address AI as a whole as well as KRR papers that arise from other areas of AI, in addition to the traditional KRR papers. In addition, papers that raise novel KRR questions, rather than only providing solutions to existing KRR questions, will be especially welcome. Topics of interest include, but are not limited to: - Action, change, causality and causal reasoning - Argumentation - Belief change: revision and update, belief merging, information fusion - Contextual reasoning - Deployed KR systems - Description logics - Diagnosis, abduction, explanation finding - Inconsistency and exception tolerant reasoning, paraconsistent logics - KR and data management, ontology-based data access, queries and updates over incomplete data - KR and decision making, game theory, economic models - KR and the web - KR and general game playing - KR in video games, virtual environments - KR in image and video understanding - KR in machine learning, inductive logic programming, knowledge discovery and acquisition - KR in natural language understanding and question answering - KR in software engineering - Logic programming, answer set programming, constraint logic programming - Multi-agent systems, autonomous agents, cognitive robotics, logical models of agency - Nonmonotonic logics, default logics, conditional logics - Ontology languages and modeling - Philosophical foundations of KR - Preference modeling and representation, reasoning about preferences, preference-based reasoning - Qualitative reasoning, reasoning about physical systems - Reasoning about knowledge and belief, epistemic and doxastic logics - Reasoning about norms and organizations, social knowledge and behavior - Reasoners and solvers: theorem provers, SAT solvers, QBF solvers, and others. - Spatial reasoning and temporal reasoning - Uncertainty, representations of vagueness, many-valued and fuzzy logics, relational probability models SUBMISSION DETAILS All papers submitted to the KR track are regarded as regular submissions to IJCAI 2015. Please consult the main IJCAI 2015 Call For Papers at http://ijcai-15.org/index.php/call-for-papers for important dates, detailed submission instructions, (including formatting guidelines and electronic templates), review process, and important policies (on multiple submissions, confidentiality and conflict of interest). IJCAI 2015 KR Track Co-chairs: James Delgrande, Simon Fraser University, Canada Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Tue Oct 7 17:31:23 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 7 Oct 2014 12:31:23 -0300 Subject: IJCAI 2015 Machine Learning Track - CALL FOR PAPERS Message-ID: [Apology for cross-postings] ************************************************************************************************* Machine Learning Track CALL FOR PAPERS 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Machine Learning Track Buenos Aires, Argentina / 25 July-1 August 2015 http://ijcai-15.org/ The Machine Learning Track Program Committee of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI-15) invites the submission of original technical papers to the Machine Learning Track of IJCAI-15. Machine Learning is a core area of artificial intelligence research, with implications and deep connections to computer perception, automated cognition and intelligent behavior. As a foundational subject, machine learning touches almost every area of artificial intelligence as a target competence or an enabling technology. Since it is a rapidly growing area that is driving pervasive technological change, machine learning has developed a variety of its own sub-fields, specialized technical tools and methodologies. To counter the perception that machine learning research is diverging from the interests of other areas of artificial intelligence, a strong presence in machine learning will be maintained at IJCAI-15. In addition to highlighting top quality research, the Machine Learning Track will also emphasize research that connects to other areas of artificial intelligence. Submissions are therefore invited on significant, original, and previously unpublished research on all aspects of machine learning, with a special encouragement for machine learning research that demonstrates clear relevance to other areas of artificial intelligence research. General areas of interest include, but are not limited to: probabilistic models and methods, large margin and kernel methods, deep learning and neural learning, ensemble methods, learning from partial labellings, unsupervised learning, relation learning and graphs, reinforcement learning and on-line learning, learning in games and multi-agent systems, evolutionary learning and nature inspired learning, learning theory and machine learning applications. We particularly welcome papers that formulate "new problems" for machine learning and artificial intelligence research, in addition to more traditional papers that propose "solutions" to established problems. Such "new problem" papers will be assessed in terms of the clarity of the proposed formulation, strength of the motivation, depth of the challenges identified, and feasibility of the problems. Such papers can provide value for the community identifying new paths to advancing Artificial Intelligence. We would also like to draw attention to the IJCAI-15 theme of "AI and the Arts" and encourage machine learning submissions that are relevant to this theme. SUBMISSION DETAILS All papers submitted to the Machine Learning track are regarded as regular submissions to IJCAI 2015. Please consult the main IJCAI 2015 Call For Papers at http://ijcai-15.org/index.php/call-for-papers for important dates, detailed submission instructions, (including formatting guidelines and electronic templates), review process, and important policies (on multiple submissions, confidentiality and conflict of interest). IJCAI 2015 Machine Learning Track Co-chairs: Dale Schuurmans (University of Alberta, Canada) Zhi-Hua Zhou (Nanjing University, China) Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Tue Oct 7 17:34:52 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 7 Oct 2014 12:34:52 -0300 Subject: IJCAI 2015 Doctoral Consortium - CALL FOR APPLICATIONS Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI 2015 - Doctoral Consortium Call for Applications Students are invited to apply for admission to the doctoral consortium to be held at the IJCAI conference, Buenos Aires, Argentina, 25 July-1 August 2015. The doctoral consortium provides an opportunity for Ph.D. students to discuss their research interests and career objectives with established researchers in AI, network with other participants, and receive mentoring about career planning and career options. The doctoral consortium will expose students to different areas of research within AI and help building professional connections within the international community of AI researchers. Deadline for applications: February 26, 2015 Notification of acceptance: April 16, 2015 Perspective applicants should submit: 1. a two-page extended abstract on their thesis, formatted following the IJCAI requirements. Accepted abstracts will be included in the IJCAI Proceedings and be presented briefly at the doctoral consortium. Acceptance for publication is not a requirement for admission to the doctoral consortium, but submission is required to apply to the doctoral consortium. Accepted extended abstracts will be published in the IJCAI Proceedings. 2. a curriculum vitae (2 pages) with background (name, university), education (degree sought, year/status in degree, previous degrees), employment, and relevant experience in research (publications, presentations, conferences attended, etc). 3. a personal statement (1-2 pages max) with answers to the following questions: a. Is this the first time you attend IJCAI DC? If not, have you attended other DC? Please say which one(s) and what was most useful to you. b. Have you submitted an article to IJCAI and/or IJCAI workshops? c. When do you expect to graduate? d. What type of job do you desire after graduation (research, teaching, development, etc)? 4. a letter of support from the advisor For details visit http://ijcai15.org/. Submissions to: https://easychair.org/conferences/?conf=ijcai2015dc Some funding will be available to cover in part travel costs. IJCAI will offer additional travel grants to student authors of accepted papers. Details will be available later. For additional information and questions contact: Maria Gini (Univ. of Minnesota, USA) Silvia Schiaffino (ISISTAN, UNCPBA, Argentina) Co-chairs, Doctoral Consortium, IJCAI 2015 email: ijcai15dc at cs.umn.edu Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From weaversa at gmail.com Fri Oct 10 16:45:07 2014 From: weaversa at gmail.com (Sean Weaver) Date: Fri, 10 Oct 2014 10:45:07 -0400 Subject: SAT 2015: Call for Papers --- please distribute Message-ID: ---------------------------------------------------------------------- CALL FOR PAPERS Eighteenth International Conference on THEORY AND APPLICATIONS OF SATISFIABILITY TESTING --- SAT 2015 --- Austin, Texas, September 24-27, 2015 http://www.cs.utexas.edu/~marijn/sat15/ Abstract submission deadline: April 22, 2015 Paper submission deadline: April 29, 2015 ----------------------------------------------------------------------- The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Many hard combinatorial problems can be tackled using SAT-based techniques including problems that arise in Formal Verification, Artificial Intelligence, Operations Research, Computational Biology, Cryptography, Data Mining, Machine Learning, Mathematics, et cetera. Indeed, the theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in a variety of domains. SAT 2015 aims to further advance the field by soliciting original theoretical and practical contributions in these areas with a clear connection to Satisfiability. Specifically, SAT 2015 invites scientific contributions addressing different aspects of SAT interpreted in a broad sense, including (but not restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation. SAT 2015 takes place in Austin, Texas, and is co-locating with the fifteenth Formal Methods in Computer-Aided Design (FMCAD) conference. Austin, the capital of Texas, is a college town and a center of alternative culture away from the major cities on the American coasts, although the city is rapidly gentrifying with its rising popularity. Austin's attitude is commonly emblazoned about town on T-Shirts and bumper stickers that read: "Keep Austin Weird." Austin is considered a major high tech center due in part to UT Austin and the many Fortune 500 companies in the area such as AMD, Apple, eBay, Google, IBM, and Intel, among others. Austin is also marketed as the "Live Music Capital of the World" due to the large number of live music venues. IMPORTANT DATES =============== April 22, 2015: Abstract submission deadline April 29, 2015: Paper submission deadline June 10-12, 2015: Author response period June 28, 2015: Author notification July 26, 2015: Camera-ready versions of papers due September 23, 2015: Pre-conference workshops September 24-27, 2015: Main conference Follow http://www.cs.utexas.edu/~marijn/sat15/ for updates. SCOPE ===== SAT 2015 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Domains include MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), as well as Constraint Satisfaction Problems (CSP). Topics include, but are not restricted to: Theoretical advances (including exact algorithms, proof complexity, and other complexity issues); Practical search algorithms; Knowledge compilation; Implementation-level details of SAT solving tools and SAT-based systems; Problem encodings and reformulations; Applications (including both novel applications domains and improvements to existing approaches); Case studies and reports on insightful findings based on rigorous experimentation. Out of Scope ============ Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered, see http://www.claymath.org/millennium-problems), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. Paper Categories ================ Submissions to SAT 2015 are solicited in three paper categories, describing original contributions: REGULAR PAPERS (9 to 15 pages, excluding references) Regular papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions reporting on case studies are also encouraged, and should describe details, weaknesses, and strengths in sufficient depth. SHORT PAPERS (up to 8 pages, excluding references) The same evaluation criteria apply to short papers as to regular papers. They will be reviewed to the same standards of quality as regular papers, but will naturally contain less quantity of new material. Short papers will have the same status as regular papers and be eligible for the same awards (to be announced later). TOOL PAPERS (up to 6 pages, excluding references) A tool paper should describe the implemented tool and its novel features. Here "tools" are interpreted in a broad sense, including descriptions of implemented solvers, preprocessors, etc., as well as systems that exploit SAT solvers or their extensions to solve interesting problem domains. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2015, and should not consist of previously published material. Submissions not consistent with the above guidelines may be returned without review. Besides the paper itself, authors may submit a supplement consisting of one file in the format of a gzipped tarball (.tar.gz or .tgz) or a gzipped file (.gz) or a zip archive (.zip). Authors are encouraged to submit a supplement when it will help reviewers evaluate the paper. Supplements will be treated with the same degree of confidentiality as the paper itself. For example, the supplement might contain detailed proofs, examples, software, detailed experimental data, or other material related to the submission. Individual reviewers may or may not consult the supplementary material; the paper itself should be self-contained. Regular papers and short papers may be considered for a best paper award. If the main author is a student, both in terms of work and writing, the paper may be considered for a best student-paper award. Use the supplement to your submission to state (in a brief cover letter) if the paper qualifies as a student paper. Links to information on the Springer LNCS style are available through the SAT 2015 website at http://www.cs.utexas.edu/~marijn/sat15/. All papers submissions are done exclusively via EasyChair at http://www.easychair.org/conferences/?conf=sat2015. One author of each accepted paper is expected to present it at the conference. PROCEEDINGS =========== All accepted papers will be published in the proceedings of the conference, which will be published within the Springer LNCS series. PROGRAM CHAIRS ============== Marijn Heule The University of Texas at Austin, United States Sean Weaver Trusted Systems Research Group, Department of Defense, United States PROGRAM COMMITTEE ================= To be announced CONTACT ======= sat2015 at easychair.org From grlmc at urv.cat Sun Oct 12 11:19:24 2014 From: grlmc at urv.cat (GRLMC) Date: Sun, 12 Oct 2014 11:19:24 +0200 Subject: BigDat 2015: registration deadline 23 October Message-ID: <3180A386AAFB4270869EAD3E87F4347A@Carlos1> *To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************** INTERNATIONAL WINTER SCHOOL ON BIG DATA BigDat 2015 Tarragona, Spain January 26-30, 2015 Organized by Rovira i Virgili University http://grammars.grlmc.com/bigdat2015/ ***************************************************** --- 5th registration deadline: October 23, 2014 --- ***************************************************** AIM: BigDat 2015 is a research training event for graduates and postgraduates in the first steps of their academic career. It aims at updating them about the most recent developments in the fast developing area of big data, which covers a large spectrum of current exciting research, development and innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. All big data subareas will be displayed, namely: foundations, infrastructure, management, search and mining, security and privacy, and applications. Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures and 24 six-hour courses, which will tackle the most lively and promising topics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. ADDRESSED TO: Graduate and postgraduates from around the world. There are no formal pre-requisites in terms of academic degrees. However, since there will be differences in the course levels, specific knowledge background may be required for some of them. BigDat 2015 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. They will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. REGIME: In addition to keynotes, 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they will be willing to attend as well as to move from one to another. VENUE: BigDat 2015 will take place in Tarragona, located 90 kms. to the south of Barcelona. The venue will be: Campus Catalunya Universitat Rovira i Virgili Av. Catalunya, 35 43002 Tarragona KEYNOTE SPEAKERS: Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating Discovery via Outsourcing and Automation Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data Applications to Clouds and HPC C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big Data: Information Extraction and Data Mining William D. Gropp (University of Illinois, Urbana-Champaign), tba COURSES AND PROFESSORS: Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics Diego Calvanese (Free University of Bozen-Bolzano), [introductory/intermediate] End-User Access to Big Data Using Ontologies Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Programming with Big Data Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced] Big Data Analytics: Architectures, Algorithms, and Applications Ernesto Damiani (University of Milan), [introductory/intermediate] Process Discovery and Predictive Decision Making from Big Data Sets and Streams Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining Deep Web Repositories Maarten de Rijke (University of Amsterdam), tba Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using Software Defined Systems to Address Big Data Problems Minos Garofalakis (Technical University of Crete, Chania) [intermediate/advanced], Querying Continuous Data Streams Vasant G. Honavar (Pennsylvania State University, University Park) [introductory/intermediate], Learning Predictive Models from Big Data Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User Engagement Tao Li (Florida International University, Miami), [introductory/intermediate] Data Mining Techniques to Understand Textual Data Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data Visualization Christoph Meinel (Hasso Plattner Institute, Potsdam), [introductory/intermediate] New Computing Power by In-Memory and Multicore to Tackle Big Data David Padua (University of Illinois, Urbana-Champaign), [intermediate] Data Parallel Programming Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data in Simulation-based Science Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate] Scalable Data Analysis Evaggelia Pitoura (University of Ioannina), [intermediate] Online Social Networks Vijay V. Raghavan (University of Louisiana, Lafayette), [introductory/intermediate] Visual Analytics of Time-evolving Large-scale Graphs Pierangela Samarati (University of Milan), [intermediate], Data Security and Privacy in the Cloud Peter Sanders (Karlsruhe Institute of Technology), [introductory/intermediate] Algorithm Engineering for Large Data Sets Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel Models for Big Data Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data Mining on Parallel, Distributed and Cloud Computing Systems Jieping Ye (Arizona State University, Tempe), [introductory/advanced] Large-Scale Sparse Learning and Low Rank Modeling ORGANIZING COMMITTEE: Adrian Horia Dediu (Tarragona) Carlos Martín-Vide (Tarragona, chair) Florentina Lilica Voicu (Tarragona) REGISTRATION: It has to be done at http://grammars.grlmc.com/bigdat2015/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event. FEES: As far as possible, participants are expected to stay full-time. Fees are a flat rate covering the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions of accommodation will be provided in due time. CERTIFICATE: Participants will be delivered a certificate of attendance. QUESTIONS AND FURTHER INFORMATION: florentinalilica.voicu at urv.cat POSTAL ADDRESS: BigDat 2015 Lilica Voicu Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34 977 559 543 Fax: +34 977 558 386 ACKNOWLEDGEMENTS: Universitat Rovira i Virgili From Xin.Li at uts.edu.au Mon Oct 13 02:31:41 2014 From: Xin.Li at uts.edu.au (Xin Li) Date: Mon, 13 Oct 2014 11:31:41 +1100 Subject: ICWE 2015 CALL FOR PAPERS Message-ID: <50D6C04FC4A4484B9511E345620A47F7AE6CB08C60@MAILBOXCLUSTER3.adsroot.uts.edu.au> 15th International Conference on Web Engineering Rotterdam, the Netherlands | June 22-26, 2015 http://icwe2015.webengineering.org/ IMPORTANT DATES * Abstract submission: February 05, 2015 (23h59 Hawaii Time) * Full paper submission: February 12, 2015 (23h59 Hawaii Time) * Paper notification: March 20, 2015 ICWE 2015 AT A GLANCE ICWE aims to bring together researchers and practitioners from various disciplines in academia and industry to tackle the emerging challenges in the engineering of Web applications and in the problems of its associated technologies, as well as the impact of those technologies on society and culture. The 15th edition of ICWE will be organized in thematic tracks, each focusing on a different dimension of Web applications - Web application modeling and engineering, mobile Web applications, social Web applications, Semantic Web applications, quality and accessibility aspects of Web applications, Web composition and mashups, Web user interfaces, and security and privacy in Web applications. In addition to the research tracks, ICWE 2015 also seeks contributions of demos and posters, student papers to the PhD Symposium, tutorials, and workshops, which will be subject of individual calls for papers. The conference will be held at the World Trade Center in Rotterdam, the Netherlands. Rotterdam is the second largest city in the Netherlands, one of the largest seaports worldwide, and host to several leading universities. Further information can be found at http://icwe2015.webengineering.org/. ORGANIZATION General Chair: Flavius Frasincar, Erasmus University Rotterdam, Rotterdam, the Netherlands Contact: generalchair.icwe2015 at webengineering.org Vice-General Chair: Geert-Jan Houben, Delft University of Technology, Delft, the Netherlands Contact: generalchair.icwe2015 at webengineering.org Program Co-Chairs: Philipp Cimiano, Bielefeld University, Bielefeld, Germany Daniel Schwabe, Pontifical Catholic University, Rio de Janeiro, Brazil Contact: pcchair.icwe2015 at webengineering.org SUBMISSIONS INFORMATION This call addresses research contributions in one of the following categories: * Full research papers: mature, original research contribution. Reported results should be supported by some type of validation, and also include a justification about the choice/suitability of the validation method. In addition, evidence of use in practice and/or demonstration of scalability is regarded as a plus. (max. 18 pages) * Position papers: short papers presenting a discussion, analysis, criticism, proposal, etc., about relevant aspects of Web engineering topics. These papers are intended to generate discussions that promise potential for research that will impact Web engineering in the coming years. (max. 10 pages) Papers must be formatted according to the information for Springer LNCS authors at http://www.springer.de/comp/lncs/authors.html and submitted in PDF. Accepted contributions will be included into the ICWE 2015 Springer LNCS proceedings. The best papers will be selected to be proposed, in extended form, as part of a special issue of the Journal of Web Engineering. Submissions and reviewing are supported by the EasyChair system at https://easychair.org/conferences/?conf=icwe2015 ICWE 2015 RESEARCH TRACKS (see also http://icwe2015.webengineering.org/tracks/) * Web application modeling and engineering (Co-Chairs: Oscar Pastor, Marco Winckler) * Mobile Web applications (Co-Chairs: In-Young Ko, Volker Gruhn) * Social Web applications (Co-Chairs: Alessandro Bozzon, Sven Casteleyn) * Semantic Web applications (Co-Chairs: Sören Auer, Heiko Paulheim) * Quality and accessibility aspects of Web applications (Co-Chairs: Luis Olsina, Markel Vigo) * Web applications composition and mashups (Co-Chairs: Cinzia Cappiello, Cesare Pautasso) * Web user interfaces (Co-Chairs: Ali Mesbah, Fabio Paternó) * Security and privacy in Web applications (Co-Chairs: Martin Gaedke, Christian Hammer) UTS CRICOS Provider Code: 00099F DISCLAIMER: This email message and any accompanying attachments may contain confidential information. If you are not the intended recipient, do not read, use, disseminate, distribute or copy this message or attachments. If you have received this message in error, please notify the sender immediately and delete this message. Any views expressed in this message are those of the individual sender, except where the sender expressly, and with authority, states them to be the views of the University of Technology Sydney. Before opening any attachments, please check them for viruses and defects. Think. Green. Do. Please consider the environment before printing this email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Oct 13 18:43:46 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 13 Oct 2014 12:43:46 -0400 (EDT) Subject: NETYS 2015 Call for Papers Message-ID: <20141013164346.6391E12144D@mcclellan.cs.miami.edu> *CALL FOR PAPERS THE INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS** **NETYS 2015** **May 13-15, 2015, AGADIR, MOROCCO** **http://www.netys.net* *Aim and Scope:** * NETYS aims to bring together researchers and engineers from both the theory and practice of distributed and networked systems. The scope of the conference covers all aspects related to the design and the development of these systems, including, but not restricted to, multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, formal verification, etc. NETYS will provide a forum to report on best practices and novel algorithms, results and techniques on networked systems. Original contributions as well as experience papers on the principles, design, implementation, modeling, analysis, verification, and application of networked systems are solicited. Specific concepts common to different forms of such systems are most welcome. NETYS is coupled with the METIS Spring School which aims at introducing young researchers to the domain of distributed and networked systems through tutorials on basics, as well as lectures on new research topics and current trends in this domain. *Paper submission:** * Submissions should contain original research and sufficient detail to assess the merits and relevance of the contribution. NETYS welcomes papers on theory, case studies and comparisons with existing experimental research, tools, as well as combinations of new theory with experimental evaluation. NETYS is soliciting two forms of papers: full and short papers. Full papers are allowed a maximum of 15 pages in Springer's LNCS format, whereas short papers are allowed a maximum of 5 pages (in the same format), both in the submission and in the proceedings. A full paper submission might be accepted as such, as a short paper or a poster. A short paper may be accepted as such or as a poster. Posters will be presented at the conference to reflect work in progress and will not lead to a publication in the proceedings. Authors are given the option to accept or not the type in which their paper is selected for acceptance. *Publication:* Springer's Lecture Notes in Computer Science series will publish the proceedings of the conference (www.springer.com/lncs). It is required that each accepted paper be presented at the conference by one of its authors. The Computing Journal could publish extended versions of selected papers (www.springer.com/computer/journal/607) Awards will be given to the best paper and the best student paper. A paper is eligible for the best student paper award if at least one of its authors is a full-time student at the time of submission. This should be indicated in the submission. *Submission instructions:* All submissions should follow the LNCS template. Submitted papers must be written in English. Full papers are allowed a maximum of 15 pages in LNCS format, whereas short papers are allowed a maximum of 5 pages, both in the submission and in the proceedings. Papers exceeding these limits may be rejected without review. Paper submission will be handled by EasyChair, so please make sure that you have an active account. The papers must be submitted electronically at: https://easychair.org/conferences/?conf=netys2015 *Important dates** * - Abstract submission deadline: January 5, 2015 - Paper submission deadline: January 9, 2015 - Acceptance notification: March 9, 2015 - Camera ready copy due: April 10, 2015 - Conference: May 13-15, 2015 *Organization:* /_General Co-chairs_:/ Mohammed Erradi ENSIAS, Rabat, Morocco Rachid Guerraoui EPFL, Switzerland /_Program Co-chairs_:/ Ahmed Bouajjani Univ. Paris Diderot, France Hugues Fauconnier Univ. Paris Diderot, France /_Program Committee_:/ Parosh Aziz Abdulla Univ. Uppsala, Sweden Joffroy Beauquier Univ. Paris 11, France Gregor Bochmann Univ. Ottawa, Canada Carole Delporte Univ. Paris Diderot, France Amr El Abbadi UCSB, USA Khaldoun El Agha Univ. Paris 11, France Mohamed El Koutbi ENSIAS, Rabat, Morocco Boualem Benatallah Univ. New South Wales, Australia Mohamed El Kamili USMBA, Fes, Morocco Bernd Freisleben Univ. Marburg, Germany Mohamed Gouda Univ. Texas at Austin Vincent Gramoli Univ. Sydney, Australia Seif Haridi SICS, Sweden Maurice Herlihy Brown Univ., USA Claude Jard Univ. Nantes, France Zahi Jarir Univ. Cadi Ayyad, Morocco Anne-Marie Kermarrec INRIA, Rennes, France Rupak Majumdar MPI-SWS, Germany Stephan Merz INRIA, Nancy, France Louise Moser UCSB, USA Hassan Mountassir Univ. Franche-Comt?, France Guevara Noubir Northeastern Univ., USA Andreas Podelski Univ. Freiburg, Germany Shaz Qadeer Microsoft Research, USA Vivien Quema INPG, Grenoble, France Sergio Rajsbaum UNAM, Mexico Ganesan Ramalingam Microsoft Research, India Michel Raynal IRISA, Rennes, France Alexander Shvartsman Univ. Connecticut, USA Sebastian Tixeuil Univ. Pierre et Marie Curie, France Martin Vechev ETH Zurich, Switzerland _/Organizing Committee/_: Khadija Bakkouch IRFC, Rabat Abdellah Boulouz Univ. Ibn zohr, Agadir Mohammed Erradi ENSIAS, UM5S, Rabat Zahi Jarir Univ. Cadi Ayyad, Marrakech Mohammed Ouzzif ESTC, UH2M, Casablanca _/Students Committee/_: Meryeme Ayache ENSIAS, UM5S, Rabat Yahya Benkaouz ENSIAS, UM5S, Rabat From geoff at cs.miami.edu Wed Oct 15 14:33:51 2014 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 15 Oct 2014 08:33:51 -0400 (EDT) Subject: CADE-25 Call for Papers, etc. Message-ID: <20141015123351.EF5FD1214DA@mcclellan.cs.miami.edu> ---------------------------------------------------------------------------- CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS, AND PAPERS 25th International Conference on Automated Deduction (CADE-25) Berlin, Germany, 1-7 August 2015 http://www.cade-25.info Submission deadlines: 14 November 2014 (workshops/tutorials/competitions) 16/23 February 2015 (papers) CADE is the major international forum at which research on all aspects of automated deduction is presented. The 25th jubilee edition will feature a special session on the past, present, and future of automated deduction with Ursula Martin University of Oxford Frank Pfenning Carnegie Mellon University David Plaisted University of North Carolina at Chapel Hill Andrei Voronkov University of Manchester as invited speakers. In addition, there will be invited presentations by Ulrich Furbach University of Koblenz Edward Zalta Stanford University CALL FOR WORKSHOPS Workshop proposals for CADE-25 are solicited. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are very welcome. Please provide the following information in your application document: + Workshop title. + Names and affiliations of organizers. + Proposed workshop duration (from half a day to two days) and preferred day(s). + Brief description of the goals and the scope of the workshop. Why is the workshop relevant for CADE? + Is the workshop new or has it met previously? In the latter case information on previous meetings should be given (e.g., links to the program, number of submissions, number of participants). + What are the plans for publication? CALL FOR TUTORIALS Tutorial proposals for CADE-25 are solicited. Tutorials are expected to be half-day events, with a theoretical or applied focus, on a topic of interest for CADE-25. Proposals should provide the following information: + Tutorial title. + Names and affiliations of organizers. + Brief description of the tutorial's goals and topics to be covered. + Whether or not a version of the tutorial has been given previously. CADE will take care of printing and distributing notes for tutorials that would like this service. CALL FOR SYSTEM COMPETITIONS The CADE ATP System Competition (CASC), which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences. Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broader sense. Proposals should include the following information: + Competition title. + Names and affiliations of organizers. + Duration and schedule of the competition. + Room/space requirements. + Description of the competition task and the evaluation procedure. + Is the competition new or has it been organized before? In the latter case information on previous competitions should be given. + What computing resources are required and how will they be provided? CALL FOR PAPERS High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, and practical experiences are solicited. * Logics of interest include propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, constructive, other non-classical, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof. * Paradigms of interest include theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integration. * Methods of interest include resolution, superposition, completion, saturation, term rewriting, decision procedures, model elimination, connection methods, tableaux, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including matching, unification, orderings, induction, indexing techniques, proof presentation and explanation, proof planning. * Applications of interest include program analysis, verification and synthesis of software and hardware, formal methods, computational logic, computer mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, declarative programming, robotics, planning, and other areas of AI. Submissions can be made in the categories regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages for regular papers and 10 pages for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions should contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html At every CADE conference the Program Committee selects one of the accepted papers to receive the CADE Best Paper Award. The award recognizes a paper that the Program Committee collegially evaluates as the best in terms of originality and significance, having substantial confidence in its correctness. Overall technical quality, completeness, scholarly accuracy, and readability are also considered. Characteristics associated with a best paper include, for instance, introduction of a strong new technique or approach, solution of a long-standing open problem, introduction and solution of an interesting and important new problem, highly innovative application of known ideas or existing techniques, and presentation of a new system of outstanding power. Under exceptional circumstances, the Program Committee may give two awards (ex aequo) or give no award. At CADE-25 we also intend to award the best student paper (details will follow). IMPORTANT DATES Workshop/Tutorials/System Competitions: Submission deadline: 14 November 2014 Notification: 28 November 2014 Papers: Abstract deadline: 16 February 2015 Submission deadline: 23 February 2015 Rebuttal phase: 15-18 April 2015 Notification: 26 April 2015 Final version: 17 May 2015 Workshops and Tutorials: 1 August to 3 August (morning) 2015 Competitions: 1 to 7 August 2015 Conference: 3 August (afternoon) to 7 August 2015 SUBMISSION INSTRUCTIONS Proposals for workshops, tutorials, and system competitions should be uploaded via https://easychair.org/conferences/?conf=cade25workshopstutor Papers should be submitted via https://easychair.org/conferences/?conf=cade25 CADE-25 ORGANIZERS Conference Chair: Christoph Benzmüller Freie Universität Berlin Program Committee Co-Chairs: Amy Felty University of Ottawa Aart Middeldorp University of Innsbruck Workshop, Tutorial, and Competition Co-Chairs: Jasmin Blanchette Technische Universität München Andrew Reynolds EPFL Lausanne Publicity and Web Chair: Julian Röder Freie Universität Berlin Program Committee Carlos Areces Universidad Nacional de Córdoba Alessandro Armando University of Genova Christoph Benzmüller Freie Universität Berlin Josh Berdine Microsoft Research Jasmin Blanchette Technische Universität München Marta Cialdea Mayer Universita di Roma Tre Stephanie Delaune CNRS Gilles Dowek Inria Amy Felty University of Ottawa Reiner Hähnle Technical University of Darmstadt Stefan Hetzl Vienna University of Technology Marijn Heule The University of Texas at Austin Nao Hirokawa JAIST Ullrich Hustadt University of Liverpool Deepak Kapur University of New Mexico Gerwin Klein NICTA and UNSW Laura Kovács Chalmers University of Technology Carsten Lutz Universität Bremen Assia Mahboubi Inria Aart Middeldorp University of Innsbruck Albert Oliveras Technical University of Catalonia Nicolas Peltier CNRS Brigitte Pientka McGill University Ruzica Piskac Yale University André Platzer Carnegie Mellon University Andrew Reynolds EPFL Lausanne Christophe Ringeissen LORIA-INRIA Renate Schmidt University of Manchester Stephan Schulz DHBW Stuttgart Georg Struth University of Sheffield Geoff Sutcliffe University of Miami Alwen Tiu Nanyang Technological University Freek Wiedijk Radboud University Nijmegen From yassin.chkouri at gmail.com Thu Oct 16 00:35:06 2014 From: yassin.chkouri at gmail.com (Mohamed Yassin Chkouri) Date: Wed, 15 Oct 2014 23:35:06 +0100 Subject: =?UTF-8?Q?Workshop_SESA=E2=80=992014_=3A_Call_For_Papers_=2D_Paper_submi?= =?UTF-8?Q?ssion_deadline_=2D_15_November_2014?= Message-ID: ========================================================================================= *SESA’2014* : Workshop onSoftware Engineering and Systems Architecture. *December 13, 2014 - Tetouan, Morroco* http://sesa2014.uae.ma/ *Description :* To foster academic and industrial research in Morroco in innovative domains, the National School of Tetouan propose a common workshop for professors, researchers and students on the design of models and algorithms for embedded and networked systems. The workshop aims at highlighting recent results as well as presenting ongoing challenges in the following domains, but are not limited to : - Formal techniques for the construction of software with guaranteed safety; - Methods based on formal techniques for developing software, - Modeling and validating formal requirements, - Specializaiton and extension of modeling techniques and evaluation induced by application domains, - Parallel and distributed algorithmic for networks - Ad-hoc and wireless networks, - Fault-tolerance, attacks and security, - Embedded & Real-time systems, - Cloud and Grid Computing. - - Distributed Systems - Natural Language Processing - E-learning - *Invited Speakers :* - Mamoun FILALI AMINE (Université Paul Sabatier , IRIT CNRS Laboratory, Toulouse -France-) - Farid NAIT ABDESSELAM ( Université Paris Descartes, LIPADE Laboratory, Paris -France-) *Submissions :* Authors are invited to submit papers in English (4 pages) with double-column, reasonable margins and line spacing. Articles should be submitted through the dedicated Easychairs interface: https://easychair.org/conferences/?conf=sesa2014 Accepted papers must be presented under two forms during the workshop: during a short presentation and during a poster session. *Important Dates :* - Article submission : November 15, 2014 - Notification to authors : November 30, 2014 - Registration deadline : December 1, 2014 - Camera-ready version : December 5, 2014 - SESA 2014 Workshop : December 16, 2014 *Program **Committee** :* - Nora AKNIN, Faculté des Sciences Tetouan - Mohamed Yassin CHKOURI, ENSAT Tetouan - Stéphane Devismes, University Joseph Fourier – Grenoble - Swan Dubois, University Pierre et Marie Curie - Paris - Kamal Eddine EL KADIRI, ENSA Tetouan - Yliès Falcone, University Joseph Fourier - Grenoble - Rachid Ouald Haj Thami, ENSIAS – Rabat - Sophie Pinchinat, University of Rennes - Thierry Jéron, Inria Rennes Bretagne Atlantique - Abdelaziz SDIGUI DOUKKALI, ENSIAS – Rabat - Mamoun FILALI AMINE, University Paul Sabatier, Toulouse - Abderrahim TAHIRI, National School of Applied Sciences (ENSA) of Tetouan - Yacine EL YOUNOUSSI, National School of Applied Sciences (ENSA) of Tetouan - Anouar ABTOY, National School of Applied Sciences (ENSA) of Tetouan - Mohamed EL ACHHAB, National School of Applied Sciences (ENSA) of Tetouan, - Mohamed CHRAYAH, National School of Applied Sciences (ENSA) of Tetouan - Mohamed LAZAAR, National School of Applied Sciences (ENSA) of Tetouan - Jean-Paul BODEVEIX, Université of Toulouse - Geroges Da COSTA , Université of Toulouse Best regards, -- Pr. CHKOURI M. Yassin Ecole Nationale des Sciences Appliquées (ENSA) Mhannech II, B.P 2121 Tetouan / Maroc -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dragoni at fbk.eu Fri Oct 17 11:27:39 2014 From: dragoni at fbk.eu (Mauro Dragoni) Date: Fri, 17 Oct 2014 11:27:39 +0200 Subject: [ESWC 2015] Call For Workshop Proposal Message-ID: Call for Workshops: ESWC 2015 The organisers of the 12th Extended Semantic Web Conference (ESWC 2015) cordially invite you to submit a workshop proposal. ESWC is a major venue for discussing the latest scientific results and innovations in the field of semantic technologies on the Web and Linked Data, attracting a high number of high-quality submissions and participants from academia and industry alike. Co-located workshops at ESWC conferences are distinguished meeting points for discussing ongoing work and the latest ideas related to semantic technologies and the Semantic Web. Of particular interest are workshop proposals from an interdisciplinary standpoint, proposals focusing on a specific technology of general interest, or those gathering a sub-community. We encourage the submission of workshop proposals on: * Fundamental problems of the Semantic Web / Linked Data such as ontology mining, ontology alignment, heterogeneity, scalability and distribution, etc., * Applications of Semantic Web technologies in specific domains, * Important enabling technologies and their adaptation to the needs of the Semantic Web, * Aspects of Semantic Web research that have been neglected so far (e.g., uncertainty reasoning), and * Techniques and methods from other research fields that are of relevance for Semantic Web research (e.g., machine learning, NLP, data mining). General Information and Criteria Each proposal will be reviewed by the members of the workshop programme committee, and ranked based on the overall quality of the proposal and the workshop's fit to the conference as detailed below. Their recommendations will determine the final decision on the acceptance / rejection of each proposal, which is to be taken by the Workshop Chairs as well as by the Local and General Chairs of ESWC 2015. The criteria for judging the quality of workshop proposals are as follows: * Co-located workshops cover topics falling in the general scope of the ESWC conference. * Workshops are intended to be genuine interactive events and not mini-conferences. * We welcome workshops with creative structures and organisations that attract various types of contributions and ensure rich interactions. * Workshops should have a clear focus on a specific technology, problem or application. * There is potentially a significant community interested in the workshop's topic. * Workshop duration can be half a day or a full day. * We strongly advise having more than one organiser and no more than four, preferably from different institutions, bringing different perspectives to the workshop topic. In case overlapping workshops are proposed, the Workshop Chairs may contact the organisers to discuss the possibility of merging workshops. Please note that the duration of a workshop might need to be adjusted based on the overall number of submissions received. Furthermore, workshops that receive less than 5 submissions or have less than 10 people registered at the early registration deadline might be canceled. The organisers of accepted workshops will be responsible for their own reviewing process, best paper award, publicity (e.g., website, timelines and call for papers), and proceedings production. They will be required to closely cooperate with the Workshop Chairs and the ESWC 2015 Local Chairs to finalise all organisational details. Workshop attendees must pay the ESWC 2015 workshop registration fee, as well as the conference registration fee. Each accepted workshop will get one free registration for one of its organisers for workshops and tutorials at the pre-conference days, i.e. he/she will only pay the main conference fee. Important Dates Workshop proposals due: Monday 1st December, 2014 - 23:59 Hawaii Time Notification of acceptance: Monday 15th December, 2014 - 23:59 Hawaii Time Workshop website due: Monday 22nd December, 2014 - 23:59 Hawaii Time Workshop camera-ready proceedings due: Friday May 1, 2015 - 23:59 Hawaii Time Workshop days: Sunday May 31 and Monday June 1, 2015 Suggested Timeline for Workshop Papers Submission deadline: Friday March 6, 2015 Notifications: Friday April 3, 2015 Camera-ready version: Friday April 17, 2015 Submission Guidelines Workshop proposals have to be submitted via EasyChair at https://easychair.org/conferences/?conf=eswc2015workshops. Each proposal must consist of a single PDF document written in English, not longer than four pages, which contains the following information: 1. The title and brief technical description of the workshop, specifying its goals and motivation. 2. A brief discussion of why the topic is of particular interest at this time. 3. A brief description of why and to whom the workshop is of interest, the workshop audience, as well as the expected number of participants. 4. A brief description (draft outline) of the proposed workshop format, discussing the mix of events and activities such as paper presentations, invited talks, panels, hacking sessions, or general discussion slots, and an approximate timeline. 5. A list of (potential) members of the program committee (at least 50% have to be known and confirmed at the time of the proposal). 6. An indication of whether the workshop should be considered for a half-day or full-day event. 7. Related workshops and conferences, i.e. specify if this is the continuation of a workshop series or is a new workshop to address an emerging issue. Please provide information about past versions of this workshop and other related workshops (including URLs and submission / acceptance counts, if available). 8. Names and contact information of the workshop organisers/chair(s) (name, affiliation, email address, homepage and short (one paragraph) biography of each chair, explaining the chair's expertise for the workshop including past experience in organising / facilitating workshops). Preferably provide a single contact person per submission. 9. A one-page draft of the call for papers (CFP). The best papers from each workshop will be included in the supplementary proceedings of ESWC 2015, which will appear in the Springer LNCS series. Workshop Chairs John Breslin (National University of Ireland Galway and Insight Centre for Data Analytics) email: john.breslin at nuigalway.ie Catherine Faron-Zucker (University of Nice Sophia Antipolis, France) email: faron at unice.fr From yangliu at ntu.edu.sg Fri Oct 17 11:45:41 2014 From: yangliu at ntu.edu.sg (Liu Yang (Asst Prof)) Date: Fri, 17 Oct 2014 09:45:41 +0000 Subject: ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation Message-ID: <5A4257BA3B1EEA45B17620B30FD656E12CB175ED@EXCHMBOX31.staff.main.ntu.edu.sg> 16th International Conference on Formal Engineering Methods ICFEM 2014, Luxembourg, 3-7 November 2014 Last Call for Participation http://icfem2014.uni.lu ---------------------------------------- The 16th International Conference on Formal Engineering Methods (ICFEM 2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from 3rd November to 7 November 2014. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Highlights: ---------------------------------------- + Keynote speakers: Nikolaj Bjorner (Microsoft Research), Lionel Briand (University of Luxembourg) and Vincent Danos (University of Edinburgh) + The conference is now available http://icfem2014.uni.lu/program.php + Panel discussion on November 4th: Are Formal Engineering Methods and Agile Methods Friend or Enemy? + Two affiliated workshops FTSCS 2014 and SOFL+MSVL. PC Chairs ---------------------------------------- + Stephan Merz (INRIA, France) + Jun Pang (University of Luxembourg, Luxembourg) ________________________________ CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents. Towards a sustainable earth: Print only when necessary. Thank you. From mdibuono at unisa.it Fri Oct 17 22:00:28 2014 From: mdibuono at unisa.it (Maria Pia di Buono) Date: Fri, 17 Oct 2014 22:00:28 +0200 Subject: KESA 2015 | CfP | April 19 - 24, 2015 - Barcelona Message-ID: INVITATION: ================= Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to KESA 2015. The submission deadline is November 24, 2014. Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org ================= ============== KESA 2015 | Call for Contributions =============== CALL FOR PAPERS, TUTORIALS, PANELS KESA 2015, The International Workshop on Knowledge Extraction and Semantic Annotation April 19 - 24, 2015 - Barcelona, Spain General/submission page: http://www.iaria.org/conferences2015/KESA.html Contribution types; regular papers [in the proceedings, digital library] short papers (work in progress) [in the proceedings, digital library] ideas: two pages [in the proceedings, digital library] extended abstracts: two pages [in the proceedings, digital library] posters: two pages [in the proceedings, digital library] posters: slide only [slide-deck posted on www.iaria.org] presentations: slide only [slide-deck posted on www.iaria.org] demos: two pages [posted on www.iaria.org] doctoral forum submissions: [in the proceedings, digital library] Submission deadline: November 24, 2014 Sponsored by IARIA, www.iaria.org Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.org The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas. All tracks are open to both research and industry contributions. Before submission, please check and comply with the editorial rules: http://www.iaria.org/editorialrules.html KESA 2015 Topics (topics and submission details: see on the site) Shallow knowledge extraction from large collections Knowledge and ontology management Knowledge acquisition from unstructured data Concepts and standards for semantic annotation Ontology learning Semantic knowledge Mining for topic annotation Context and semantic annotation User-centric semantic annotation Semantic retrieval and annotation Linguistic Linked Open Data Methods in text and data mining Interactive image searching ---------------------------- KESA 2015 Co-Chairs Maria Pia di Buono, University of Salerno, Italy Mario Monteleone, University of Salerno, Italy Annibale Elia, University of Salerno, Italy =============================================== =============================================== -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Oct 18 15:10:31 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 18 Oct 2014 16:10:31 +0300 Subject: WETICE 2015: Call for Track Proposals Message-ID: *** CALL FOR TRACK PROPOSALS *** 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) 15-18 June 2015, Larnaca, Cyprus http://www.cyprusconferences.org/wetice2015/ DEADLINE: 21st November 2014 The IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) is an international forum for the state-of -the-art research in enabling technologies for collaboration, consisting of a number of related conference tracks. The conference proceedings are published by IEEE Computer Society and are also available online through the IEEE's Xplore digital library. The proceedings will be submitted for indexing through INSPEC, Scopus, Compendex, Thomson Reuters, DBLP, Google Scholar and EI Index. WETICE is based on a flexible structure of self-contained and self-managed tracks. Over the past years WETICE hosted tracks on a variety of topics such as adaptive computing, collaborative software processes, collaborative modeling & simulation, service-oriented architectures and cloud computing, autonomic green computing, collaborative verification and validation of systems and services, dynamic network management, collaboration tools for cultural heritage and collaborative web knowledge. The 24th WETICE edition will be held on June 15-18, 2015 in Larnaca, Cyprus. The conference organizing committee solicits proposals for organizing and hosting tracks. Prospective track chairs should submit a proposal for organizing a track, which should include at least the following items: 1) The title and the acronym for the proposed track with a description of objectives, covered topics and the motivation for having such a track in WETICE. The motivation should compare the proposed event to any related ongoing tracks and why the proposed track differs from them or complements them. 2) A short description of the activities the track chair(s) will plan to undertake upon acceptance of the proposal, to disseminate the call-for-papers for the track through, e.g, track web site, mailing lists, social networks, selected contacts, etc. The track proposers should also indicate the potential audience by estimating the number of people who are supposed to participate to WETICE and attend the track. 3) A short CV of the prospective track chair(s) with reference to research interests and publication record directly related to the themes of the proposed track, and any previous experience of involvement in the organization of similar events. A link to a personal web page with additional information would be helpful. 4) A list of potential program committee members for the proposed track, with name and affiliation of each member and (when available) a link to relevant personal web pages. All proposals will be reviewed by the WETICE Steering Committee using the criteria described above. The Committee reserves the right to accept a proposal as is, require modifications, recommend merging with tracks that covers similar topics or reject a proposal. Upon acceptance of a proposal, the track chairs will be notified of their responsibilities in managing their track, according to what defined by both IEEE and WETICE conference rules. The Committee reserves the rights to cancel a track at any time if these responsibilities are not addressed adequately by the track chair(s). Please submit your track proposal as a PDF email attachment to the WETICE Program Chairs, Andrea D'Ambrogio (dambro at uniroma2.it) and Khalil Drira (khalil at laas.fr). The deadline for submitting track proposals is November 21st, 2014. The notification of the decision taken by the Steering Committee will be sent to the chairs of the proposed track before or on December 15th, 2014. Please contact the Program Chairs for any additional information or request. Andrea D'Ambrogio (dambro at uniroma2.it) Khalil Drira (khalil at laas.fr) WETICE 2015 Program Chairs -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giacomo.cabri at unimore.it Sat Oct 18 16:02:09 2014 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Sat, 18 Oct 2014 16:02:09 +0200 Subject: CfP: COORDINATION 2015 Message-ID: <544272E1.9070906@unimore.it> ======================================================================== IMPORTANT NOTE: High-quality Coordination-2015 papers will be invited to submit an extended version for a 'fast-track' to the ACM Transactions on Autonomous and Adaptive Systems (ACM-TAAS). ======================================================================== ========================= Call for Papers ============================= COORDINATION 2015 17th IFIP International Conference on Coordination Models and Languages A DisCoTec Member Conference http://discotec2015.inria.fr/ June 2-4, 2015, Grenoble, France ======================================================================= ---------------- Important dates: Abstract Submission: January 16, 2015 (24:00 UTC-11) Paper Submission: January 23, 2015 (24:00 UTC-11) Author Notification: March 6, 2015 Camera ready copy: March 27, 2015 Early registration: May 5, 2015 Conferences and workshops: June 2-5, 2015 The time of all deadlines is 24:00 SST (UTC-11, Samoa Standard Time). The submission deadlines are **strict**, there will be no extension. ------ Scope: COORDINATION 2015 is the premier forum for publishing research results and experience reports on software technologies for collaboration and coordination in concurrent, distributed, and complex systems. The key focus of the conference is the quest for high-level abstractions that can capture interaction patterns and mechanisms occurring at all levels of the software architecture, up to the end-user domain. COORDINATION 2015 seeks high-quality contributions on the usage, study, formal analysis, design, and implementation of languages, models, and techniques for coordination in distributed, concurrent, pervasive, and multicore software systems. This edition also additionally seeks to adapt and integrate traditional COORDINATION techniques in the realm of multi-agent systems (MAS), which typically involve more corse-grained (cognitive, intelligent, goal-oriented) components. ------------------------ Main topics of interest: * Programming abstractions and languages * Coordination models and paradigms * Specification and verification * Foundations and types * Distributed middleware architectures * Multicore programming * Coordinated distributed applications * Bio-inspired computing models * Coordination mechanisms for self-adaptation and self-organisation * Teamwork and distributed problem solving * Collective intelligence * Auction and Negotiation * Argumentation, trust, norms and reputation * Coordination mechanisms for rational agents * Coordination middleware for mobile agents * Coordination of federated MASs --------------------------- Submission and publication: Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere (cf. IFIP's codes of conduct). The submissions must not exceed the page number limit (see below), including figures and references, prepared using Springer's LNCS style. Submissions not adhering to the above specified constraints may be rejected without review. Papers should be submitted as PDF or PS via EasyChair: https://www.easychair.org/conferences/?conf=coordination2015. We solicit three kinds of submissions: *Full papers* (up to 16 pages): Describing thorough and complete research results and experience reports. *Short papers* (up to 8 pages): Describing research results that are not fully developed, or even manifestos, calls to action, personal views on the past of Coordination research, on the current state of the art, or on prospects for the years to come. *Posters* (up to 3 pages): Summarising research projects worth being advertised and discussed in a lively fashion at the conference. The conference proceedings, formed by accepted submissions of all three kinds above, will be published by Springer in the LNCS Series. Post-proceedings publication: Relevant, high-quality Coordination-2015 papers will be invited for 'fast-track submissions' to the ACM Transactions on Autonomous and Adaptive Systems (ACM-TAAS). --------------- Invited Speaker Alois Ferscha (Johannes Kepler Universität Linz, Austria) ----------- Oranization Program Chairs Tom Holvoet (KU Leuven, Belgium) Mirko Viroli (University of Bologna, Italy) Publication Chair Giacomo Cabri (University of Modena and Reggio Emilia, Italy) Programme Committee Gul Agha (University of Illinois at Urbana-Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) Jacob Beal (Raytheon BBN Technologies, USA) Olivier Boissier (Ecole Nationale Supérieure des Mines of Saint-Etienne, France) Ferruccio Damiani (Uniersità di Torino, Italy) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies, Italy) Ed Durfee (University of Michigan, USA) Schahram Dustdar (Vienna University of Technology, Austria) Gianluigi Ferrari (University of Pisa, Italy) José Luiz Fiadeiro (Royal Holloway University of London, UK) Valérie Issarny (Inria, France) Christine Julien (The University of Texas at Austin, USA) Sarit Kraus (Bar-Ilan University, Israel) Eva Kuhn (TU Wien, Austria) Marino Miculan (Università di Udine, Italy) Hanne Riis Nielson (Technical University of Denmark, Denmark) Andrea Omicini (University of Bologna, Italy) Sascha Ossowski (University Rey Juan Carlos, Spain) Paolo Petta (OFAI - Austria Research Institute for Artificial Intelligence, Austria) Rosario Pugliese (Università degli Studi di Firenze, Italy) Alessandro Ricci (Uniervsità di Bologna, Italy) Juan Antonio Rodriguez Aguilar (IIIA-CSIC, Barcelona) Carles Sierra (IIIA-CSIC, Barcelona) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Emilio Tuosto (University of Leicester, UK) Herbert Wiklicky (Imperial College London, UK) Martin Wirsing (Ludwig-Maximilians-Universität München, Germany) Franco Zambonelli (Università di Modena e Reggio Emilia, Italy) Steering Committee Gul Agha (University of Illinois at Urbana Champaign, USA) Farhad Arbab (CWI and Leiden University, The Netherlands) (Chair) Dave Clarke (Uppsala University, Sweden) Tom Holvoet (KU Leuven, Belgium) Jean-Marie Jacquet (University of Namur, Belgium) Christine Julien (The University of Texas at Austin, USA) Eva Kühn (Vienna University of Technology, Austria) Wolfgang De Meuter (Vrije Universiteit Brussels, Belgium) Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy) Rosario Pugliese (Università di Firenze, Italy) Marjan Sirjani (Reykjavik University, Iceland) Carolyn Talcott (SRI International, California, USA) Vasco T. Vasconcelos (University of Lisbon, Portugal) Gianluigi Zavattaro (University of Bologna, Italy) Mirko Viroli (University of Bologna, Italy) -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Associate Professor | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mail giacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From patrick.lambrix at liu.se Tue Oct 21 17:42:05 2014 From: patrick.lambrix at liu.se (Patrick Lambrix) Date: Tue, 21 Oct 2014 15:42:05 +0000 Subject: EKAW 2014 - Call for Participation Message-ID: Dear all, The program for EKAW 2014 is now available at: http://www.ida.liu.se/conferences/EKAW14/program.html The early registration deadline is on 24/11/2014. Looking forward to see you in Linköping! Patrick Lambrix for the EKAW 2014 organization ---------------------------------------------------------------------------------------------------------------------------------- CALL FOR PARTICIPATION ---------------------------------------------------------------------------------------------------------------------------------- EKAW 2014: Diversity in a Heterogeneous World 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014). November 24-28, 2014, Linköping, Sweden. http://www.ida.liu.se/conferences/EKAW14 ------------------------------------------------------------------------------ The 19th International Conference on Knowledge Engineering and Knowledge Management is concerned with all aspects of eliciting, acquiring, modeling and managing knowledge, and its role in the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing, intelligent information integration, personal digital assistance systems, and so forth. The special focus of this year's EKAW will be on diversity. In the recent past the amount and ease of availability of data has dramatically increased. While scale and complexity of information has always attracted attention, its heterogeneity in nature and usage are only now being investigated more systematically. Data-driven research is gaining increasing visibility in areas such as in eScience or eHumanities, but such distinct fields require diverse knowledge management and acquisition methods. Knowledge in the Cultural Heritage domain radically differs from what is required to run a global company or support projects in the developing world. The geosciences produce and consume data spanning a wide range of formats, topics, perspectives, and sources, and require the integration of such heterogeneous data to foster data sharing, access, retrieval, and reuse, without restricting semantic heterogeneity. EKAW 2014 will put a special emphasis on this diversity of knowledge and its usage. In addition to the main research track, EKAW 2014 will feature a Tutorial and Workshop Program, as well as a Poster and Demo Track. Moreover, there will be a Doctoral Consortium giving new PhD students a possibility to present their research proposals, and to get feedback on methodological and practical aspects of their planned dissertation. Invited speakers: Arianna Betti, University of Amsterdam, the Netherlands Oscar Corcho, Universidad Politecnica de Madrid, Spain Pascal Hitzler, Wright State University, US Invited Speaker for the Doctoral Consortium: Mathieu d'Aquin, Open University, UK Tutorials: K4D : Managing and sharing knowledge in rural parts of the world (Stefan Schlobach, Victor de Boer, Christophe Guéret, Stéphane Boyera and Philippe Cudré-Mauroux) Language Resources and Linked Data (Jorge Gracia, Asuncion Gomez-Perez, Sebastian Hellmann, John McCrae, Roberto Navigli, Daniel Vila-Suero) Workshops: VISUAL2014 "International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics" EKM1 "First International Workshop on Educational Knowledge Management (EKM1)" ARCOE-Logic 2014 "The 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic" ------------------------------------------------------------------------------ General Chairs Patrick Lambrix, Linköping University, Sweden Eero Hyvönen, Aalto University, Finland Program Chairs Krzysztof Janowicz, University of California, USA Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands Workshops and Tutorial Chairs: Eva Blomqvist Linköping University, Sweden Valentina Presutti STLab ISTC-CNR, Italy Demos and Posters Chairs: Guilin Qi, Southeast University, China Uli Sattler, University of Manchester, UK Sponsorship Chair: Axel-Cyrille Ngonga Ngomo, Universität Leipzig, Germany Doctoral Consortium Chairs: Ying Ding, Indiana University Bloomington, USA Chiara Ghidini, FBK, Italy Local Organisation: Henrik Eriksson, Linköping University, Sweden Patrick Lambrix, Linköping University, Sweden ------------------------------------------------------------------------------ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pmt6sbc at maths.leeds.ac.uk Wed Oct 22 22:42:37 2014 From: pmt6sbc at maths.leeds.ac.uk (S B Cooper) Date: Wed, 22 Oct 2014 21:42:37 +0100 (BST) Subject: CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015 Message-ID: <201410222042.s9MKgb3b025780@maths.leeds.ac.uk> 1st CALL FOR PAPERS: COMPUTABILITY IN EUROPE 2015: Evolving Computability Bucharest, Romania June 29 - July 3 http://fmi.unibuc.ro/CiE2015/ IMPORTANT DATES: Submission Deadline for LNCS: 11 January 2015 Notification of authors: 9 March 2015 Deadline for final revisions: 6 April 2015 CiE 2015 is the 11th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014). Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research. In all cases we are looking for fundamental and theoretical submissions. In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. We particularly invite papers that build bridges between different parts of the research community. For topics covered by the conference, please visit http://fmi.unibuc.ro/CiE2015/topics.html TUTORIAL SPEAKERS * John Reif (Duke Unversity) * Steve Simpson (Pennsylvania State University) CONFIRMED PLENARY SPEAKERS * Ann Copestake (University of Cambridge) * Mircea Dumitru (University of Bucharest, Public Lecture) * Pawel Gawrychowski (Max-Planck-Institut fuer Informatik) * Julia Knight (University of Notre Dame) * Anca Muscholl (Universite Bordeaux) * Gheorghe Paun (Romanian Academy) * Alexander Razborov (University of Chicago and Steklov Mathematical Institute) * Vlatko Vedral (University of Oxford) SPECIAL SESSIONS on * Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks) * Automata, logic and infinite games (Organizers: Dietmar Berwanger and Ioana Leustean) * Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone) * Classical computability theory (Organizers: Marat Arslanov and Steffen Lempp) * Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik) * History and philosophy of computing (Organizers: Christine Proust and Marco Benini) The PROGRAMME COMMITTEE consists of: * Marat Arslanov (Kazan) * Jeremy Avigad (Pittsburgh) * Veronica Becher (Buenos Aires) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Alessandra Carbone (Paris) * Gabriel Ciobanu (Iasi) * S Barry Cooper (Leeds) * Laura Crosilla (Leeds) * Liesbeth De Mol (Ghent) * Walter Dean (Warwick) * Volker Diekert (Stuttgart) * Damir Dzhafarov (Storrs, Connecticut) * Peter van Emde Boas (Amsterdam) * Rachel Epstein (Harvard) * Johanna Franklin (Hempstead, NY) * Neil Ghani (Glasgow) * Joel David Hamkins (New York) * Rosalie Iemhoff (Utrecht) * Emmanuel Jeandel (LORIA) * Natasha Jonoska (Tampa, FL) * Antonina Kolokolova (St.John's, NL) * Antonin Kucera (Prague) * Oliver Kutz (Magdeburg) * Benedikt Loewe (Hamburg & Amsterdam) * Jack Lutz (Ames, IA) * Florin Manea (Kiel) * Alberto Marcone (Udine) * Radu Mardare (Aalborg) * Joe Miller (Madison, WI) * Russell Miller (Flushing, NY) * Mia Minnes (La Jolla, CA) * Victor Mitrana (Bucharest, co-chair) * Ian Pratt-Hartmann (Manchester) * Dag Normann (Oslo) * Mehrnoosh Sadrzadeh (London) * Anne Smith (St Andrews) * Mariya Soskova (Sofia, co-chair) * Susan Stepney (York) * Paul Spirakis (Patras & Liverpool) * Jacobo Toran (Ulm) * Marius Zimand (Towson, MD) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2015. The submission site https://www.easychair.org/conferences/?conf=cie2015 is open. For submission instructions consult http://fmi.unibuc.ro/CiE2015/submission.html The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. ____________________________________________________________________ CiE 2015 http://fmi.unibuc.ro/CiE2015/ ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk CiE Conference Series http://www.illc.uva.nl/CiE CiE Membership Application Form http://www.lix.polytechnique.fr/CIE Computability (Journal of CiE) http://www.computability.de/journal/ CiE on FaceBook https://www.facebook.com/AssnCiE Association CiE on Twitter https://twitter.com/AssociationCiE From aamas2014publicity at gmail.com Thu Oct 23 12:24:06 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Thu, 23 Oct 2014 11:24:06 +0100 Subject: Final Call for Papers: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Message-ID: [Apologies for multiple postings] ===================================================== 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Istanbul Congress Center Istanbul, Turkey 4-8th of May, 2015 ===================================================== NEWS ==== David Harel (Weizmann Institute) and Nina Balcan (CMU) will give invited talks at AAMAS-2015! Important Dates =============== Abstract Submission: 12th of November, 2014 (23:59 UTC-12) Full Paper Submission: 17th of November, 2014 (23:59 UTC-12) Rebuttal Phase: 14-16th of January, 2015 (23:59 UTC-12) Author Notification: 28th of January, 2015 About AAMAS =========== AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems. Information for Authors ======================= AAMAS-15 encourages the submission of analytical, empirical, methodological, technological, and perspective papers. Authors are requested to pay particular attention to discussing how their work relates to the state of the art in autonomous agents and multiagent systems research, as evidenced in, for example, previous editions of AAMAS and related conferences. All submissions will be rigorously peer reviewed and evaluated on the basis of the overall quality of their technical contribution, including criteria such as originality, soundness, relevance, significance, quality of presentation, and understanding of the state of the art. AAMAS 2015, the fourteenth conference in the AAMAS series, seeks the submission of high-quality papers. The length of each paper is limited to 8 pages excluding the bibliographic references, except for papers submitted to the Blue Sky Ideas track, which are limited to 4 pages in length excluding the references. Reviewing will be double-blind, so authors must avoid including anything in their papers that can be used to identify them. Particular attention should be given to the way previous work is referred to; other frequent sources of breach of anonymity are the acknowledgements, project names, and links to supplementary material on the Web. Papers that are over the page limit or identify the authors may be rejected without reviewing. Please note that submitting an abstract is required to submit a full paper. However, the abstracts will not be reviewed and full papers must be submitted for the review process to begin. All work must be original, i.e., it must not have appeared in the proceedings of an archival conference, journal, or book, and may not be under review for another archival conference or journal. In addition to submissions in the main track, AAMAS 2015 will be soliciting submissions to four special tracks: (1) Innovative Applications, (2) Robotics, (3) Virtual Agents and Humans, and (4) Blue Sky Ideas. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for each track. All papers accepted to the special tracks will be included in the proceedings. Further submission instructions are available at: and the AAMAS-2015 conference management system is available at: Topics of Interest ================== The conference solicits papers presenting original research on autonomous agents and their interaction. Topics of interest include (but are not limited to) the following: * Agent Theories and Models - Logic-based agent theories - Logics for agents and multi-agent systems - Formal models of agency - Belief-Desire-Intention theories and models - Cognitive models - Models of emotions * Communication and Argumentation - Commitments - Communication languages and protocols - Speech act theory - Abstract argumentation frameworks - Deductive argumentation - Argumentation-based dialogue and protocols * Cooperation - Biologically-inspired approaches and methods - Collective intelligence - Distributed problem solving - Teamwork - Coalition formation (non-strategic) * Agent Societies - Organizations and institutions - Norms and sanctions - Trust and reputation * Knowledge Representation and Reasoning - Ontologies for agents - Reasoning in agent-based systems - Single and multi-agent planning and scheduling * Learning and Adaptation - Computational architectures for learning - Reward structures for learning - Evolution and co-evolution - Single and multi-agent learning techniques * Economic Paradigms - Electronic markets - Equilibrium computation and analysis - Social choice theory - Auctions and mechanism design - Cooperative games - Bargaining and negotiation * Agent-Based Simulation - Artificial social systems - Emergent behavior - Complex systems - Social simulation - Simulation techniques, tools, and platforms * Engineering Agent-Based Systems - Modelling and specification languages - Programming languages for agents and multi-agent systems - Development techniques, tools, and platforms - Methodologies for agent-based systems * Verification and Validation of Agent-Based Systems - Testing of agent-based systems, including model-based testing - Verification of agent-based systems, including model checking - Automatic synthesis of protocols - Fault tolerance and resilience * Agents & Mainstream Computing - Service-oriented architectures - Mobile agents - Autonomic computing - P2P, web services, grid computing, ... * Societal Issues - Privacy, safety, and security - Ethical and legal issues SPECIAL TRACKS * Innovative Applications - Agent techniques used for innovation - Industrial-strength applications of agent systems - Ambient intelligence - Bio-technology and health care - Smart cities - Computer games and serious games - Aerospace and defence - Energy and emissions - Agent solutions of significant social and economic impact - Other innovative application areas * Robotics - Human-robot interaction, communication and teamwork - Machine learning for robotics - Mapping, localization and exploration - Networked robot/sensor systems, distributed robotics - Robot planning and plan execution (including action and motion planning) - Robot teams, multi-robot systems, robot coordination - Robotic agent languages and middleware for robot systems - Swarms and collective behaviour * Virtual Agents and Humans - Embodied cognition - Multimodal agent interaction - Affective behaviour - Socio-cultural behaviour - Verbal and non-verbal Behaviour - Human-agent interaction - Teamwork in human-agent mixed networks - Virtual agents in games and education - Virtual agents for improving human activities - Agent-based analysis of human interactions - Competitions among agents and humans * Blue Sky Ideas (Visions and Challenges in AAMAS) Conference Chairs ================= General Chairs: Gerhard Weiss (Maastricht University, Netherlands) pInar Yolum (Bogazici University, Turkey) Program Chairs: Rafael Bordini (PUCRS, Brazil) Edith Elkind (University of Oxford, UK) For a full list of conference officials, visit . Special Tracks ============== AAMAS 2015 will feature the following four special tracks. * Innovative Applications (Chairs: Amal El Fallah Seghrouchni and Milind Tambe) Due to the growing maturity of the field, there are now agent-based applications in widespread use across many domains, which generate significant revenue, save major costs, or support important public policy and business strategy decision-making. This special track provides a dedicated forum to present, discuss, and demonstrate compelling applications, agent system deployment experiences, and new business ideas. The goal is to foster and promote mutually beneficial relationships between those doing foundational scientific research and those making autonomous agents and multiagent systems a commercial or public policy reality. * Robotics (Chairs: Alessandro Farinelli and Gal Kaminka) Papers that advance theory and applications of single and multiple robots are welcome, specifically those focusing on real robots that interact with their environment. Papers should clearly explain how the work addresses challenges in robotics, opportunities for novel applications, and fundamental research issues in autonomous robotic systems. The goal is to demonstrate the synergy achieved from integration of research in agents and robotics. * Virtual Agents & Humans (Chairs: Catholijn Jonker and Rui Prada) Virtual agents are embodied agents that emulate autonomous human-like behavior in simulated interactive or physical environments. We encourage papers on the design, implementation, and evaluation of virtual agents as well as challenging applications featuring them. Of particular interest are papers addressing how humans interact with virtual agents. The goal is to provide an opportunity for continued interaction and cross-fertilization between the AAMAS community and researchers working on virtual agents, and to strengthen links between the two communities. * Blue Sky Ideas (Chair: Victor Lesser) The emphasis of this track is on visionary ideas, long-term challenges, and new research opportunities that are outside the current mainstream of the field. This track is designed to overcome the constraints of the traditional review process, and will serve as an incubator for innovative approaches, risky and provocative ideas, and to propose challenges and opportunities for the field in the near future. General Information =================== All full papers accepted to the main track and the special tracks will be presented in parallel technical sessions. All the papers will be published in the conference proceedings and will be permanently available after the conference at . In addition, AAMAS 2015 will include: * Workshops * Demonstrations * Posters presentations for full papers and extended abstracts * Invited talks and panel discussions The submission processes for the workshops and demonstrations are separate from the main paper submission process. Relevant information will be posted on the relevant pages. Policies ======== Policy on multiple and previous submissions. Authors may not submit any paper to AAMAS 2015 that has already appeared in an archival forum. Authors must ensure that no submission to AAMAS 2015 is under review for another archival forum between the AAMAS 2015 submission and decision dates. Policy on harassment at the conference environment. IFAAMAS is committed to organising the AAMAS conference and its affiliated events in an environment that is free of harassment for everyone involved: delegates, organisers, conference workers, and reviewers. All participants in IFAAMAS events are asked to embrace our intention to foster a harassment-free scientific community, and to understand that IFAAMAS will respond appropriately to incidents of harassment if they occur. The complete IFAAMAS harassment policy is available in the AAMAS 2015 website at . For further details about AAMAS 2015, please visit the website at . -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas2014publicity at gmail.com Thu Oct 23 12:32:06 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Thu, 23 Oct 2014 11:32:06 +0100 Subject: Second Call for Tutorials: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Message-ID: XIV International Conference on AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS 2015) Istanbul, Turkey May 4-8, 2015 http://www.aamas2015.com The AAMAS 2015 Organizing Committee invites proposals for the Tutorial Program, to be held on 4-5, immediately before the technical conference. AAMAS 2015 Tutorials should serve one or more of the following objectives: * Introduce novices to major topics of AAMAS research. * Provide instruction in established practices and methodologies. * Survey a mature area of AAMAS research or practice. * Motivate and explain an AAMAS topic of emerging importance. * Introduce expert non-specialists to an AAMAS area. * Survey an area of agent research especially relevant for people from industry Topic areas of interest include all of those listed in the call for the technical track (see http://www.aamas2015.com), including the special tracks on robotics, virtual agents, and innovative applications. Tutorials will be 2 hours long. A few longer tutorials (4 hours) may be accepted but the proponents need to motivate their request when submitting their proposal. SUBMISSION REQUIREMENTS Proposals should be two to four pages in length, and should contain the following information: 1. A brief description of the tutorial, suitable for inclusion in the conference registration brochure. 2. A detailed outline of the tutorial, including preferred length (2 or 4 hours). 3. Characterization of the potential target audience for the tutorial, including prerequisite knowledge. 4. A description of why the tutorial topic would be of interest to a substantial part of the AAMAS audience. 5. A brief resume of the presenter(s), which should include name, postal address, phone and fax numbers, email address, background in the tutorial area, any available example of work in the area (ideally, a published tutorial-level article on the subject), evidence of teaching experience (including references that address the proposer's presentation skills as applicable), and evidence of scholarship in the area. 6. The name and e-mail address of the corresponding presenter. The corresponding presenter should be available for e-mail correspondence during the evaluation process, in the case clarifications and discussions on the scope and content of the proposal are needed. The evaluation of the proposal will take into account the level of general interest for AAMAS attendees, the quality of the proposal, and the expertise and skills of the presenters. We emphasize that the primary criteria for evaluation will be whether a proposal is interesting, well-structured, and motivated, rather than the perceived experience/standing of the proposer. Those submitting a proposal should keep in mind that tutorials are intended to provide an overview of the field; they should present reasonably well established information in a balanced way. Tutorials should not be used to advocate a single avenue of research, nor should they promote a product. The selection of the tutorials to be included in the final AAMAS program will be based upon a number of factors, including: the scientific/technical interest of the topics, the quality of the proposal, the need to avoid strictly overlapping tutorials, and the unavoidable need to limit the overall number of selected tutorials. RESPONSIBILITIES (with respect to accepted proposals) AAMAS will be responsible for: * Providing logistic support and a meeting place for the tutorial. * Together with the organizers, determining the tutorial date and time. * Duplicating tutorial material and distributing them to the participants. Tutorial organizers will be responsible for: * Providing AAMAS with a legible PDF copy of their tutorial notes by March, 4, 2015. * Presenting the tutorial at AAMAS 2015. AAMAS reserves the right to cancel any tutorial if the above responsibilities are not fulfilled, if deadlines are missed, or if too few attendees register for the tutorial to support the costs of running the tutorial. IMPORTANT DATES December 1, 2015: Tutorial Proposal Submission Deadline December 20, 2015: Tutorial Acceptance Notifications March 19, 2015: Deadline for submitting tutorial notes May 4-5, 2015: Tutorial Forum Presentations SUBMISSIONS AND INQUIRIES Proposals and inquiries should be sent by email (in ASCII or pdf) to the tutorials chairs: Thomas Ågotnes Department of Information Science and Media Studies University of Bergen Thomas.Agotnes at infomedia.uib.no Cristina Baroglio Department of Computer Science, University of Torino baroglio at di.unito.it -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From aamas2014publicity at gmail.com Thu Oct 23 12:41:59 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Thu, 23 Oct 2014 11:41:59 +0100 Subject: Second Call for Workshops: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Message-ID: The AAMAS-2015 invites proposals for the Workshop Program to be held on May 4-5, 2015 immediately prior to the main technical program of the AAMAS conference. The main goal of the AAMAS-2015 workshop program is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the general area of Autonomous Agents and Multiagent Systems. The AAMAS-2015 workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. The AAMAS-2015 Workshop Co-chairs ask all workshops to include a tutorial session. A tutorial session might include, for example, a discussion of the main issues in the research themes of interest to the workshop, and give a historical perspective, particularly for long-running workshops. It would be an excellent way to attract new participants and introduce students to the workshop. There is no restriction on the length of the proposed tutorial. Members from all areas of the AAMAS community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics of interest to a wider community are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main AAMAS conference. Attendance is limited to registered participants. Important Dates December 01, 2014: Deadline for Workshop Proposals December 20, 2014: Deadline for Announcing Accepted Workshops February 11, 2015: Deadline for Submitting to Workshops March 10, 2015: Deadline for Announcing Accepted Papers by Individual Workshops March 19, 2015: Deadline for Camera-Ready Papers Requirements for submission Proposals for workshops should be a maximum of five pages in length (in plain ASCII text), and should contain the following information: 1. Title of the workshop. 2. A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference. 3. A discussion of why and to whom the workshop is of interest. 4. A brief description of a proposal for a tutorial session to be held as part of the workshop. 5. A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with AAMAS or another conference), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issues). 6. For workshops that have had previous editions (even if they had different titles and were not held with AAMAS), include a list of URLs of the websites of the previous editions. 7. A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop. 8. Description of the paper review process and acceptance standards. 9. If available, a list of tentatively confirmed attendees. 10. The names, affiliations, postal addresses, phone numbers, and email addresses of the proposed workshop organizers. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions spreading in different regions. 11. The name of the primary contact for the organizing committee (this person must reply promptly to email messages). 12. A description of the qualifications of the individual committee members with respect to organizing an AAMAS workshop, including a list of workshops previously arranged by any members of the proposed organizing committee, if any. 13. List of potential program committee members, including their title and affiliations. 14. Expected duration of the workshop (usually a full day). 15. A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised. All proposals should be submitted by electronic mail, in plain ASCII text, to the AAMAS-2015 Workshop Chairs, email address aamas2015-workshops at gmail.com, as soon as possible and no later than Wednesday November 2nd, 2013. The selection of the workshops to be included in the final AAMAS program will be done by the general chairs of AAMAS 2015 based on the advice of the workshop chairs. The selection is based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovative character of workshop topics, the cross-disciplinary nature of the workshop, the proposed tutorial session, and the capacity of the conference workshop program. Responsibilities of AAMAS and workshop organizers For all accepted proposals, AAMAS will be responsible for: • Providing publicity for the workshop series as a whole. • Providing logistic support and a meeting place for the workshop. • Together with the organizers, determining the workshop date and time. • Provide one free workshop registration when the workshop has more than 15 registrations. • AAMAS reserves the right to cancel workshops, for example in case of low number of registrants. Workshop organizers will be responsible for: • Setting up a website for the workshop. • Advertising the workshop and issuing a call for papers and a call for participation as per the important dates. • Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process. • All workshop organizers are strongly advised to adopt the same deadlines for paper submissions and notifications of acceptance as per the important dates. • Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference (at least one author must register for the workshop in order for a paper to appear in the workshop proceedings). AAMAS reserves the right to cancel any workshop if the above responsibilities are not fulfilled. Submissions and Inquiries Please send proposals and inquiries to: aamas2015-workshops at gmail.com Workshop Co-Chairs Michal Pechoucek Czech Technical University in Prague michal.pechoucek at agents.fel.cvut.cz Longbing Cao University of Technology Sydney, Australia longbing.cao at uts.edu.au -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Fri Oct 24 11:43:52 2014 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Fri, 24 Oct 2014 11:43:52 +0200 Subject: CfP KI-Themenheft "Higher-Level Cognition and Computation" - EXTENDED DEADLINES Message-ID: <544A1F58.30208@hs-harz.de> Künstliche Intelligenz Journal Special Issue on "Higher-Level Cognition and Computation" -- Call for Papers -- DEADLINES EXTENDED -- Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning. The topics of interest for the special issue of the Künstliche Intelligenz journal, appearing in autumn 2015, include, but are not limited to: * analogical reasoning * common sense and defeasible reasoning * deductive calculi for higher-level cognition * inductive reasoning and cognition * preferred mental models and their formalization * probabilistic approaches of reasoning SUBMISSION The Künstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: Technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors: Dr. Marco Ragni University of Freiburg Center for Cognitive Science Institute of Computer Science and Social Research Friedrichstr. 50 D-79098 Freiburg, Germany ragni at cognition.uni-freiburg.de portal.uni-freiburg.de/cognition/members/ragni Prof. Frieder Stolzenburg Harz University of Applied Sciences Automation & Computer Sciences Dep. Friedrichstr. 57-59 38855 Wernigerode, Germany fstolzenburg at hs-harz.de www.hs-harz.de/fstolzenburg IMPORTANT DATES * Submission deadline: 19-Dec-2014 (EXTENDED) * Notification: 15-Feb-2015 * Camera-ready copy: 15-Mar-2015 * Special issue: KI 3/2015 SUBMISSION AND CONTRIBUTION FORMAT The articles should be written in English, in order to attract an international audience, formatted with the Springer LaTeX package for journals (), maximally 8 pages in two-column format. Please submit via the editorial manager system . Log in as author and select the special issue "S.I.: Higher-Level Cognition and Computation". We are looking forward to your contributions. In case of any questions, do not hesitate to contact one of the guest editors. Marco Ragni and Frieder Stolzenburg From sloos at cs.cmu.edu Fri Oct 24 20:48:23 2014 From: sloos at cs.cmu.edu (Sarah Loos) Date: Fri, 24 Oct 2014 11:48:23 -0700 Subject: Apply to Attend: CPS V&V Industrial Challenges & Foundations workshop held at Carnegie Mellon, Dec 11-12 Message-ID: [Deadline to apply: *November 4th*] About: *CPS Verification and **Validation Industrial Challenges & Foundations (CPS V&V IC&F) is* a two-day workshop for CPS V&V experts in Industry and Academia. The workshop will take place on the Carnegie Mellon University campus, December 11-12. The purpose of this NSF-sponsored workshop is to make academic solutions meet industrial challenges with the goal of identifying the most important present and future foundational challenges in CPS V&V. Full details can be found here: *http://www.ls.cs.cmu.edu/CPSVVIF/ * Inspired by the successes of the one-day *Industry Workshop on Verification of Embedded Control Systems* hosted by the CMACS NSF Expedition in Computing at CMU in 2011, we have decided to extend the workshop to a wider audience of academics and have a greater focus on identifying the foundational challenges facing CPS in the future. The workshop will give participants the opportunity to share the most important core ideas and challenges in CPS and invite an open collaborative discussion to identify the most pressing issues at hand in CPS verification and validation. Apply: This workshop is a great opportunity for senior grad students and postdocs to make industry and academic connections and for junior grad students to get a broader picture of the CPS community, the major challenges we face, and the role of academia in cutting edge V&V research. We encourage grad students and postdocs to apply to attend CPS V&V IC&F. The NSF has provided limited travel funds to support student attendance. Students must submit an application to attend the workshop by *November 4th* (applications can be submitted here: *http://www.ls.cs.cmu.edu/CPSVVIF/Apply.html *). Industry Participation and Competition: The workshop will follow a competition for CMU undergraduate students, *The CPS V&V Grand Prix,* which will be judged by industry experts from a variety of CPS and verification domains: Bosch, MapleSoft, Toyota, Reactive Systems, MathWorks, Intel, GM, and Google. The competition will be held on the evening of December 10th. For more information, see *http://www.ls.cs.cmu.edu/ * *CPSVVIF/GrandPrix.html * Steering Committee: Bruce Krogh (*krogh at ece.cmu.edu *) Sarah Loos (*sloos at cs.cmu.edu *) André Platzer (*aplatzer at cs.cmu.edu *) Scott Smolka (*sas at cs.sunysb.edu *) --------------------------------------------------------------------------- Apologies for any duplicate announcements ---------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Oct 25 13:13:15 2014 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 25 Oct 2014 14:13:15 +0300 Subject: WIMS 2015: Preliminary Call for Papers Message-ID: <1SCYJSLO-2JJD-J0O-VJR8-ZLCLJL13SXV@cs.ucy.ac.cy> *** Preliminary Call for Papers *** 5th International Conference on Web Intelligence, Mining and Semantics WIMS 2015 July 13-15, 2015, St. Raphael Resort, Limassol, Cyprus http://cyprusconferences.org/wims2015/ Conference Purpose and Scope WIMS is a series of peer-reviewed International Computer Science conferences. It is a forum for researchers and practitioners to present their state-of-the-art results in building Intelligent Web, to examine performance characteristics of various approaches in Web-based intelligent information technology, and to cross-fertilize their ideas on the development of Web -based intelligent information management solutions across different domains. The purpose of the WIMS series is to: * Provide a forum for established researchers and practitioners to present their contributions to the state of the art research and development in Web technology and applications. * Give doctoral students an opportunity to present their research to a friendly and knowledgeable audience and receive valuable feedback. * Provide an informal social event where Web technology researchers and practitioners can meet. WIMS traditionally hosts a small number of short tutorials on the topics related to the scope of the conference series. The role of a WIMS tutorial is to be a theme-oriented comprehensive survey. The call for WIMS 2015 tutorials is published separately. WIMS also offers its infrastructure and facilities for the organizers of satellite workshops that complement the scope of the conference. The call for WIMS 2015 workshops is also published separately. Companies or individuals interested in presenting their industrial products or methodologies are invited to contact the conference chairs. Conference Scope WIMS solicits regular and work-in-progress research, discussion papers and industry experience report papers in related fields. Papers exploring new directions or areas are also welcome. In particular but not exclusively the submissions within the following areas are relevant: * Scalable Web and Data Architectures and Infrastructures - Crawling, caching and querying Linked (Semantic) Data - Dataset dynamics and synchronization - Big Data computing - User Interfaces and visualization for the Web of (Linked Semantic) Data at scale - Indexing and information extraction from the (Semantic) Deep Web - 3D media and content - Sensing Web and the Web of Things - Web-based Health- and Bio- Information Systems - Web security, integrity, privacy, and trust - Nature-inspired models and approaches in Web and data processing infrastructures * Web Intelligence (WI) - Semantic Agent Systems for WI - Advanced Interaction and Communication Paradigms with WI - Natural Language / Ontology-/Taxonomy-based / Hybrid Interfaces - Intelligence for Visualizing (Linked Semantic) Web Data at scale - Intelligence for Big Data Analytics - Ubiquitous Intelligence and the Internet of Things - WI in Social Media - WI in Human Computation and Social Games - Opinion Mining / Sentiment Analysis on the Social Web - Social Monetization and Computational Advertising - Visualising social network data - WI for services, grids, and middleware - Nature-inspired Models and approaches for WI * Web Mining, Information and Knowledge Extraction - Text, data stream, web and multimedia content mining - Contextualization and clustering in web mining and information extraction - Knowledge extraction and ontology learning from the Web - Linked Data mining - Information Extraction and Knowledge Discovery from Big Data - Mining and Information Extraction from the Deep Web - Semantic Deep Web data fusion * Web Semantics and Reasoning - Knowledge Representation for the Web - Ontology specification: expressivity versus usability - Ontologies and Linked Semantic Data - Development and re-use of ontologies for the Web - Crowdsourcing for ontology engineering and management on the Social Web - Lifecycle, management, and evolution of Web ontologies - Ontology merging and alignment - Rule markup languages and systems - Semantic annotation - Reasoning: scalability, expressivity, incompleteness, vagueness, and/or uncertainty * WIMS Applications - Web applications of semantic agent systems - Semantics-driven information retrieval - Semantic search - Intelligent e-Technology and the Semantic Web - Intelligence and semantics for business information management and integration - Intelligence and semantic technologies in Digital Media - Semantic technologies in e-Business, e-Commerce, e-Finance, e-Health, e-Science, e-Government, e-Learning - WI for multimedia, sensors, and situational awareness - WI for software and systems engineering - Quality of Life Technology for Web Access - Nature-inspired models and approaches in WIMS applications * Evaluation and Validation of WIMS Technologies and Applications - Evaluation and validation Methodologies - Datasets and Benchmarks for cross-evaluations and competitions - Evaluation and validation Infrastructures - Evaluation and validation metrics (e.g. fitness, quality, completeness, correctness, etc.) Submission Guidelines Four types of submissions are solicited for the main conference: i. Regular research papers ii. Short research papers iii. Case Studies and Applications papers iv. Posters The papers in all the categories should describe original results that have not been accepted or submitted for publication elsewhere. All submissions will be evaluated by at least three members of the international program committee. Regular Research Papers The papers in this category are the reports on accomplished research work or in-depth discussions and analysis of a certain problem. The first type of papers can present a novel method, technique or analysis with appropriate empirical or other type of evaluation as a proof of validity. The main evaluation criteria for this category are originality, technical soundness, and the soundness of evaluation. For the second type within the genre we expect receiving reasonable overviews placing a problem onto the state-of-the-art landscape and analyzing how far current solutions fall short. We also expect in-depth discussions and analysis of a certain problem, with clear definitions and argumentation in terms of qualitative or quantitative representation of the main characteristics of the problem. Page limit: 12 ACM pages Short Research Papers The papers in this category are the short reports of the preliminary results or describing the work in progress. The main evaluation criteria for this category are originality, technical correctness, and possible value of the planned results in a short to mid-term perspective. Short papers can be also presented in a form of a poster. Page limit: 6 ACM pages Case Studies and Applications Papers The papers in this category describe case studies of deployed applications, lessons learnt, and examples of measurable benefits. This category also includes papers that reports innovative applications of WIMS in areas of industry and government, as well as industrial experience and demonstrations of innovative systems. Page limit: 12 ACM pages Posters WIMS poster track is a venue for late-breaking results, ongoing research activities, and speculative or innovative work in progress. This track is intended to provide authors and participants with the ability to connect with each other and to engage in discussions about the work. Posters provide authors with a unique opportunity to draw attention to their work during the conference. Page limit: 4 ACM pages Submissions should be made electronically in PDF or DOC/DOCX (MS/Open Word) format via the electronic submission system of the WIMS2015 Conference Management system at: https://www.easychair.org/conferences/?conf=wims15 Publication Accepted papers/tutorials/posters will be published by ACM and disseminated through the ACM Digital Library through the International Conference Proceedings Series (ICPS). Important Dates 02.12.2014 Submission of tutorial and workshop proposals 19.12.2014 Notification of acceptance for tutorials & workshops 24.03.2015 Submission of papers/posters 27.04.2015 Notification of acceptance for papers/posters 11.05.2015 Camera ready versions of the accepted papers, posters, tutorial papers 30.05.2015 Author registration deadline 13-15.07.2015 Conference All the above deadlines are 23:59 Hawaii Time. WIMS Conferences Chair Rajendra Akerkar, Western Norway Research Institute, Norway General Chair Marios D. Dikaiakos, University of Cyprus, Cyprus Program Committee Co-Chairs Achilleas P. Achilleos, University of Cyprus, Cyprus Tope Omitola, University of Southampton, United Kingdom Advisory Committee Grigoris Antoniou, University of Huddersfield, UK Harold Boley, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada James Hendler, Rensselaer Polytechnic Institute, Troy, NY, USA Guus Schreiber, VU University, Amsterdam, the Netherlands Amit Sheth, Ohio Center of Excellence on Knowledge-enabled Computing, Ohio, USA Industrial Track Chair John Davies, BT Research & Innovation, UK Publicity Chair Christos Mettouris, University of Cyprus, Cyprus Local Organization Chair George A. Papadopoulos, University of Cyprus, Cyprus Web Chair Kyriakos Georgiadis, EasyConferences LTD, Cyprus The proceedings of the previous WIMS conferences are available at: - WIMS2011: https://dl.acm.org/citation.cfm?id=1988688 - WIMS?2012: https://dl.acm.org/citation.cfm?id=2254129 - WIMS?2013: https://dl.acm.org/citation.cfm?id=2479787 - WIMS?2014: https://dl.acm.org/citation.cfm?id=2611040 Look for updates and more details at: http://cyprusconferences.org/wims2015/ http://www.linkedin.com/groups?gid=3933343 https://www.facebook.com/groups/WIMSCon/ https://twitter.com/wims2015 -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce at cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Sun Oct 26 14:12:49 2014 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sun, 26 Oct 2014 10:12:49 -0300 Subject: WoLLIC 2015 - Call for Papers Message-ID: [Please circulate. Apologies for cross-postings.] WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20th-23rd, 2015 Bloomington, IN, USA SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION School of Informatics and Computing, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY School of Informatics and Computing, Indiana University, USA CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date). PROCEEDINGS The proceedings of WoLLIC 2015, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2015 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (tba) STUDENT GRANTS ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Feb 8, 2015: Paper title and abstract deadline Feb 15, 2015: Full paper deadline Mar 22, 2015: Author notification Apr 5, 2015: Final version deadline (firm) PROGRAMME COMMITTEE Juliana Küster Filipe Bowles (U St Andrews, Scotland) Guillaume Brunerie (ENS Ulm, France) (TBC) Ann Copestake (U Cambridge, UK) (TBC) Robin Cooper (U Gothenburg, Sweden) Nikos Galatos (U Denver, USA) Achim Jung (U Birmingham, UK) Sara Kalvala (U Warwick, UK) Elham Kashefi (Edinburgh U, Scotland) Peter Lefanu Lumsdaine (Institute for Advanced Study, USA) Ian Mackie (U Sussex, UK) Gerard de Melo (Tsinghua University, China) Vivek Nigam (Federal U of Paraíba, Brazil) Valeria de Paiva (Nuance Comm, USA) (CHAIR) Luiz Carlos Pereira (PUC-Rio, Brazil) Elaine Pimentel (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva (Radboud Nijmegen U, The Netherlands) Carolyn Talcott (SRI International, USA) Josef Urban (Radboud Nijmegen U, The Netherlands) Laure Vieu (IRIT-Toulouse, France) (TBC) Renata Wasserman (U São Paulo, Brazil) Anna Zamansky (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2015/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.b.vanriemsdijk at tudelft.nl Mon Oct 27 13:33:40 2014 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Mon, 27 Oct 2014 13:33:40 +0100 Subject: JOBS: 2 PhD/Postdoc positions - Formal semantics/logic, quantitative reasoning, normative agents Message-ID: ** JOB OPENING: TWO PhD/Postdoc POSITIONS ** ** FORMAL SEMANTICS & LOGIC, QUANTITATIVE REASONING, NORMATIVE AGENTS ** ** with Dr. M. Birna van Riemsdijk and Prof. Dr. Catholijn Jonker, Delft University of Technology ** ** Deadline for application: December 15th, 2014 ** --------------- JOB DESCRIPTION --------------- The purpose of this email is to solicit applications for two PhD/postdoc positions (PhD: 4 years, postdoc: 2 years), attached to a newly funded NWO Vidi grant obtained by Birna van Riemsdijk. The project is entitled Computational Reasoning for Socially Adaptive Electronic Partners (CoreSAEP). The research lies in the intersection of theoretical computer science (formal semantics, temporal logic) and multi-agent systems (agent programming, normative systems). The overall aim of the project is to develop a reasoning framework that combines logic and quantitative techniques for Socially Adaptive Electronic Partners (SAEPs) that adapt their behavior to norms and values of people. This becomes more and more important as technology becomes an integral part of our daily lives. The computational reasoning techniques are aimed at determining when and to what extent norm-compliance can be guaranteed, and deciding what to do if in exceptional situations a norm cannot or should not be complied with. We will implement the reasoning framework to evaluate its run-time behavior. The associated research posts will be in the following areas: POST 1 - formal semantics, temporal logic & normative agents (vacancy number: EWI2014-29) POST 2 - quantitative reasoning, logic & normative agents (vacancy number: EWI2014-34) More information on the project and the team you will be working in, can be found on http://ii.tudelft.nl/~birna/projects/CoreSAEP.html. For further information about the positions, please contact Birna van Riemsdijk via email (m.b.vanriemsdijk at tudelft.nl). Salary for a PhD position is EUR2083 to EUR2664 per month gross, and for a postdoc position EUR2427 to EUR3831 per month gross. ------------ REQUIREMENTS ------------ The applicant: * Has a Master's degree in computer science or artificial intelligence. If applying for a postdoc, a PhD is also required. * Has good command of the English language. * Has a willingness to try new things and learn from others, has an eye for detail, and stamina. ------------ HOW TO APPLY ------------ Applications will be accepted until all positions have been filled. The first round of interviews will be conducted based on applications received before *** December 15th 2014 ***. To apply, please submit the following application material to Hr-eemcs at tudelft.nl and state the vacancy number in the subject line of the email: (1) Curriculum Vitae (with publications if you have any). (2) Course lists with grades and degree certificates (3) A letter of application in which you explain both your motivation and the relevance of your skills and experience for this research project. The motivational letter should be on-topic, generic letters will cause your application to be rejected immediately. (4) A list of 3 (academic) references that we can contact (5) When applying for a PhD position: your MSc thesis in English (or alternatively if your MSc thesis is not in English, a 5-page summary of your MSc thesis in English). When applying for the postdoc position: a copy of your PhD thesis (or a draft thereof) and a detailed list of your publications. ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Interactive Intelligence Group Department of Intelligent Systems Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Website: http://ii.tudelft.nl/~birna/ Twitter: @mbirna From ijcai2015.publicity at gmail.com Tue Oct 28 20:49:59 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 28 Oct 2014 16:49:59 -0300 Subject: IJCAI-15 Call for Papers Message-ID: [Apology for cross-postings] ************************************************************************************************* Call for Papers 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina / 25 July-1 August 2015 http://ijcai-15.org/ IMPORTANT DATES * Abstract submission: Feb 8, 2015 (11:59PM, UTC-12). * Paper submission: Feb 12, 2015 (11:59PM, UTC-12). * Author feedback: March 17-23, 2015 (11:59PM, UTC-12). * Notification of acceptance/rejection: April 16, 2015. * Camera-ready copy due: May 2, 2015. ************************************************************************************************* The Program Committee of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI-15) invites the submission of original technical papers for the conference, to be held in Buenos Aires, Argentina, from July 25th to August 1st, 2015. Submissions are invited on significant, original, and previously unpublished research on all aspects of artificial intelligence. Over the past forty years, IJCAI has enjoyed tremendous success in bringing together the international AI community in communicating and celebrating the achievements and advances of artificial intelligence research and practice. With the current explosion of Artificial Intelligence in all walks of life, this year’s IJCAI conference will have even more to celebrate! A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI’s increasingly important role in how we create, discover, disseminate, learn and appreciate arts. THE LOCATION: BUENOS AIRES AND ARGENTINA South America has never before hosted an IJCAI conference, and Buenos Aires is surely an ideal choice for this landmark event. As a key cultural centre in South America, the City of Buenos Aires is also one of the most important and dynamic business and intellectual centres of the region. Buenos Aires has incredible food and wine, innovative and exciting young designers, and a thriving cultural scene. This zest for life makes Buenos Aires one of Latin America's essential destinations. IJCAI-15 will take place close to the downtown area of Buenos Aires. Attendees will find an outstanding modern conference venue, close to many restaurants, with a vibrant street life. And of course, since a visit to Buenos Aires would be incomplete without a visit to the famous Boca neighbourhood and taking in a tango show, we have planned an exciting social program including both. Beyond Buenos Aires, Argentina provides tremendous opportunities for tourism, from the dramatic UNESCO World Heritage site of Iguazu Falls to the ice dams of Los Glaciares National Park. For more information on Argentina tourism, see: http://www.turismo.gov.ar/ SUBMISSION DETAILS Full instructions including formatting guidelines and electronic templates are available on the IJCAI 2015 website: http://ijcai-15.org/index.php/call-for-papers AI AND THE ARTS IJCAI-15 will include a special track around the theme of “AI and the Arts”. This will include social activities around this theme, as well as a scientific track. Details will be made available on the conference website. Shuiwang Ji and Ana Maguitman IJCAI-15 Publicity Co-Chairs Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijcai2015.publicity at gmail.com Tue Oct 28 20:54:17 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Tue, 28 Oct 2014 16:54:17 -0300 Subject: IJCAI 2015 Special Track "AI and the Arts" - CALL FOR PAPERS Message-ID: [Apology for cross-postings] ************************************************************************************************* Special Track "AI and the Arts" CALL FOR PAPERS There is a growing interest in developing artificial intelligence techniques that can have a role in the production of works of art. Research in this field has already produced AI systems that can produce outputs in fields such as music, fine arts, storytelling and performance either autonomously or in collaboration with humans. The main motivation for this special track is to explore how AI can help in generating artistic works and how working in the arts helps in moving forward the field of AI. Relating to this motivation we suggest a number of questions that, among others, papers submitted to this special track could look to address: - In what way can AI give us an understanding of the human creative process? - When building AI systems for producing creative artefacts should we aim to mimic our own - creative behaviour, the behaviours we find in nature, or design completely new mechanisms? - Under what conditions could work produced solely by machine be considered as art? - What is the role of AI in producing systems that can inspire more of us to engage with the creative process in order to produce art? - What are the kinds of interactions with computational systems that will inspire, provoke, and challenge us into meaningful creative dialogues with machines? - Are current value systems that humans use to experience and evaluate art suitable for computer-created art, or are new value-systems required? - How can AI help us re-conceptualise current methods of interaction between computers and people so as to better encourage creative flow and feedback? - How can AI help develop our relationships with computers to encourage new opportunities for experiencing both human- and computer-generated creative artefacts? SUBMISSION DETAILS Papers focusing on the interplay between AI and the arts, submitted to this special track will be reviewed according to the same standards as all other papers. The authors of accepted papers will additionally have the option of showing a demo related to what they have presented in the paper. In addition, submissions of demos without submitting a full paper, as well as video submissions are also welcome. The demos and videos will be reviewed according to the standards regarding demos and video submissions of past IJCAI conferences. Please consult the main IJCAI 2015 Call For Papers at http://ijcai-15.org/index.php/call-for-papers for important dates, detailed submission instructions, (including formatting guidelines and electronic templates), review process, and important policies (on multiple submissions, confidentiality and conflict of interest). IJCAI 2015 AI and the Arts Track Co-chairs Ramon Lopez de Mantaras, Institute for Artificial Intelligence, Barcelona, Spain. Francois Pachet, Sony Computer Science Laboratories, Paris, France Mark d’Inverno, Goldsmiths, University of London, London, UK Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ijcai2015.publicity at gmail.com Wed Oct 29 10:53:46 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Wed, 29 Oct 2014 06:53:46 -0300 Subject: =?UTF-8?Q?IJCAI_2015_Robot_Competitio=E2=80=8Bn_and_Exhibition_=2D_CAL?= =?UTF-8?Q?L_FOR_PARTICIPAT=E2=80=8BION?= Message-ID: [Apology for cross-postings] ************************************************************************************************* Robot Competition and Exhibition CALL FOR PARTICIPATION Competition IJCAI-15 will host a Robot Competition to help raise awareness of robotics in the AI community and to identify robotics problems that AI can help to address. The competition will take place at IJCAI-15 in Buenos Aires. A list of expert judges will be announced later. There will be five prizes on offer for real-time robot demonstrations in the following categories: physical skills (e.g. manipulation and motion), social skills (e.g. human-robot interaction, multi-robot collaboration, theory of mind), service tasks (e.g. general-purpose service, cleaning the house, cocktail waiter, security guard) and open (e.g. incredibly awesome applications). As the theme of IJCAI-15 will be AI and Arts, we also welcome entries that demonstrate the interplay of Robotics and Arts. The key criteria are: - Innovation - what new value or potential impact does the demonstrated capability bring; - Significance - quality of new AI/Robotics research questions it addresses or exposes; - Technical Quality - how well is the demonstration accomplished; - Understandability - quality of the demonstration presentation. Demonstration are expected to be given in an arena such as a living room and are required to be completed in 10 minutes with synchronous presentation/commendatory, followed by a 10 minute Q&A. If you are interested in participating in the IJCAI Robot Competition, please complete the registration form below, and send it to the ijcai15.robot at gmail.com as early as possible, but no later than May 5, 2015. ------------------------------------------------------------------------------------------------------------------- Entry Team Name: Country: Affiliations: Contact Details including email address: Team Description including link to website if there is one: Robot Description including link to website if there is one: Task/Skill Description of the robot skill/task you will attempt, the AI problems you will address, your general approach, photo/video(s) of the robot(s) not more than 2 pages. ------------------------------------------------------------------------------------------------------------------- Successful teams will be notified by May 15 if they can be accommodated at the IJCAI-15 venue. Physical constraints of the demonstration area will be made available later. Specific requirements should be pre-approved by the robotic program chairs. Exhibition A robot exhibition will be held together with the 2015 IJCAI Robot Competition. The Robot Exhibition is designed to provide a unique opportunity for universities and companies to bring their own robots and show them at the exhibit area, which is open to the conference participants and the public. If you are interested in participating in the IJCAI Robot Exhibition, please send the registration form to ijcai15.robot at gmail.com as early as possible, but no later than Friday May 15, 2015. Participants are expected to manage the logistics for their robots on their own. Xiaoping Chen and Michael Beetz, ijcai15.robot at gmail.com Chairs, the 2015 IJCAI Robot Competition and Exhibition Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ijcai2015.publicity at gmail.com Wed Oct 29 11:03:01 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Wed, 29 Oct 2014 07:03:01 -0300 Subject: =?UTF-8?Q?IJCAI_2015_Call_for_Sponsorshi=E2=80=8Bp?= Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI 2015 Call for Sponsorship On behalf of the Conference Committee of the Twenty-Fourth International Joint Conference on Artificial Intelligence, we invite you to participate in the sponsor program for IJCAI-15. The conference will be held in Buenos Aires between July 25-31, 2015. It is for the first time that South America hosts an IJCAI conference, and Buenos Aires is an ideal choice for this landmark event. The theme of the conference is “Artificial Intelligence and Arts”. IJCAI 2015 will gather researchers and academics from all over the world presenting important results, new trends, and challenges in this area of Artificial Intelligence. It will also see the largest gathering of researchers from South America, who has been working in the field of AI, with a total attendance of over one thousand. We believe that the conference provides an ideal opportunity for companies working in cutting-edge technology fields not only to show their brand to some of the brightest minds in the world, but also be exposed to millions of viewers and readers through media reports on this conference. A detailed note on the sponsorship options can be found at http://ijcai-15.org/downloads/IJCAI2015SponsorhipOpportunities.pdf. We are sure that your company will find it of interest. By attending the conference, and hopefully adding some extra days with a great variety of possibilities for sightseeing and recreation in and outside Buenos Aires, you will be able to exchange scientific ideas, obtain information about new developments, extend your business activities and confirm international friendship in a pleasant atmosphere. A beautiful environment invites to all kinds of tours and visits. Buenos Aires is one of the few cities whose personality reflects an increasingly clear, yet ever changing and many-sided image. It is a social mosaic all of whose pieces bear the imprint of the slow historical process that has made it unique. Buenos Aires, as a modern city, reflects through its rich architecture its history and culture where many important conferences and business meeting are held. No visitor will feel a stranger in our town. We sincerely invite you to come to Buenos Aires to explore and enjoy its myriad of facets, wealth of activity and life excitement, while enjoying our meeting and exchange of information through this unique international event of IJCAI 2015 in a pleasant atmosphere. We are looking forward to welcoming you in Buenos Aires! Yours sincerely, IJCAI-15 Sponsorship Co-chairs (sponsors at IJCAI-15.org): Diego Fernandez Slezak, Universidad de Buenos Aires, Argentina (dfslezak at dc.uba.ar) Minh Do, Intelligent Systems Division, NASA, United States (minh.do at nasa.gov) Jie Tang, Tsinghua University, China (jietang at tsinghua.edu.cn) Ulle Endriss, University of Amsterdam, The Netherlands (ulle.endriss at uva.nl) Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From ijcai2015.publicity at gmail.com Wed Oct 29 19:40:46 2014 From: ijcai2015.publicity at gmail.com (IJCAI 2015 Publicity Chairs) Date: Wed, 29 Oct 2014 15:40:46 -0300 Subject: IJCAI-2015 Final Call for Workshop Proposals Message-ID: [Apology for cross-postings] ************************************************************************************************* IJCAI-2015 Call for Workshop Proposals *** Submission deadline: November 15 *** The IJCAI-15 Program Committee invites proposals for the Workshop Program, to be held July 25-27, 2015, immediately prior to the technical conference. IJCAI-15 workshops will provide settings enabling participants to discuss technical topics in an atmosphere that promotes active exchange of ideas. All members of the AI community are invited to submit workshop proposals for review. We encourage several forms of workshops (the list is non-exhaustive): - classical workshops that focus on a particular research area, including proposals for continuations of workshops that were held at previous general AI conferences (e.g., IJCAI, AAAI, ECAI) or discipline specific conferences (e.g., NIPS, KR, AAMAS, UAI, ICAPS...). - workshops that focus on emerging topics and applications, or on open research questions and challenges. - cross-discipline workshops that foster exchange of ideas between groups that are unaware of each other's research. Workshops can vary in length from half a day to two days. To cover costs, it is necessary to charge workshop participants a workshop fee, which is separate from the main conference fee. Workshop attendees do not need to register for the main IJCAI conference, but are encouraged to do so. IJCAI reserves the right to cancel workshops whose attendance does not support their running costs. Important Dates - November 15, 2014 - Proposal submission deadline - November 22, 2014 - Acceptance notification - December 15, 2014 - IJCAI-15 workshop program announced - June 15, 2014 - Deadline for completed workshop notes submission to local organizer - July 25-27, 2015 - IJCAI-15 workshops Although we will not require all workshops to follow the same deadlines, for those who wish to coordinate their dates with the other workshops, we suggest the following dates: - November 25, 2014 - Post the call for participation - April 27, 2015 - Submission of contributions to workshops - May 20, 2015 - Workshop paper acceptance notification - May 30, 2015 - Deadline for final camera ready copy to workshop organizer IJCAI-15 Workshops Requirements for Proposal Submission The workshop proposals should be submitted electronically as a single PDF file through the Easychair system using the webpage https://easychair.org/conferences/?conf=ijcai15workshops. Each proposal should contain the following information: - A preliminary workshop format and a proposed schedule for organizing the workshop, including desired length for the workshop (0.5-day, 1-day, 1.5-day or 2-day). Please indicate if you intend to have any activities other than contributed talks (e.g., invited talks, panels, or posters). - A tentative list of PC members (including full names and affiliations). - A list of related workshops held within the last few years, if any, and their relationship to the proposed workshop. If this workshop continues a workshop from a previous general or area-specific conference, please indicate that. If available, please provide the number of submitted/accepted papers and approximate attendance numbers for these workshops. - The names, email addresses, and URLs of the organizing committee members. The committee should consist of two to four people knowledgeable in the area who do not all work at the same institution. Strong proposals include organizers who bring differing perspectives to the workshop topic and who are actively connected to the communities of potential participants. - The primary contact for the organizing committee. - Brief CVs of organizing committee members, including a list of key publications demonstrating scholarship in the field and a list of workshops previously arranged, if any. Selection process The selection of workshops for the final program will be based upon multiple factors, including the scientific/technical interest of the topics in relation to the anticipated IJCAI audience, the quality of the proposal, the balance and distinctness of topics across all workshops, the history of past attendance for non-first-time workshops, and the capacity of the conference workshop program. We may request proposers addressing similar or overlapping content areas to merge their proposals. For all accepted proposals, IJCAI will be responsible for providing publicity for the workshop series as a whole, and for providing logistic support and a meeting place for the workshop. Together with the organizers, determining the workshop date and time. Note: workshop date will depend on other workshops being held; IJCAI will also be responsible for electronically distributing working notes. Workshop organizers will be responsible for: - Setting up a Web site for the workshop and providing its URL to the workshop chairs. - Advertising the particular workshop and issuing a call for participation/papers. - Making the PDF of the workshop notes available to the Local Chair of IJCAI by June 15th, 2015, together with a list of audio-visual requirements and any special room requirements. - Ensuring that the workshop organizers and the participants register for the workshop and are invited to register to the main conference. - Coordinating and moderating workshop participation and content. - Devising a schedule that meshes with shared breaks. For each running workshop there will be two free workshop registrations. The organizers will decide themselves whom to give them to. Please send all inquiries to Jérôme Lang (lang at lamsade.dauphine.fr). Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15 Find IJCAI-15 on Weibo: http://weibo.com/5225989544 Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15 From aamas2014publicity at gmail.com Thu Oct 30 11:25:41 2014 From: aamas2014publicity at gmail.com (Amit Chopra) Date: Thu, 30 Oct 2014 10:25:41 +0000 Subject: First Call for Demos: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) Message-ID: Istanbul, Turkey, May 4-8, 2015 http://www.aamas2015.com The goal of the AAMAS DEMOs track is to provide opportunities for participants from academia and/or industry to present their latest developments in agent-based software and/or robotic systems. Interactive systems, robotic systems and novel applications are particularly welcome. There will be a "Best Demo Award." Authors of accepted papers and posters in the main track of the AAMAS conference, as well as workshop presenters, are particularly encouraged to submit! (You'll be there anyway - this is another opportunity to share your work and discuss your results in detail with conference attendees who visit your Demo!) Examples of demos include but are not limited to: - Single- and multi-agent robotic systems - Interactive agent-based software systems - Personal robotics - Agent-based simulation environments - Innovative applications of agent-based systems or prototypes - Agent-based games - Agent platforms and development environments - Open-source software tools for agent-based system development - Human-robot interactive systems - Virtual agents and interactive virtual environments The organizers will make every effort to facilitate demo requirements. If you have unusual requirements please contact the organizers in advance. At a minimum, we will provide a poster board, a monitor, and a table for each demonstration. *** SUBMISSION REQUIREMENTS *** Submissions accepted for the demonstration session will be advertised on the AAMAS website. Each Demo submission must consist of the following: 1. Paper: A 2-page paper in which the authors describe the system to be demonstrated. The paper should describe the application domain, the problem scenario, the technology used, the agent/multi-agent techniques involved, the original contribution and innovations of the system, its live and interactive aspects, etc. Papers MUST BE PREPARED IN PDF format using the AAMAS style. 2. A list of requirements/description of demo setting. This list should be attached to the extended abstract, in a separate page. 3. Video or PPT or other media: The paper must contain a URL linking to a demonstration video no more than 5 minutes in length (e.g. YouTube) or a Powerpoint presentation showing and explaining what happens. Other formats are also possible if they can more clearly illustrate the demo. The objective is to give a precise idea, in 5 minutes, of what the demo will look like. Accepted Demos will have the 2-page papers included in the AAMAS proceedings. Submissions will be managed using EasyChair. https://easychair.org/conferences/?conf=aamasdemo15 *** SELECTION PROCESS *** The submission and selection processes for the AAMAS 2014 Demos will be separate from that of the main conference. Each submission will be assessed by the Demos Program Committee. The authors will receive a brief report with the result of the evaluation with the notification. The main evaluation criteria are: - Relevance to the AAMAS conference - Significance and originality - Presentation and technical quality - Maturity and readiness for demonstration - Potential for public interaction - Potential impact in the intended application domain - Potential interest to a broader audience At least one author of each accepted demonstration is required to register and to attend the conference to give the demonstration. *** IMPORTANT DATES *** - Submission deadline: February 4, 2015 - Notification of acceptance/rejection: February 28, 2015 - Camera-ready paper: March 5, 2015 *** ORGANIZATION *** Demos Chairs: - Paolo Torroni, University of Bologna, Italy - Karl Tuyls, University of Liverpool, UK *** CONTACT INFORMATION *** Contact the Demos Chairs at aamas2015.demos at google.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From K.M.Atkinson at liverpool.ac.uk Fri Oct 31 17:18:43 2014 From: K.M.Atkinson at liverpool.ac.uk (Atkinson, Katie) Date: Fri, 31 Oct 2014 16:18:43 +0000 Subject: ICAIL 2015 second CFP Message-ID: <072FBFCE-B2D4-40BC-86C4-46930880A124@liverpool.ac.uk> ------------------------------------- Apologies for cross-postings ------------------------------------ ICAIL 2015 Second CFP 28 October 2014 www.icail2015.org The 15th International Conference on Artificial Intelligence and Law (ICAIL 2015) will be held at the University of San Diego School of Law from Monday, June 8 to Friday, June 12, 2015. Artificial Intelligence and Law is a vibrant research field that focuses on: • Legal reasoning and development of computational methods of such reasoning • Applications of AI and other advanced information technologies to support the legal domain • Discovery of electronically stored information for legal applications (eDiscovery) • Machine learning and data mining for legal applications • Formal models of norms, normative systems, and norm-governed societies Since it began in 1987, the ICAIL conference has been established as the foremost international conference addressing research in Artificial Intelligence and Law. It is organized biennially under the auspices of the International Association for Artificial Intelligence and Law (IAAIL), and in cooperation with the Association for the Advancement of Artificial Intelligence (AAAI). The conference proceedings are published by ACM. The journal Artificial Intelligence and Law regularly publishes expanded versions of selected ICAIL papers. Important Dates: • Deadline for submission of workshop and tutorial proposals: December 5, 2014 • Deadline for submission of abstracts (optional): January 9, 2015 • Deadline for submission of papers: January 16, 2015 • Deadline for submission of demonstration abstracts: January 23, 2015 • Notification of acceptance: March 13, 2015 • Deadline for submission of doctoral consortium papers: March 31, 2015 • Deadline for final revised and formatted papers: April 17, 2015 • Conference: June 8 – June 12, 2015 Topics: The field serves as an excellent setting for AI researchers to demonstrate the application of their work in a rich, real-world domain. The conference also serves as a venue for researchers to showcase their work on the theoretical foundations of computational models of law. Accordingly, authors are invited to submit papers on a broad spectrum of research topics that include, but are not restricted to: • Formal and computational models of legal reasoning, including argumentation, evidential reasoning, and decision making • Legal reasoning in multi-agent systems • Knowledge acquisition techniques for the legal domain, including natural language processing and data mining • Legal knowledge representation including legal ontologies and common sense knowledge • Automatic legal text classification and summarization • Automated information extraction from legal databases and texts • Data mining applied to the legal domain • Conceptual or model-based legal information retrieval • E-government, e-democracy and e-justice • Modeling norms for multi-agent systems • Modeling negotiation and contract formation • Online dispute resolution • Intelligent legal tutoring systems • Intelligent support systems for the legal domain • Interdisciplinary applications of legal informatics methods and systems ICAIL is keen to broaden its scope to include topics of growing importance in artificial intelligence research. Therefore, papers are invited in the following featured categories: • eDiscovery and eDisclosure • Open data, linked data, and big data • Machine learning • Argument mining Papers will be assessed in a rigorous reviewing procedure. Standard assessment criteria for research papers will apply to all submissions (relevance, originality, significance, technical quality, evaluation, presentation). Papers proposing formal or computational models should provide examples and/or simulations that show the models’ applicability to a realistic legal problem or domain. Papers on applications should describe clearly the underlying motivations, the techniques employed, and the current state of both implementation and evaluation. All papers should make clear their relation to prior work. Demonstrations: A session will be organized for the demonstration of creative, robust, and practical working applications and tools. Where a demonstration is not connected to a submitted paper, a two-page extended abstract about the system should be submitted for review, via the conference support system and following the conference style, by the demo submission deadline of January 23, 2015. Accepted extended abstracts will be published in the conference proceedings. For those demonstrations that are connected to a paper in the main track, no separate statement about the demonstration need be submitted, but the author(s) should send an email to the Program Chair by the demo submission deadline to register their interest in demonstrating their work at this session. ICAIL Workshops and Tutorials: ICAIL 2015 will include workshops and tutorials on Monday, June 8 and Friday, June 12. Proposals for workshops and tutorials are invited, and should be sent by email to the Program Chair. Tutorials should cover a broad topic of relevance to the AI and Law community. Proposals should contain enough information to permit evaluation on the basis of importance, quality, and community interest. Each workshop should have one or more designated organizers and a program or organizing committee. Proposals should be 2 to 4 pages and include at least the following information: • The workshop or tutorial topic and goals, their significance, and their appropriateness for ICAIL 2015 • The intended audience, including the research areas from which participants may come, the likely number of participants (with some of their names, if known), and plans for publicizing the workshop • Organization of the workshop or tutorial, including the intended format (such as invited talks, presentations, panel discussions, or other methods for ensuring an interactive atmosphere) and the expected length (full day or half day) • Organizers’ details: a description of the main organizers’ background in the proposed topic; and complete addresses including webpages of all organizers and committee members (if applicable) In the interest of reaching out to under-represented research communities in the Americas who are interested in AI and Law, IAAIL will also consider hosting at ICAIL 2015 one or two AI and Law workshops in Spanish or Portuguese. The submission deadline for workshop and tutorial proposals is December 5, 2014. Continuing Legal Education Sessions: In addition to the workshops and tutorials solicited above, ICAIL 2015 will feature three continuing legal education (CLE) sessions as follows: Monday, June 8 • eDiscovery Friday, June 12 • Software, automation and machine learning in IP law • Trends in legal software and search engines The CLE sessions will also feature an “exhibit hall” for vendors and law firms. Interested parties should email Ted Sichelman, Conference Chair (tsichelman at sandiego.edu) for more information. The University of San Diego School of Law is a State Bar of California-approved MCLE provider. Further information about the CLE events will be posted at: http://www.sandiego.edu/law/school/events/detail.php?_focus=47565 Doctoral Consortium for ICAIL 2015: A Doctoral Consortium will be held as part of ICAIL 2015. The event will provide doctoral students with an opportunity to publish and present papers on their PhD research and to receive feedback and encouragement from the AI and Law community. Students who submit papers to the main conference are also welcome to submit their work to the Doctoral Consortium. A call for papers specifically for the Doctoral Consortium will be forthcoming. Further details will be provided at the conference website: http://www.icail2015.org Submission Details, including instructions for blind review: Papers should not exceed 10 pages in the approved style. Style format template files can be found at http://www.acm.org/sigs/pubs/proceed/template.html. While papers can be prepared using LaTeX or Word, all papers should be converted to PDF prior to submission. All papers must be submitted electronically to the conference support system, https://www.conftool.net/icail2015/ by the paper submission deadline. To aid the reviewing process, authors are requested to submit abstracts of their papers by the above abstract submission deadline. Abstract submissions should include the paper title, up to four keywords, and a contact address for the corresponding author. Both papers and abstracts should be submitted electronically to the conference support system. Reviewing for ICAIL 2015 will be double blind. The first page of each submitted paper should include the title of the paper and the ID number of the paper as allocated when the paper is registered on the conference support system. Papers submitted for review should not include names and affiliations of the authors, nor an acknowledgements section. These aspects can be added at the camera-ready stage. The references should include all published literature relevant to the paper, including previous works of the authors, though care should be taken in the style of writing in order to preserve anonymity. Authors will be notified of the acceptance decision by the date indicated above. Papers not accepted for full publication and presentation may be accepted as short research abstracts. Papers (including research abstracts) must be presented at the conference in order to appear in the proceedings (and, moreover, all papers and abstracts presented at the conference will appear in the proceedings, which will be published by ACM). Final versions of papers for publication in the proceedings will be due by the date indicated above. Donald H. Berman Award for Best Student Paper: IAAIL has established a best student paper award in memory of Donald H. Berman, a Professor of Law at Northeastern University who was a co-founder of the AI and Law journal. The award consists of a cash gift and free attendance at ICAIL 2015. For a paper to be considered for the award, the student author(s) should be clearly designated as such when the paper is submitted, and any non-student co-authors should provide a statement by email to the Program Chair that affirms that the paper is primarily student work. Notification will be made through the ICAIL website, and the award will be presented at the conference banquet. Peter Jackson Award for Best Innovative Application Paper: At ICAIL 2015 a new award is being introduced for the best innovative application paper. The award is in honor of Peter Jackson, Thomson Reuters’ Chief Research Scientist, who was a strong supporter of the ICAIL conferences and a significant contributor to the development of advanced technologies in AI and Law. The award will consist of a special commemorative plaque and recognition on the conference and IAAIL websites. For a paper to be considered for the award, the author(s) should clearly identify it as an application paper by including “innovative applications” as a keyword. Notification will be made through the ICAIL website, and the award will be presented at the conference banquet. Conference Officials: Program Chair Katie Atkinson Department of Computer Science, University of Liverpool, UK K.M.Atkinson at liverpool.ac.uk Conference Chair Ted Sichelman, University of San Diego School of Law, San Diego, CA USA tsichelman at sandiego.edu Conference Co-Chair Richard Belew Cognitive Science Department, University of California, San Diego, CA USA rik at cogsci.ucsd.edu Secretary/Treasurer Anne Gardner Atherton, CA, USA gardner at cs.stanford.edu Program Committee: To be confirmed. Local Committee: Richard Belew, University of California, San Diego Karl Gruben, University of San Diego School of Law Dan Katz, Michigan State University College of Law Ted Sichelman, University of San Diego School of Law Thomas Smith, University of San Diego School of Law Roland Vogl, Stanford Law School -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From a.artikis at gmail.com Fri Oct 31 18:05:58 2014 From: a.artikis at gmail.com (Alexander Artikis) Date: Fri, 31 Oct 2014 19:05:58 +0200 Subject: 2nd CFP: EPForDM workshop@EDBT 2015 Message-ID: Apologies for cross-posting. ************************* Call for Papers *************************** Event Processing, Forecasting and Decision-Making in the Big Data Era (EPForDM) EDBT 2015 Workshop March 27, 2015 http://cer.iit.demokritos.gr/epfordm ********************************************************************** The Big Data era has posed a number of challenges in applications related to event processing. In particular, the data volume, velocity and distribution necessitate the design on new scalable approaches for the efficient and timely processing of the produced data. The lack of veracity in the handled data/events further complicates the problem. Moreover, key challenges concern the use of the voluminous data in order to forecast future events and perform proactive event-driven decision-making. Event forecasting is important because eliminating or mitigating an anticipated problem, or capitalizing on a forecast opportunity, can substantially improve our quality of life, and prevent environmental and economic damage. For example, changing traffic-light priority and speed limits to avoid traffic congestions will reduce carbon emissions, optimize transportation and increase the productivity of commuters. At the business level, making smart decisions ahead of time can become a differentiator leading to significant competitive advantage. In a wide range of applications, prevention is more effective than the cure. To prevent problems and to capitalize on opportunities before they even occur, a proactive event-driven decision-making paradigm is necessary. Decisions are triggered by forecasting events instead of reacting to them once they happen. Moreover, decisions are made in real-time and require on-the-fly processing of Big Data, that is, extremely large amounts of noisy data flooding in from various locations, as well as historical data. The aim of the EPForDM workshop is to bring together computer scientists with interests in the fields of event processing, event forecasting and event-driven decision-making to present recent innovations, find topics of common interest and stimulate further development of new approaches to make sense of Big Data. Topics of interest include (but are not limited to): -Scalable event processing under uncertainty -Distributed event processing -Event forecasting -Multi-scale temporal aggregation of events -Machine learning for event processing and forecasting -Distributed machine learning -Event-driven decision-making -Visual analytics for proactive decision-making and Big Data -Human Factors evaluation of proactive event-driven systems -Novel architectures for Big Data processing -Engineering proactive event-driven systems -Position papers on proactive event-driven systems -Privacy issues in Big Data processing -Energy efficiency and reliability in Big Data processing -Scheduling and provisioning issues in Big Data processing IMPORTANT DATES Paper submission: December 5, 2014, 23:59 CET Notification: January 9, 2015 Camera-ready version: January 23, 2015, 23:59 CET Workshop date: March 27, 2015 ORGANISATION General Chairs: Alexander Artikis, NCSR Demokritos, Greece Antonios Deligiannakis, Technical University of Crete, Greece Program Committee Chairs: Minos Garofalakis, Technical University of Crete, Greece Pedro Bizarro, FeedZai, Portugal -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: