From sdm.publicity at gmail.com Sat Apr 2 21:41:39 2016 From: sdm.publicity at gmail.com (SDM Publicity Chairs) Date: Sat, 2 Apr 2016 12:41:39 -0700 Subject: Call for Participation SDM'16: Early registration deadline Apr 7th Message-ID: CALL FOR PARTICIPATION SDM'16: THE SIXTEENTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING Miami, Florida, USA May 5 - 7, 2016 URL: http://www.siam.org/meetings/sdm16/ DESCRIPTION Data mining is the computational process for discovering valuable knowledge from data. It has enormous application in numerous fields, including science, engineering, healthcare, business, and medicine. Typical datasets in these fields are large, complex, and often noisy. Extracting knowledge from these datasets requires the use of sophisticated, high-performance, and principled analysis techniques and algorithms, which are based on sound theoretical and statistical foundations. These techniques in turn require implementations on high performance computational infrastructure that are carefully tuned for performance. Powerful visualization technologies along with effective user interfaces are also essential to make data mining tools appealing to researchers, analysts, and application developers from different disciplines. The SDM conference provides a venue for researchers who are addressing these problems to present their work in a peer-reviewed forum. It also provides an ideal setting for graduate students and others new to the field to learn about cutting-edge research by hearing outstanding invited speakers and attending presentations and tutorials (included with conference registration). A set of focused workshops is also held on the last day of the conference. The proceedings of the conference are published in archival form, and are also made available on the SIAM web site. REGISTRATION Pre-registration deadline - 4:00PM EDT April 07, 2016 Register now at http://www.siam.org/meetings/sdm16/reginfo.php HOTEL The conference will be held at the Hilton Miami Downtown, Miami, FL. More information about hotel reservation can be found at: http://www.siam.org/meetings/sdm16/hotel.php PROGRAM Up-to-date information on the SDM'16 program is available at: http://www.siam.org/meetings/sdm16/program.php KEYNOTES The conference features the following invited presentations. For more details, please visit the conference website http://www.siam.org/meetings/sdm16/invited.php 1. Prof. Virgilio Almeida, Federal University of Minas Gerais, Brazil Title: TBA 2. Dr. Ricardo Baeza-Yates, Universitat Pompeu Fabra, Spain & Universidad de Chile, Chile Title: Data and Algorithmic Bias in the Web 3. Prof. Pedro Domingos, University of Washington, WA, USA Title: Sum-Product Networks: Deep Models with Tractable Inference 4. Prof. Neil F. Johnson, University of Miami, FL, USA Title: Big Data, Small Models, and Extreme Behaviors in the Real World TUTORIALS The conference features the following tutorials on several special topics. For more details, please visit the conference website http://www.siam.org/meetings/sdm16/tutorials.php - Mining Personal Traits in Social Media Aron Culotta, Illinois Institute of Technology, USA Dongwon Lee, Pennsylvania State University, USA - Optimal Connectivity on Big Graphs: Measures, Algorithms and Applications Hanghang Tong, Arizona State University, USA - Large Scale Hierarchical Classification: Foundations, Algorithms and Applications Huzefa Rangwala, George Mason University, USA Azad Naik, George Mason University, USA - Biomedical Data Mining with Matrix Models Fei Wang, University of Connecticut, USA Ping Zhang, IBM Thomas J. Watson Research Center, USA - Problems with Incomplete Networks: Biases, Skewed Results, and Solutions Tina Eliassi-Rad, Rutgers University, USA Sucheta Soundarajan, Syracuse University, USA Ali Pinar, Sandia National Lab, USA Brian Gallagher, Lawrence Livermore National Laboratory, USA - Towards Veracity Challenge in Big Data Jing Gao, SUNY Buffalo, Buffalo, NY USA Qi Li, LinkedIn, Mountain View, CA USA Bo Zhao, Baidu Research Big Data Lab, China Jiawei Han, University of Illinois, Urbana, IL USA WORKSHOPS The conference features the following workshops on several special topics. For more details, please visit the links mentioned next to each workshop or the conference website at http://www.siam.org/meetings/sdm16/workshops.php - Data Mining for Medicine and Healthcare (http://www.dmmh.org/) - Machine Learning Methods for Recommender Systems (MLRec) ( http://mlrec.org/) - Mining Networks and Graphs: A Big Data Analytic Challenge (MNG 2016) ( http://staff.vbi.vt.edu/maleq/MNG2016/) DOCTORAL FORUM The Doctoral Forum is a special poster session collocated with the SDM conference oral presentation and poster sessions. Selected PhD students will present their work, discuss and receive feedback on their research. More details can be found at http://www.siam.org/meetings/sdm16/forum.php. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Apr 3 13:11:42 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 03 Apr 2016 13:11:42 +0200 Subject: SLSP 2016: 2nd call for papers Message-ID: <545102060a010b070456500300090753030405020655005204040b020f0300595d040052510b5651095750530201@grlmc_ip-zone_com-6> SLSP 2016: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2016   Pilsen, Czech Republic   October 11-13, 2016   Organized by:   Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2016/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2016 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Walter Daelemans (University of Antwerp), Advances in Statistical Approaches to Personality Prediction from Text   Julia Hirschberg (Columbia University), tba   Mari Ostendorf (University of Washington), tba   PROGRAMME COMMITTEE:   Srinivas Bangalore (Interactions LLC, Murray Hill, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Nicoletta Calzolari (National Research Council, Pisa, Italy) Marcello Federico (Bruno Kessler Foundation, Trento, Italy) Guillaume Gravier (IRISA, Rennes, France) Gregory Grefenstette (INRIA, Saclay, France) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, United Kingdom) Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Xiaodong He (Microsoft Research, Redmond, USA) Graeme Hirst (University of Toronto, Canada) Gareth Jones (Dublin City University, Ireland) Tracy Holloway King (A9.com, Palo Alto, USA) Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland) Philipp Koehn (University of Edinburgh, United Kingdom) Pavel Král (University of West Bohemia, Pilsen, Czech Republic) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Qun Liu (Dublin City University, Ireland) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar) John Nerbonne (University of Groningen, The Netherlands) Hermann Ney (RWTH Aachen University, Germany) Vincent Ng (University of Texas, Dallas, USA) Jian-Yun Nie (University of Montréal, Canada) Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar) Adam Pease (Articulate Software, San Francisco, USA) Massimo Poesio (University of Essex, United Kingdom) James Pustejovsky (Brandeis University, Waltham, USA) Manny Rayner (University of Geneva, Switzerland) Paul Rayson (Lancaster University, United Kingdom) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands) Murat Saraçlar (Boğaziçi University, İstanbul, Turkey) Björn W. Schuller (University of Passau, Germany) Richard Sproat (Google, New York, USA) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom) Marc Swerts (Tilburg University, The Netherlands) Tomoki Toda (Nagoya University, Japan) Xiaojun Wan (Peking University, Beijing, China) Andy Way (Dublin City University, Ireland) Phil Woodland (University of Cambridge, United Kingdom) Junichi Yamagishi (University of Edinburgh, United Kingdom) Heiga Zen (Google, Mountain View, USA) Min Zhang (Soochow University, Suzhou, China) Pierre Zweigenbaum (LIMSI, Orsay, France)   ORGANIZING COMMITTEE:   Tomáš Hercig (Pilsen) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra (Granada) Daniel Soutner (Pilsen) Florentina Lilica Voicu (Tarragona) Jan Zelinka (Pilsen, co-chair)   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, proofs, 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=slsp2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753) 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 registration form can be found at:   http://grammars.grlmc.com/SLSP2016/Registration.php   DEADLINES:   Paper submission: May 17, 2016 (23:59 CET) Notification of paper acceptance or rejection: June 21, 2016 Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016 Early registration: July 1, 2016 Late registration: September 27, 2016 Submission to the journal special issue: January 13, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   SLSP 2016 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:   Západočeská univerzita v Plzni Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Sun Apr 3 14:05:10 2016 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sun, 3 Apr 2016 14:05:10 +0200 Subject: Call for Participation KR 2016: 15th International Conference on Principles of Knowledge Representation and Reasoning Message-ID: CALL FOR PARTICIPATION *** KR 2016 *** 15th International Conference on Principles of Knowledge Representation and Reasoning Cape Town, South Africa 25-29 April 2016 http://kr.org/KR2016/ Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org/NMR/) ** Registration is now open ** Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Papers have been selected based on whether they present novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. ** The list of accepted papers is available on the KR 2016 website ** TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief change: revision and update, belief merging, etc. * Commonsense reasoning * Contextual reasoning * Description logics * Diagnosis, abduction, explanation * Inconsistency- and exception- tolerant reasoning, paraconsistent logics * KR and autonomous agents: multi-agent systems, cognitive robotics, agent models * KR and data management, data analytics * KR and decision making, game theory, social choice * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Philosophical foundations of KR * Preferences: modeling and representation, preference-based reasoning * Reasoning about action and change: action languages, situation calculus, causality * Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics * Reasoning systems and solvers, knowledge compilation * Spatial reasoning and temporal reasoning, qualitative reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics REGISTRATION INFORMATION ---------------------- Registration website: http://regonline.com/KRDLNMR_2016 For more information on how to register, the registration rates and deadlines, please visit the KR 2016 website: http://kr2016.cs.uct.ac.za Students and recent graduates who wish to apply for a grant, should do so online when registering. The first round of grants were allocated to DC participants. The second round of grants will be allocated based on applications received by 1 March 2016. The final round will be allocated based on applications received by 1 April 2016. PRIZES ------ The best paper of the conference will receive the 2016 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2016 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2016 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP. CONFERENCE CHAIRS ----------------- * General: Chitta Baral (Arizona State University, USA) * Program: James Delgrande (Simon Fraser University, Canada), Frank Wolter (University of Liverpool, UK) * Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa) * Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA) * Sponsorship and Publicity: Ivan Varzinczak (CRIL, Université d'Artois, France) -- Ivan Varzinczak CRIL, Université d’Artois, France http://member.acm.org/~ijv From adrianrp at unimelb.edu.au Mon Apr 4 02:28:03 2016 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Mon, 4 Apr 2016 00:28:03 +0000 Subject: AAMAS 2016 Singapore 9-13 May, 2016 (Call for Participation) Message-ID: AAMAS 2016 Singapore - Call for Participation 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016) Grand Copthorne Waterfront Hotel, Singapore 9-13th of May, 2016 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. AAMAS 2016 also includes workshops, tutorials, demonstrations, invited talks and panel discussions. For more information, see the following http://sis.smu.edu.sg/aamas2016 Registration The Registration link for AAMAS 2016 and more information about registration is provided here: https://sis.smu.edu.sg/aamas2016?itemid=986 Accommodation We have limited rooms available at discounted prices at the conference venue. So, please book early to get the discounted prices. You can book here: http://sis.smu.edu.sg/aamas2016?itemid=706 Conference Chairs General Chairs: Catholijn Jonker (Delft University of Technology, Netherlands) Stacy Marsella (Northeastern University, USA) Program Chairs: Karl Tuyls (University of Liverpool, UK) John Thangarajah (RMIT University, Australia) For further details about AAMAS 2016, please visit the website at http://sis.smu.edu.sg/aamas2016 or contacpcchair-aamas2016 at gmail.com From sgerwinn at tc.informatik.uni-oldenburg.de Tue Apr 5 08:46:10 2016 From: sgerwinn at tc.informatik.uni-oldenburg.de (Sebastian Gerwinn) Date: Tue, 5 Apr 2016 08:46:10 +0200 Subject: FORMATS 2016 - Last Call for Papers Message-ID: <20160405084610.3f049a2b@darkstar> [ Apologies for cross posting ] --------------------------------------------------------------------- FORMATS 2016 14th International Conference on Formal Modeling and Analysis of Timed Systems Last Call for Paper http://formats2016.lsv.fr FORMATS'16 takes place at Hotel Chateau Laurier in Québec City, Canada, where it is colocated with CONCUR'16 and QEST'16. --------------------------------------------------------------------- Important Dates --------------- Abstract Submission (required before paper submission): April 15, 2016 Paper Submission: April 22, 2016 Notification: June 4, 2016 Final paper due: June 11, 2016 Conference: August 24-26, 2016 Objectives ---------- Control and analysis of the timing of computations is crucial to many domains of system engineering, be it, e.g., for ensuring timely response to stimuli originating in an uncooperative environment or for synchronizing components in VLSI. Reflecting this broad scope, timing aspects of systems from a variety of domains have been treated independently by different communities in computer science and control. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment, as well as of the dynamics of the controlled process during this span. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behaviour depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. Often, these constraints cannot be separated, as intrinsic dynamics of processes couples them, necessitating models, methods, and tools facilitating their combined analysis. Reflecting this fact, FORMATS'16 will feature a special session on hybrid discrete-continuous systems. Topics ------ The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. Typical topics include (but are not limited to): * Foundations and Semantics: Theoretical foundations of timed systems and languages; new models and logics or analysis and comparison of existing models (like automata, Petri nets, or process algebras involving quantitative time; hybrid automata; probabilistic automata and logics). * Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing or synthesizing timed or hybrid systems and for resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.) * Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, embedded control, hardware circuits, and problems of scheduling in manufacturing and telecommunication). Paper Submission ---------------- FORMATS'16 solicits high-quality papers reporting research results and/or experience reports related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Submissions should not exceed 15 pages in length, but may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers are to be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2016 The proceedings of FORMATS'16 will be published by Springer in the Lecture Notes in Computer Science series. A special issue dedicated to FORMATS will be hosted in a topical journal, collecting the extensions of papers selected by quality and subject to additional revision. General Chair ------------- Josée Desharnais, (U. Laval, Canada) Program Comittee ---------------- S. Akshay, (IIT Bombay, India) Béatrice Bérard, (U. Paris 6, France) Hanifa Boucheneb, (U. Montréal, Canada) Laura Carnevali, (U. Firenze, Italy) Franck Cassez, (U. Macquarie, Australia) Martin Fränzle, (U. Oldenburg, Germany), (chair) Gilles Geeraerts, (ULB, Belgium) Michael R. Hansen, (DTU, Denmark) Boudewijn Haverkort, (U. Twente, NL) Franjo Ivancic, (Google, USA) Oded Maler, (VERIMAG, CNRS-UGA, France) Nicolas Markey, (U. Paris-Saclay, France), (chair) Chris Myers, (U. Utah, USA) Jens Oehlerking, (Bosch GmbH, Germany) David Parker, (U. Birmingham, UK) Karin Quaas, (U. Leipzig, Germany) Stefan Ratschan, (CAS, Czech Republic) César Sanchez, (IMDEA Software Institute, Spain) Sriram Sankaranarayanan, (U. Colorado, USA) Jeremy Sproston, (U. Torino, Italy) Jiri Srba, (U. Aalborg, Denmark) Lothar Thiele, (ETH Zurich, Switzerland) Enrico Vicario, (U. Firenze, Italy) Mahesh Viswanathan, (U. Illinois, USA) James Worrell, (U. Oxford, UK) Sergio Yovine, (U. Buenos Aires, Argentina) Huibiao Zhu, (ECNU, China) Steering Committee ------------------ Rajeev Alur, (U. Pennsylvania, USA) Eugene Asarin, (U. Paris Diderot, France) Thomas A. Henzinger, (IST Austria) Joost-Pieter Katoen, (RWTH Aachen, Germany) Kim G. Larsen, (U. Aalborg, Denmark) Oded Maler, (VERIMAG, CNRS-UGA, France) Lothar Thiele, (ETH Zurich, Switzerland) Wang Yi, (U. Uppsala, Sweden) Publicity Chair --------------- Sebastian Gerwinn, (OFFIS, Germany) Invited speakers ---------------- Scott Smolka, (U. Stony Brook, USA) Oleg Sokolsky, (U. Pennsylvania, USA) Ufuk Topcu, (U. Texas, USA) From shankar at csl.sri.com Tue Apr 5 14:58:19 2016 From: shankar at csl.sri.com (Natarajan Shankar) Date: Tue, 05 Apr 2016 13:58:19 +0100 Subject: Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo College, Atherton In-Reply-To: <5354B653.4000806@csl.sri.com> References: <5354B653.4000806@csl.sri.com> Message-ID: <5703B66B.1050903@csl.sri.com> Sixth Summer School on Formal Techniques, May 22 - May 27, 2016, Menlo College Atherton, California http://fm.csl.sri.com/SSFT16 Lecturers: Carolyn Talcott (SRI): Pathway Logic: Using Formal Techniques to Understand How Cells Work Jean-Christophe Filliatre (LRI Paris): An Introduction to Deductive Program Verification Alessandro Cimatti (FBK Trento): Advanced model checking for verification and safety assessment Clark Barrett (NYU/Stanford): Satisfiability Modulo Theories Sam Owre (SRI) and Natarajan Shankar (SRI): Specification, Verification, and Interactive Proof Invited Speakers: Sol Feferman (Stanford): A logical framework for mathematical practice Maria Paola Bonacina (Universita degli Studi di Verona): Ordering-based strategies for theorem proving Cindy Rubio Gonzalez (University of California, Davis): Floating-Point Precision Tuning Using Blame Analysis Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the sixth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions. The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic". ================================================================== Information about previous Summer Schools on Formal Techniques can be found at http://fm.csl.sri.com/SSFT11 http://fm.csl.sri.com/SSFT12 http://fm.csl.sri.com/SSFT13 http://fm.csl.sri.com/SSFT14 http://fm.csl.sri.com/SSFT15 We expect to provide support for the travel and accommodation for a limited number of students registered at US universities, but welcome applications from non-US students as well as non-students (if space permits). Non-US students will have to cover their own travel and will be charged around US$600 for meals and lodging. Applications should be submitted at the website http://fm.csl.sri.com/SSFT16 Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. We strongly encourage the participation of women and under-represented minorities in the summer school. From geoff at cs.miami.edu Wed Apr 6 16:05:55 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 6 Apr 2016 10:05:55 -0400 (EDT) Subject: GCAI 2016 - CFP Message-ID: <20160406140555.AC007121493@mcclellan.cs.miami.edu> The 2nd Global Conference on Artificial Intelligence Berlin Germany, 29th September - 2nd October 2016 http://easychair.org/smart-program/GCAI2016/ CALL FOR PAPERS The 2nd Global Conference on Artificial Intelligence (GCAI 2016) will be held at the Freie Universitaet Berlin from 29th September to 2nd October, 2016. The conference, which addresses all aspects of artificial intelligence, is being organized by LRG (http://www.lrg.global) and the Freie Universitaet Berlin. The program chairs are Christoph Benzmueller, Raul Rojas, and Geoff Sutcliffe. SUBMISSION Submissions in all areas of Artificial Intelligence are welcome, including, but not limited to ... Foundations + Knowledge representation + Cognitive modeling + Perception + Search + Reasoning and programming + Machine learning + Constraints and uncertainty Architectures + Agents and distributed AI + Intelligent user interfaces + Natural language systems and linguistics + Information retrieval + Case-based reasoning + Affective computing + Robotics Applications + Aviation and aerospace + Education and tutoring systems + Games and entertainment + Medicine and healthcare + Management and manufacturing + World Wide Web + Security Implications + Philosophical foundations + Social impact and ethics + Evaluation of AI systems + AI education DATES + Abstract registration: 13th June, 2016 + Submission: 20th June, 2016 + Notification: 25th July, 2016 + Final version: 8th August, 2016 + Early registration deadline: 15th August, 2016 + Conference: 29th September - 2nd October, 2016 SUBMISSION and PUBLICATION Submission is via EasyChair at https://easychair.org/conferences/?conf=gcai2016 The proceedings will be published by EasyChair Publications in the EPiC Series in Computing. The volume will be open access and authors will retain copyright. PROGRAM COMMITTEE Natasha Alechina (University of Nottingham) Jose Julio Alferes (Universidade NOVA de Lisboa) Serge Autexier (DFKI) Roman Bartak (Charles University in Prague) Peter Baumgartner (National ICT Australia) Christoph Benzmüller (Freie Universität Berlin) - chair Philippe Besnard (CNRS / IRIT) Richard Booth (Cardiff University) Oscar Corcho (Universidad Politécnica de Madrid) Gabriella Cortellessa (CNR - National Research Council of Italy) Mehdi Dastani (Utrecht University) James Delgrande (Simon Fraser University) Germain Forestier (Université de Haute Alsace) Daniel Garijo (UPM) Marco Gavanelli (University of Ferrara) Gianluigi Greco (University of Calabria) Andreas Herzig (IRIT-CNRS) Tommi Junttila (Aalto University School of Science) Panagiotis Kanellopoulos (University of Patras and CTI "Diophantus") Gabriele Kern-Isberner (Technische Universitaet Dortmund) Roman Kontchakov (Birkbeck, University of London) Sanjiang Li (University of Technology Sydney) Alberto Lluch Lafuente (Technical University of Denmark) Ana Gabriela Maguitman (Universidad Nacional del Sur) Robert Mattmüller (University of Freiburg) Julian Mcauley (UC San Diego) George Metcalfe (University of Bern) Angelo Montanari (University of Udine) Manuel Ojeda-Aciego (University of Malaga) Magdalena Ortiz (Vienna University of Technology) Luís Moniz Pereira (Universidade Nova de Lisboa) Radu-Emil Precup (Politehnica University of Timisoara) Fabrizio Riguzzi (University of Ferrara) Jussi Rintanen (Aalto University) Raul Rojas (Freie Universität Berlin) - chair Dumitru Roman (SINTEF) Steven Schockaert (Cardiff University) Gia Sirbiladze (Tbilisi State university) Thomas Stützle (Université Libre de Bruxelles) Geoff Sutcliffe (University of Miami) - chair Pascal Van Hentenryck (University of Michigan) Martin Wehrle (University of Basel) Stefan Woltran (TU Wien) Inon Zuckerman (Ariel University) (to be completed) From Horatiu.Cirstea at loria.fr Thu Apr 7 13:59:38 2016 From: Horatiu.Cirstea at loria.fr (Horatiu Cirstea) Date: Thu, 7 Apr 2016 13:59:38 +0200 Subject: second CfP WPTE 2016 (affiliated with FSCD 2016) Message-ID: <0F109EA5-DABD-4671-BC9A-738F0A880DFE@loria.fr> [We apologize if you have received multiple copies of this message] [Please disseminate] ======================================================================================== Second Call for Papers Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2016 affiliated with FSCD 2016 23 June, 2016, Porto, Portugal http://project.inria.fr/wpte2016/ ======================================================================================== Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE were held in Vienna 2014, and Warsaw in 2015. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speaker =============== Beniamino Accattoli Proceedings =========== The WPTE post-proceedings will be published in in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). Extended abstracts of work in progress are not included in the EPTCS proceedings but they will be included in the USB memory which is distributed to the FSCD participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. Accepted papers will be included in the formal proceedings after revision. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 10 pages is required to be submitted. These contributions will not be included in the formal proceedings for full-papers but they will be distributed to the workshop participants. One author of each accepted paper or abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Important Dates =============== * Submission deadline: April 22nd, 2016 * Notification of acceptance: May 13th, 2016 * Deadline for camera-ready proceedings: May 27th, 2016 * Workshop: June 23rd, 2016 Weblinks ======== * EasyChair Submission Website https://easychair.org/conferences/?conf=wpte2016 * Homepage of WPTE 2016 http://project.inria.fr/wpte2016 * FSCD 2016 http://fscd2016.dcc.fc.up.pt/ Program Committee ================= Takahito Aoto (Niigata University) Yuki Chiba (JAIST) Horatiu Cirstea (LORIA, Université de Lorraine, France) - chair Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politècnica de València) - chair Maribel Fernández (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet (Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Georg Moser (University of Innsbruck) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) Kristoffer H Rose (Two Sigma Investments, LLC) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) Janis Voigtländer (University of Bonn) Johannes Waldmann (HTWK Leipzig) From stefano.borgo at cnr.it Thu Apr 7 19:39:59 2016 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Thu, 7 Apr 2016 19:39:59 +0200 Subject: CfP: Joint Ontology Workshops (JOWO-16) In-Reply-To: <4bc4bbed-b7ff-4c8a-b9e6-622627876e43@aixia.it> References: <4bc4bbed-b7ff-4c8a-b9e6-622627876e43@aixia.it> Message-ID: <57069B6F.2080006@cnr.it> --- Second Call for Papers --- Joint Ontology Workshops (JOWO-16) -- Episode 2: The French Summer -- 5 workshops on Ontology in Information Systems http://www.iaoa.org/jowo/2016/ Co-located with FOIS 2016, July 6-9, 2016, Annecy, France http://iaoa.org/fois This second edition of the Joint Ontology Workshops (JOWO-16) combines five exciting ontology-centered workshops at FOIS-16. WORKSHOPS: - Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2016) - Computer vision + ONTology: Applied Cross-disciplinary Technologies (CONTACT 2016) - Cognition and Ontologies (CAOS 2016) - New Standards for the Working Ontologist: Common Logic and DOL (NSWO 2016) - Ontologies and Conceptual Modeling (Onto.Com 2016) JOWO-16 is supported by the International Association for Ontology and its Applications - IAOA. It features a series of (shared) invited talks, paper presentations, and discussions spread across five full-day workshops and tutorials. ---------------------------------- IMPORTANT DATES (All Workshops) Submission (abstracts): April 19, 2016 Submission (full papers): April 25, 2016 Notification: May 12, 2016 Camera ready: May 31, 2016 Workshops: July 6 ---------------------------------- ================================== WOMoCoE 2016 http://www.iaoa.org/womocoe/2016/ International Workshop on Ontology Modularity, Contextuality, and Evolution ================================== Organisers: Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola This workshop brings together two long standing event series: WoMO, the workshops on modular ontology, and ARCOE, the workshops on automated reasoning on context and ontology evolution. The goal is to discuss these topics in a single venue and try to compare/integrate the new ideas on ontology modularity, context and evolution. The workshop is open to theoretical and application research, experiences and innovative visions featuring a Program Committee with a mix of experienced and young groundbreaking people. WOMOCoE will feature an invited talk by Jerome Euzenat. ================================== CONTACT 2016 http://www.loa.istc.cnr.it/CONTACT2016 Second International Workshop on Computer vision + ONTology: Applied Cross-disciplinary Technologies ================================== Organisers: Marco Cristani, Céline Hudelot, Daniele Porello The aim of the CONTACT series is to bring together a wide range of researchers in formal ontology on the one side and computer vision and machine learning on the other, to share innovative ideas and solutions for exploiting the potential synergies emerging from the integration of the two domains. The problem of image and video understanding is a complex task that benefits from a multi-disciplinary perspective. CONTACT provides a venue to discuss a principled methodology to ascribe meaning to images and videos, as well as the applications of this methodology to querying image databases, reasoning about images and scenes, inferring information from videos. ================================== CAOS 2016 http://caos.inf.unibz.it/ First International Workshop on Cognition and Ontologies ================================== Organisers: Maria M. Hedblom, Tarek R. Besold, Oliver Kutz, Tony Veale CAOS is for researchers interested in discussing cognitive mechanisms and phenomena from an ontological perspective. Work on artificial intelligence, cognitive systems, applied ontology, natural language processing, reasoning, formal concept invention, and philosophical aspects of the former are the main focus of the workshop. (Still, all other topics relating cognition and ontology are of course equally welcome.) We especially encourage submissions on different theories of cognition, work addressing the symbol grounding problem(s), and attempts to make concrete the abstract nature of concepts and metaphors. CAOS will feature an invited talk by Jean M. Mandler. Join us! ================================== NSWO 2016 http://nswo.inf.unibz.it New Standards for the Working Ontologist: Common Logic and DOL ================================== Organisers: Michael Gruninger, Oliver Kutz, Till Mossakowski, Fabian Neuhaus NSWO 2016 will be entirely devoted to two new standards in the realm of applied ontology: the second revision of Common Logic and the new Distributed Ontology, Model, and Specification Language, DOL. NSWO will provide tutorials introducing syntax and semantics of both Common Logic and DOL. We will be discussing a number of modelling and interoperability problems that can be addressed with these standards, analyse the mostly complementary relationship between Common Logic and DOL, and demonstrate available tools. NSWO also invites contributed scientific papers involving Common Logic and/or DOL. ================================== Onto.Com 2016 http://www.mis.ugent.be/ontocom2016/ Ontologies and Conceptual Modeling ================================== Organisers: Giancarlo Guizzardi, Sergio de Cesare, Frederik Gailly, Mark Lycett, Chris Partridge, Oscar Pastor This year the theme of Onto.Com will be Foundational Ontologies and their Meta-ontological Choices. Leading ontologists and conceptual modelers will be invited to discuss and comparatively analyze different foundational ontologies, their meta-ontological choices and their associated modeling processes. The workshop will be practically oriented and discussions will be centered on models produced for a common case study. This will facilitate discussions related to the consequences of making different meta-ontological choices. ---------------------------------- SUBMISSION GUIDELINES Please refer to the individual workshops for detailed lists of topics appropriate for each workshop and submission modalities. All submissions will be peer-reviewed by members of the program committees of the individual workshops. Accepted papers will be made available in the form of a single joint workshop proceedings volume published at CEUR. For additional publication plans check the individual workshops. ---------------------------------- JOWO General Chairs Oliver Kutz (Free University of Bozen-Bolzano, Italy) Sergio de Cesare (Brunel University, UK) Contact: jowo.steering at gmail.com From epontell at cs.nmsu.edu Fri Apr 8 15:30:04 2016 From: epontell at cs.nmsu.edu (epontell) Date: Fri, 08 Apr 2016 07:30:04 -0600 Subject: IJCAI 2016 Workshop on Knowledge-based techniques for problem solving and reasoning (KnowProS 2016) Message-ID: SECOND CALL FOR PAPERS (please accept our apologize, if you received it from more sources) -------------------------------------------------------------------------------- IJCAI 2016 Workshop on Knowledge-based techniques for problem solving and reasoning (KnowProS 2016) July 9-11, 2016, New York, U.S.A. http://ktiml.mff.cuni.cz/~bartak/KnowProS2016/ -------------------------------------------------------------------------------- Despite recent attempts in various subareas of AI to integrate technologies to solve complex problems such as autonomous cars, there are still gaps between research communities that prevent efficient transfer of knowledge. For example, knowledge representation techniques focus on formal semantics and flexibility of modeling frameworks and put less emphasis on actual problem solving that requires efficient tools. Other communities such as planning and search put emphasis on efficiency of problem solving, but less attention is given to how the real problem is modeled, the connection between modeling and efficiency of problem solving, and the capability of the models to support other important features like plan revision and adaptation. This workshop attempts to bridge these particular communities with the goal to exchange information leading to more efficient problem solving starting with the the problem requirements and finishing with the solved problem. ********************* *** Workshop topics: Formal problem modeling is a critical step during problem solving. A good modeling framework should be flexible enough to describe important properties of problems solved and should allow application of efficient problem solving techniques. This workshop attracts papers at the frontier between formal problem modeling and problem solving. Papers should see the formal models from the perspective of problem solving and vice versa — problem solving techniques are seen in relation to models of the problem. For example, the paper can discuss the relation between planning domain models and planning algorithms or show how to enhance the domain model by extra information such as control knowledge. Papers discussing methods on how to obtain information that is useful for efficient problem solving are welcome. We are in particular interested in papers addressing some of the following questions. How do the formal models relate to efficiency of problem solving? How do various modeling frameworks compare from the perspective of problem solving? How can the model be acquired? How can the model be verified and validated? How can the formal model be reformulated to get an efficiently-solvable model? How can the solution be checked with respect to the model? How does the model evolve in time? How can the model support solution revisions at execution time? Application papers are also welcome, if they highlight the relation between the formal model of the problem and the solving approach. Description of specific models for specific problems is also possible, if the particular modeling techniques are studied from the perspective of problem solving. Possible topics of papers: - Modeling approaches (problem modeling, knowledge engineering) - Formalisms to describe (real-life) problems - Languages for problem description - Abstraction - Ontologies - Relations between modeling and solving - Automated transformations between formal models - Problem re-formulation - Formats for specification of heuristics, parameters and control knowledge for solvers - Validation of models and solutions - Visualization of models - Automated model acquisition - Tools and applications - Examples of particular modeling techniques ********************* *** Submission Procedure: Submitted papers must be formatted according to IJCAI guidelines (http://ijcai-16.org/downloads/FormattingGuidelinesIJCAI-16.zip) and submitted electronically through the KnowProS 2016 paper submission site at EasyChair (https://easychair.org/conferences/?conf=knowpros2016). Authors are required to submit their electronic papers in PDF format. Submitted technical papers should be no longer than six pages in total (if the length of your paper is longer, please contact the organizers prior submission). Include your names and affiliations (but no page numbers) in the submission. At least one author of each accepted paper is required to attend the workshop to present the work. ********************* *** Important Dates: Submission: April 18, 2016 Notification: May 23, 2016 Camera-ready: June 6, 2016 Workshop: July 9-11, 2016 (one day) ********************* *** Organizers: Roman Barták, Charles University in Prague, Czech Republic Lee McCluskey, University of Huddersfield, UK Enrico Pontelli, New Mexico State University, USA ********************* *** Program Committee: Marcello Balduccini, Drexel University Chitta Baral, Arizona State University Roman Barták, Charles University in Prague Mark Boddy, Adventium Labs Luis Castillo, University of Granada Amedeo Cesta, CNR - National Research Council of Italy Lukáš Chrpa, University of Huddersfield Marc Denecker, K.U.Leuven Patrick Doherty, Linkoping University Agostino Dovier, Universita degli Studi di Udine Stefan Edelkamp, Universität Bremen Esra Erdem, Sabanci University Jeremy Frank, NASA Ames Simone Fratini, European Space Agency - ESA/ESOC Michael Gelfond, Texas Tech University Patrik Haslum, Australian National University Tomi Janhunen, Aalto University Christopher Kiekintveld, University of Texas at El Paso Sven Koenig, University of Southern California Ugur Kuter, Smart Information Flow Technologies Yuliya Lierler, University of Nebraska at Omaha Daniele Magazzeni, King's College London Lee McCluskey, University of Huddersfield Sheila McIlraith, University of Toronto Enrico Pontelli, New Mexico State University Scott Sanner, NICTA Tran Son, New Mexico State University Torsten Schaub, University of Potsdam Tiago Stegun Vaquero, Caltech & MIT Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center Hankz Hankui Zhuo, Sun Yat-sen University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Apr 9 20:35:25 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 09 Apr 2016 20:35:25 +0200 Subject: AlCoB 2016: call for posters Message-ID: <545102060a010b070957570006090504570007545709060203030d0253575350045405565501000b085203045205@grlmc_ip-zone_com-6> AlCoB 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   --------------------------------------------   The 3th International Conference on Algorithms for Computational Biology (AlCoB 2016) invites researchers to submit poster presentations. AlCoB 2016 will be held in Trujillo (Spain) on June 21-22, 2016. See   http://grammars.grlmc.com/AlCoB2016/   Poster presentations are intended to enhance informal interactions with the conference participants, at the same time allowing for in-depth discussion.   TOPICS   Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics:   - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species.   Posters do not need to show final research results. Work that might lead to new interesting developments is welcome.   KEY DATES   Submission deadline: May 14, 2016 Notification of poster acceptance or rejection: May 21, 2016   SUBMISSION   Please submit a .pdf abstract through:   https://www.easychair.org/conferences/?conf=alcob2016   It should contain the title, author(s) and affiliation, and should not exceed 500 words.   PRESENTATION   Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion.   PUBLICATION   Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2016. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB, 2014 JCR impact factor: 1.438, quartile Q1).   REGISTRATION   At least one author of each accepted poster must register to the conference. The registration fare is reduced: 240 Euro. However, it gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches...). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From prima2016publicity at gmail.com Sat Apr 9 21:15:15 2016 From: prima2016publicity at gmail.com (Nadin Kokciyan) Date: Sat, 9 Apr 2016 22:15:15 +0300 Subject: Final CFP (deadline extension April 30): Principles and Practice of Multi-Agent Systems (PRIMA) 2016 Message-ID: ----------------------------------------------------------------- *Principles and Practice of Multi-Agent Systems (PRIMA 2016)* August 22-26, 2016, Phuket, Thailand URL: http://prima2016.di.unito.it Co-located with PRICAI 2016 (Pacific Rim International Conference on Artificial Intelligence) ----------------------------------------------------------------- *Key Dates* ! ! ! N E W ! ! ! TWO WEEKS EXTENSION ! ! ! ----------------------------------------------------------------- Paper submission deadline: 30 April 2016 !! NEW !! Notification of acceptance: 15 June 2016 Camera-ready version: 30 June 2016 ----------------------------------------------------------------- Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are be- coming more decentralized, with components that represent autono- mous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e-business and smarts grids. A multiagent worldview is crucial to properly conceptual- izing, building, and governing such systems. It offers abstrac- tions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still grow- ing research field of Computer Science, multiagent systems today remains a unique enabler of interdisciplinary research. ----------------------------------------------------------------- *Submission - main track and special track* ----------------------------------------------------------------- The PRIMA 2016 Program Committee invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of pro- totype and deployed agent systems, and of experiments that demon- strate novel agent system capabilities. An indicative list of topics is provided below. For 2016, there will be Social Science special track that will be handled by Michael Mäs (University of Groningen). Accepted papers of this track will be offered a fast- track in JASSS. Papers should be at most 16 pages in length in the Springer LNCS format. All accepted papers will be published in Springer’s LNAI series. A select number of papers will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi-Agent Systems and ACM TAAS. There will be also be two special issues: one with Fundamenta Informaticae and an- other with International Journal of Agent-Oriented Software Engi- neering. ----------------------------------------------------------------- *Invited speakers* ----------------------------------------------------------------- We are proud to have as invited speakers: - Prof. Toru Ishida (Kyoto University); - Prof. Jörg P. Müller (TU Clausthal); - Prof. Phan Minh Dung (Asian Institute of Technology), joint speech for both PRIMA and PRICAI. ----------------------------------------------------------------- *Topics of interest (not limited to the following)* ----------------------------------------------------------------- * Logic and Reasoning - Logics of agency - Logics of multiagent systems - Norms - Argumentation - Computational Game Theory - Uncertainty in Agent Systems - Agent and Multi-Agent Learning * Engineering Multi-Agent Systems - Agent-Oriented Software Engineering - Interaction protocols - Commitments - Institutions and Organizations - Normative Systems - Formal Specification and Verification - Agent Programming Languages - Middleware and Platforms - Testing, debugging, and evolution - Deployed System Case Studies * Agent-Based Modeling and Simulation - Simulation Languages and Platforms - Artificial Societies - Virtual Environments - Emergent Behavior - Modeling System Dynamics - Application Case Studies * Collaboration & Coordination - Planning - Distributed Problem Solving - Distributed Constraint Satisfaction - Teamwork - Coalition Formation - Negotiation - Auctions and Mechanism Design - Trust and Reputation - Computational Voting Theory * Human-Agent Interaction - Adaptive Personal Assistants - Embodied Conversational Agents - Virtual Characters - Multimodal User Interfaces - Mobile Agents - Human-Robot Interaction * Decentralized Paradigms - Grid Computing - Service-Oriented Computing - Cybersecurity - Robotics and Multirobot Systems - Ubiquitous Computing - Social Computing - Internet of Things * Application Domains for Multi-Agent Systems - Healthcare - Autonomous Systems - Transport and Logistics - Emergency and Disaster Management - Energy and Utilities Management - Sustainability and Resource Management - Games and Entertainment - e-Business, e-Government, and e-Learning - Smart Cities - Financial markets - Legal applications ----------------------------------------------------------------- *General Chairs* ----------------------------------------------------------------- Katsutoshi Hirayama (Kobe University) Paolo Torroni (University of Bologna) ----------------------------------------------------------------- *Program Chairs* ----------------------------------------------------------------- Matteo Baldoni (University of Torino) Amit K. Chopra (Lancaster University) Tran Cao Son (New Mexico State University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at dsi.uminho.pt Mon Apr 11 16:57:31 2016 From: cfp at dsi.uminho.pt (Filipe Portela) Date: Mon, 11 Apr 2016 15:57:31 +0100 Subject: =?UTF-8?Q?ISA=e2=80=99HEALTH_2016_-_Workshop_on_Intelligent_System_?= =?UTF-8?Q?and_Applications_in_Healthcare_-_Call_for_Papers?= In-Reply-To: <570B7115.3020902@dsi.uminho.pt> References: <570B7115.3020902@dsi.uminho.pt> Message-ID: <570BBB5B.1060507@dsi.uminho.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at dsi.uminho.pt Mon Apr 11 16:58:16 2016 From: cfp at dsi.uminho.pt (Filipe Portela) Date: Mon, 11 Apr 2016 15:58:16 +0100 Subject: HSP@HCIST'2016 - Health and Secure People Workshop - extended deadline (April, 18) In-Reply-To: <570B7088.8010106@dsi.uminho.pt> References: <570B7088.8010106@dsi.uminho.pt> Message-ID: <570BBB88.9000300@dsi.uminho.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cfp at dsi.uminho.pt Mon Apr 11 16:58:37 2016 From: cfp at dsi.uminho.pt (Filipe Portela) Date: Mon, 11 Apr 2016 15:58:37 +0100 Subject: ACAI@CENTERIS'2016 - Applied Computational and Artificial Intelligence Workshop - extended deadline (April, 18) In-Reply-To: <570B704E.2080309@dsi.uminho.pt> References: <570B704E.2080309@dsi.uminho.pt> Message-ID: <570BBB9D.40105@dsi.uminho.pt> Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From schon at uni-koblenz.de Tue Apr 12 14:09:39 2016 From: schon at uni-koblenz.de (Claudia Schon) Date: Tue, 12 Apr 2016 14:09:39 +0200 Subject: Workshop on Bridging the Gap between Human and Automated Reasoning, New York, 09-July-2016 - 2nd Call for Papers Message-ID: 2ND CALL FOR PAPERS [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] CALL FOR PAPERS +----------------------------------------------------------+ | Second Workshop on: | | Bridging the Gap between Human and Automated Reasoning | +----------------------------------------------------------+ an IJCAI-16 workshop (supported by IFIP TC12) New York, USA, July 9th, 2016 http://ratiolog.uni-koblenz.de/bridging2016 Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. There are a lot of findings which are based on experimental data about reasoning tasks, among others models for the selection task or the suppression task discussed by Byrne and others. This research is supported also by brain researchers, who aim at localizing reasoning processes within the brain. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. And indeed there is tremendous success during the last decades. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human rea- soning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research. This workshop is a follow-up event of the successful Bridg- ing workshop (http://ratiolog.uni-koblenz.de/bridging.html) which was located at CADE-25. Like its preceding event, it is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. Topics of interest include, but are not limited to the following: o limits and differences between automated and human reason- ing o psychology of deduction o common sense reasoning o logics modeling human cognition o modeling human reasoning using automated reasoning systems o non-monotonic, defeasible, and classical reasoning and possible explanations for human reasoning o application fields of automated reasoning in the interac- tion with human reasoners The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12. IMPORTANT DATES Full Paper submission deadline: April 18th, 2016 Notification: May 16th, 2016 Final submission: May 23rd, 2016 Workshop: July 9th, 2016 SUBMISSION AND CONTRIBUTION FORMAT Papers, including the description of work in progress are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be sub- mitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. The EasyChair submission site is available at https://easychair.org/conferences/?conf=bridging2016 PROCEEDINGS Proceedings of the workshop will be published as CEUR workshop proceedings. Depending on the number and qual- ity of the submission we are planning post proceedings in the Springer AICT Series http://www.springer.com/series/6102. ORGANIZERS Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Marco Ragni, University of Freiburg Natarajan Shankar, SRI International PROGRAM COMMITTEE Ruth Byrne, University of Dublin Ulrich Furbach, University of Koblenz Steffen Hölldobler, University of Dresden Gabriele Kern-Isberner, TU Dortmund University Kai-Uwe Kühnberger, University of Osnabrück Laura Martignon, MPI Berlin Ursula Martin, University of Oxford Luis Moniz Pereira, Universidade Nova de Lisboa Marco Ragni, University of Freiburg Claudia Schon, University of Koblenz Natarajan Shankar, SRI International Keith Stenning, Edinburgh University Frieder Stolzenburg, Harz University of Applied Sciences Contact: Claudia Schon, schon at uni-koblenz.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Wed Apr 13 21:11:09 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 13 Apr 2016 15:11:09 -0400 (EDT) Subject: Verification Mentoring Workshop - Travel Scholarships Message-ID: <20160413191109.F0BBA12147F@mcclellan.cs.miami.edu> Call for Applications for VMW (Verification Mentoring Workshop) 2016 Verification Mentoring Workshop 2016 Call for Applications for Student Travel Scholarships We are organizing the second Verification Mentoring Workshop (VMW) 2016. It is co-located with the International Conference on Computer Aided Verification (CAV), to be held in Toronto, July 17-23, 2016. CAV is a premier conference in the area of verification, dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The goal of VMW is to attract early-stage graduate students to pursue research careers in the area of computer-aided verification and formal methods. Invited talks at the workshop will cover a broad overview of research topics in the area, the range of career options and perspectives (academia, industry, research labs, etc.), and insights into reviewing processes (for papers, grants, and job applications). We will provide travel scholarships to student participants (graduates, and rising senior undergraduates), where the scholarships will cover registration for VMW and CAV, accommodations, plus travel expenses. Participation of women and under-represented minorities is especially encouraged. The VMW workshop website http://i-cav.org/2016/vmw is now accepting applications. Important Dates: + Deadline for submission of applications: Extended to April 20, 2016 + Notification of travel scholarships awarded: May 1, 2016 + VMW Workshop: July 18, 2016 VMW 2016 is partially supported by Microsoft Research and the NSF (National Science Foundation, USA). More details on the VMW workshop and CAV conference can be found at http://i/~cav.org/2016/ Organizers of VMW 2016: + Aarti Gupta, Princeton, USA + Ruzica Piskac, Yale, USA + Andrey Rybalchenko (Chair), Microsoft Research, UK From ph_r at gmx.net Fri Apr 15 00:08:18 2016 From: ph_r at gmx.net (Philipp Ruemmer) Date: Fri, 15 Apr 2016 00:08:18 +0200 Subject: International SAT/SMT/AR Summer School Message-ID: <571014D2.9080305@gmx.net> [ Apologies for multiple copies ] ========================================================================= CALL FOR PARTICIPATION International SAT/SMT/AR Summer School Instituto Superior Técnico (IST/UL), University of Lisbon Lisbon, Portugal, June 22-25, 2016 http://ssa-school-2016.it.uu.se/ ========================================================================= APPLICATION and REGISTRATION: The application deadline for the school is May 1st, 2016. Full details of the application and registration procedure are available at the school website (http://ssa-school-2016.it.uu.se/). ABOUT: Satisfiability (SAT), Satisfiability Modulo Theories (SMT), and Automated Reasoning (AR) continue to make rapid advances and find novel uses in a wide variety of applications, both in computer science and beyond. The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The lectures cover both foundational and practical aspects of SAT, SMT, and AR technologies, and their application. The school is the first SAT/SMT/AR Summer School, but continues the successful line of SAT/SMT Summer Schools, which have taken place annually since 2011. The SAT/SMT/AR Summer School will take place on June 22-25 2016 in Lisbon, Portugal, in the week before the IJCAR conference in Coimbra (27 June – 2 July), which in turn is followed by the SAT conference in Bordeaux (July 5-8). The school takes place at the Instituto Superior Técnico (IST/UL), University of Lisbon. INVITED LECTURERS: * Maria Paola Bonacina (Università degli Studi di Verona, Italy) * Supratik Chakraborty (IIT Bombay, India) * Dejan Jovanović (SRI International, USA) * Matti Järvisalo (University of Helsinki, Finland) * Florian Lonsing (TU Vienna, Austria) * Nuno P. Lopes (Microsoft Research Cambridge, UK) * Jakob Nordström (KTH Royal Institute of Technology, Sweden) * Andrew Reynolds (University of Iowa, USA) * João Marques Silva (University of Lisbon, Portugal) * Laurent Simon (Bordeaux INP, University of Bordeaux, LaBRI-CNRS, France) * Christoph Weidenbach (Max-Planck-Institut für Informatik, Germany) * Thomas Wies (New York University, USA) More details about the programme will be provided shortly on the school webpage (http://ssa-school-2016.it.uu.se/). Organizing committee: Inês Lynce, University of Lisbon Ruzica Piskac, Yale University Philipp Rümmer, Uppsala University From a.artikis at gmail.com Sat Apr 16 13:09:19 2016 From: a.artikis at gmail.com (Alexander Artikis) Date: Sat, 16 Apr 2016 14:09:19 +0300 Subject: 2nd CFP: special issue on Online Forecasting and Proactive Analytics Message-ID: Apologies for cross-posting. ==================== CALL FOR PAPERS SPECIAL ISSUE ON ONLINE FORECASTING AND PROACTIVE ANALYTICS IN THE BIG DATA ERA BIG DATA RESEARCH JOURNAL http://www.journals.elsevier.com/big-data-research/call-for-papers/special-issue-on-online-forecasting-and-proactive-analytics Rapid social, economic and political changes are making organizations shift their thinking from reactive to proactive in order to forecast opportunities and threats that could affect their business. 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. Changing traffic light policies and speed limits to avoid traffic congestions, for example, can reduce carbon emissions, optimize public transportation and increase commuter satisfaction. Similarly, adding credit cards to watch-lists as a result of forecasting fraud can reduce the cost inflicted payment processing companies and merchants, and consequently lower credit card costs. Unlike traditional real-time analytics, that refers to the just-in-time processing of recent data, providing the opportunity to additionally implement forecasting supports proactive decision-making. To forecast problems and opportunities that may actually take place in the near future, high velocity data streams from heterogeneous and distributed sources need to be correlated in real-time with high volume historical data. Moreover, forecasting techniques must be resilient to the lack of veracity of the streaming as well as the historical data. We invite quality submissions focusing on all aspects of forecasting using Big Data. We welcome both theoretical contributions as well as papers describing interesting applications. Broad topics include: -Complex event forecasting -Optimisation techniques for forecasting using Big Data -Forecasting under uncertainty -Machine learning for model construction -Scalability and high throughput issues in forecasting -Distributed forecasting systems for handling Big Data -Provenance in forecasting -Benchmarks, performance evaluation, and testbeds -Verification of forecasting models -Visual analytics for forecasting and proactive decision-making -Adaptive forecasting systems -Big Data applications of forecasting systems, such as analytics for the Internet-of-Things (IoT), online web analytics, smart grid analytics, credit card fraud management, traffic forecasting, and fleet management. KEY DATES Submission: 15 June 2016 Notification: 15 September 2016 Revisions: 15 October 2016 Final decision: 1 November 2016 GUEST EDITORS Alexander Artikis, University of Piraeus & NCSR Demokritos, Greece Themis Palpanas, Paris Descartes University, France Peter Pietzuch, Imperial College London, UK Matthias Weidlich, Humboldt-Universitat zu Berlin, Germany SUBMISSION http://www.journals.elsevier.com/big-data-research/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijv at acm.org Sat Apr 16 15:27:17 2016 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sat, 16 Apr 2016 15:27:17 +0200 Subject: Defeasible and Ampliative Reasoning at ECAI-16 Message-ID: <2BA778D6-0A1D-42A5-8158-82F0575B0FD1@acm.org> * Please accept our apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at ECAI 2016 Date: TBC (either 29 or 30 August 2016) The Hague, Netherlands *** Deadline: 12 June 2016 *** ============================== The Third International Workshop on "Defeasible and Ampliative Reasoning" (DARe) http://dare2016.yolasite.com held at the European Conference on Artificial Intelligence (ECAI 2016) -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypothesis in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the ECAI 2016 LaTeX style (which can be found at http://www.ecai2016.org/calls/call-for-papers/) and should be no longer than 8 pages excluding references and in PDF format. The list of references is limited to one extra page. Please submit to: https://easychair.org/conferences/?conf=dare16 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. Please check the ECAI 2016 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 12 June 2016 - Notification: 28 June 2016 - Camera ready: 17 July 2016 - Early registration: 5 July 2016 - Late registration: [TBA] - Workshop date: [TBA] (either 29 or 30 August 2016) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth (Cardiff University, United Kingdom) - Giovanni Casini (Université du Luxembourg) - Szymon Klarman (Brunel University London, United Kingdom) - Gilles Richard (Université Paul Sabatier, France) - Ivan Varzinczak (CRIL, Université d'Artois, France) -- Program Committee -- - Natasha Alechina (University of Nottingham, UK) - Grigoris Antoniou (University of Huddersfield, UK) - Ofer Arieli (Academic College of Tel-Aviv, Israel) - Guillaume Aucher (University of Rennes 1 - INRIA, France) - Christoph Beierle (FernUniversitaet Hagen, Germany) - Mario Benevides (Federal University of Rio de Janeiro, Brazil) - Antonis Bikakis (University College London, UK) - Alexander Bochman (Holon Institute of Technology, Israel) - Katarina Britz (CAIR, CSIR and Stellenbosch University, South Africa) - Jim Delgrande (Simon Fraser University, Canada) - Marcelo Finger (Universidade de São Paulo, Brazil) - Nina Gierasimczuk (University of Amsterdam, Netherlands) - Patrick Girard (University of Auckland, New Zealand) - Sven Ove Hansson (Royal Institute of Technology, Sweden) - Andreas Herzig (IRIT CNRS, France) - Aaron Hunter (British Columbia Institute of Technology, Canada) - Souhila Kaci (Université Montpellier 2, France) - Antonis Kakas (University of Cyprus) - Gabriele Kern-Isberner (TU Dortmund, Germany) - Simon Kramer (SK-R&D, Switzerland) - Michael Maher (University of New South Wales, Australia) - João Marcos (Universidade Federal do Rio Grande do Norte, Brazil) - Thomas Meyer (University of Cape Town, South Africa) - François Schwarzentruber (ENS Rennes/IRISA, France) - Sonja Smets (University of Amsterdam, Netherlands) - Umberto Straccia (CNR, Italy) - Mirek Truszczynski (University of Kentucky, USA) - Joost Vennekens (K.U. Leuven, Belgium) - Peter Verdée (Universiteit Gent, Belgium) - Heinrich Wansing (Ruhr-Universitaet Bochum, Germany) - Renata Wassermann (Universidade de São Paulo, Brazil) - Anna Zamansky (University of Haifa, Israel) -- Further Information -- Please note that according to ECAI policy all workshop participants are required to register for both the workshop and the main conference. ECAI reserves the right to cancel a workshop if not enough participants register. Please visit the workshop website (http://dare2016.yolasite.com) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Université d’Artois, France http://member.acm.org/~ijv From frank.loebe at informatik.uni-leipzig.de Sun Apr 17 14:50:32 2016 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Sun, 17 Apr 2016 14:50:32 +0200 Subject: ISAO-16, 2nd CALL FOR PARTICIPATION, 3rd IAOA Interdisciplinary School on Applied Ontology, June 27 - July 1, 2016, Bolzano, Italy Message-ID: <57138698.1030005@informatik.uni-leipzig.de> ISAO 2016 - 2nd CALL FOR PARTICIPATION: The International Association for Ontology and its Applications (IAOA) and the KRDB Research Centre for Knowledge and Data at Bozen-Bolzano are proud to announce the Third IAOA Interdisciplinary School on Applied Ontology June 27 - July 1, 2016 -- Bozen-Bolzano, Italy http://isao2016.inf.unibz.it Description ----------- World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants. The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. http://isao2016.inf.unibz.it/?page_id=91 Previous summer schools were held in Vitória, Brazil http://iaoa.org/isao2014/ and in Trento, Italy http://iaoa.org/isao2012/ LIMITED Registration and Grants -------------------------------- Registration to the summer school is on a first-come first-served basis. We would like to highlight that the event will have a LIMITED NUMBER OF PARTICIPANTS to ensure the quality of the interactions and the immersion experience. Check the registration page for further information and to register: http://isao2016.inf.unibz.it/?page_id=56 A limited number of grants will be provided by IAOA to partially cover participation costs on behalf of students. Applications for student grants should be sent exclusively by e-mail to ISAO2016 at unibz.it by 18th APRIL 2016. Further details can be found on the registration page. IAOA membership (which can be obtained before registering) entitles to reduced registration fees. Affordable student accommodation can be reserved until May 15 (see website for details). Program ------- The following courses are already confirmed: * Alessandro Artale, Free University of Bozen-Bolzano, Italy (Description Logics and Temporal Extensions) * Gilberto Camara, National Institute for Space Research, Brazil (Geospatial Ontology) * Antony Galton, University of Exeter, UK (Time and Processes) * Laure Vieu, CNRS, France (Language and Ontology) * Achille C. Varzi, Columbia University, New York, USA (Mereology) In addition to the courses, a number of shorter invited talks are expected. Organization ------------ International Association for Ontology and its Applications (IAOA) http://iaoa.org/ Research Centre on Knowledge and Data (KRDB) Faculty of Computer Science, Free University of Bozen-Bolzano, Italy http://www.inf.unibz.it/ Contact: ISAO2016 at unibz.it Website: http://iaoa.org/isao2016/ From grlmc at grlmc.com Mon Apr 18 02:34:17 2016 From: grlmc at grlmc.com (GRLMC) Date: Mon, 18 Apr 2016 02:34:17 +0200 Subject: WebST 2016: early registration deadline 2 May Message-ID: <545102060a010b060454510603095904070750595600060006510f535306515053030752040b03550255570a0007@grlmc_ip-zone_com-6> WebST 2016: early registration deadline 2 May*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************************** INTERNATIONAL SUMMER SCHOOL ON WEB SCIENCE AND TECHNOLOGY   WebST 2016   Bilbao, Spain   July 18-22, 2016   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/webst2016/ *****************************************************************************   --- Early registration deadline: May 2, 2016 ---   ********************************************************   AIM:   WebST 2016 is a research training event addressed to graduates and postgraduates in the first steps of their academic career. With a global scope, it aims at updating them about the most recent advances in the critical, multidisciplinary and fast developing area of web studies, which covers a large spectrum of current exciting research and industrial innovation from computing and technologies to social sciences and the humanities and has turned out to be the largest socio-technical infrastructure in human history. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most subareas of web science and technology will be displayed, namely: content analysis and information extraction, information networks, search, data and semantics, ontologies, user behavior and personalization, online communities, social networks, economic transactions, mobility, security and privacy, graph analysis, web mining and applications. Main challenges and opportunities will be identified through 4 keynote lectures, 17 six-hour courses, and 1 round table, which will tackle the most active and promising topics from various perspectives: philosophy, sociology, politics, digital humanities, economics, computer science, engineering and mathematics. The organizers believe outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. Moreover, an open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   Graduates 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 assumed for some of them. WebST 2016 is also appropriate for more senior people who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, scholars, industry leaders and innovators.   REGIME:   In addition to keynotes, at least 2 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:   WebST 2016 will take place in Bilbao, a city famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao   KEYNOTE SPEAKERS:   Ricardo Baeza-Yates (Pompeu Fabra University), Distributed Web Search   Jiawei Han (University of Illinois, Urbana-Champaign), From Data to Knowledge: A Data-to-Network-to-Knowledge (D2N2K) Paradigm   Prabhakar Raghavan (Google), Three Vignettes from the Theory and Practice of Large Data Analysis   Amit P. Sheth (Wright State University), Semantic, Cognitive and Perceptual Computing – three intertwined strands of a golden braid of intelligent computing   PROFESSORS AND COURSES:   Timothy Baldwin (University of Melbourne), [intermediate] Social Media and Text Analytics   Boualem Benatallah (University of New South Wales), [advanced] API Engineering and Management   Vassilis Christophides (INRIA, Paris), [introductory/intermediate] Entity Resolution in the Web of Data   Brian D. Davison (Lehigh University), [introductory] Useful Web Mining with R   Marco Gori (University of Siena), [advanced] Learning Semantic-based Structures from Textual Sources   Alon Halevy (Recruit Institute of Technology), [introductory] Structured Data on the Web   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate] Construction and Mining of Text-Rich Heterogeneous Information Networks   Andreas Hotho (University of Würzburg), [intermediate] Social Semantics in the Web   Ravi Kumar (Google), [introductory/intermediate] Computing at Scale: Models and Algorithms   Haewoon Kwak (Qatar Foundation), [introductory/intermediate] From Social Network Analysis to Social Media Analytics and beyond: Challenges and Opportunities   Cathy Marshall (Texas A&M University), [introductory] Qualitative Methods for Studying Users on the Web   Mirco Musolesi (University College London), [introductory/intermediate] Mining Big (and Small) Mobile Data   Bijan Parsia (University of Manchester), [introductory] The Semantic Web and Linked Data   Prabhakar Raghavan (Google), [intermediate] Introduction to Web Search Engines   Uli Sattler (University of Manchester), [introductory] OWL, Underlying Logics, and What This Reasoning Is All about   Barry Smith (University at Buffalo), [introductory] Towards Ontological Foundations for​ Web Science   Raphael Volz (Pforzheim University of Applied Science), [introductory] Improving Prediction Models with Open Data   OPEN SESSION   An open session will collect 5-minute presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to florentinalilica.voicu (at) urv.cat by July 15, 2016.   ORGANIZING COMMITTEE:   Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Borja Sanz (co-chair) Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/webst2016/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:   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:   A suggestion of accommodation is available on the webpage.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   University of Deusto Rovira i Virgili University -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From mire at dtu.dk Mon Apr 18 13:11:59 2016 From: mire at dtu.dk (Michael Reichhardt Hansen) Date: Mon, 18 Apr 2016 11:11:59 +0000 Subject: TIME 2016 --- Second Call for Papers In-Reply-To: References: Message-ID: [ Apologies for cross posting ] --------------------------------------------------------------------------------------------------- TIME 2016 23rd International Symposium on Temporal Representation and Reasoning Second Call for Papers http://time2016.compute.dtu.dk TIME 2016 takes place at the Technical University of Denmark. --------------------------------------------------------------------------------------------------- Aim --------------------------------- TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - temporal healthcare databases and warehouses - time series analysis and mining - semistructured temporal data - novel applications of temporal database management - novel visualizations and interfaces for temporal data - experiences with real applications The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security Submission --------------------------------- Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guidelines and must not exceed 10 pages (US letter format); over-length submissions may be rejected without review. Submissions will be handled electronically by EasyChair: https://easychair.org/conferences/?conf=time2016. Accepted papers will be presented at the symposium and included in the proceedings, which is planned to be published by the Conference Publishing Services (CPS), as usual within the TIME series. Acceptance of a paper is contingent on one author registering for and presenting the paper at the symposium. As in previous years, it is planned that the authors of the best papers of the conference will be invited to submit an extended version of their contribution to a special issue of a well-respected computer science journal. Important Dates --------------------------------- Full papers due: June 20th, 2016 Notification: July 25th, 2016 Final version due: August 10th, 2016 Symposium: October 17-19, 2016 Invited Speakers --------------------------------- Kim Guldstrand Larsen, Aalborg University, Denmark Angelo Montanari, University of Udine, Italy Paolo Terenziani, University of Piemonte Orientale, Alessandria, Italy Program Committee --------------------------------- Alessandro Artale, Free University of Bozen-Bolzano, Italy Sourav Bhowmick, Nanyang Technological University, Singapore Amedeo Cesta, CNR - National Research Council of Italy Anton Dignös, Free University of Bozen-Bolzano, Italy Curtis Dyreson, Utah State University, Utah, USA (Chair) Johann Eder, Alpen Adria University Klagenfurt, Austria Martin Fränzle, Oldenburg University, Germany Shashi Gadia, Iowa State University, USA Rajeev Gore, The Australian National University, Australia Fabio Grandi, University of Bologna, Italy Michael R. Hansen, Technical Univ. of Denmark, Denmark (Chair) Keijo Heljanko, Aalto University, Finland Luke Hunsberger, Vassar College, New York, USA (Chair) Felix Klaedtke, NEC Europe Ltd., Germany Francois Laroussinie, LIAFA, Univ. Paris 7, CNRS, France Martin Leucker, University of Lübeck, Germany Etienne Lozes, LSV, CNRS and ENS Cachan, France Federica Mandreoli, University of Modena and Reggio Emilia, Italy Robert Mattmüller, University of Freiburg, Germany Aniello Murano, Universita' di Napoli "Federico II", Italy Angelo Oddi, ISTC-CNR, Italian National Research Council, Italy Paritosh Pandya, Tata Institute of Fundamental Research, Mumbai, India Dirk Pattinson, The Australian National University, Australia R. Ramanujam, Institute of Mathematical Sciences, Chennai, India Sven Schewe, University of Liverpool, UK Kristian Torp, Aalborg University, Denmark Martin Wehrle, University of Basel, Switzerland Steering Committee --------------------------------- Jan Chomicki, University at Buffalo, State University of New York, USA Carlo Combi, University of Verona, Italy Stephane Demri, CNRS and ENS Cachan, France Clare Dixon, University of Liverpool, UK Luke Hunsberger, Vassar College, USA Martin Lange, University of Kassel, Germany Angelo Montanari, University of Udine, Italy Ben Moszkowski, University of Newcastle, UK Mark Reynolds, The University of Western Australia, Australia Jef Wijsen, Université de Mons, Belgium Local organizers --------------------------------- Michael R. Hansen and Karin Tunder. Both from DTU Compute. Email: time2016(at)compute.dtu.dk Venue --------------------------------- TIME 2016 will take place at the campus of the Technical University of Denmark, hosted by DTU Compute. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano.borgo at gmail.com Mon Apr 18 19:09:27 2016 From: stefano.borgo at gmail.com (Stefano Borgo) Date: Mon, 18 Apr 2016 19:09:27 +0200 Subject: CfP: Joint Ontology Workshops (JOWO-16) In-Reply-To: <5bb25892-63ec-4c13-9ff9-ca334fbb8d36@aixia.it> References: <5bb25892-63ec-4c13-9ff9-ca334fbb8d36@aixia.it> Message-ID: <571514C7.10507@gmail.com> --- Third Call for Papers --- - NEW DEADLINES - Joint Ontology Workshops (JOWO-16) -- Episode 2: The French Summer -- ** 5 workshops on Ontology in Information Systems http://www.iaoa.org/jowo/2016/ ** Co-located with FOIS 2016, July 6-9, 2016, Annecy, France http://iaoa.org/fois This second edition of the Joint Ontology Workshops (JOWO-16) combines five exciting ontology-centered workshops at FOIS-16. WORKSHOPS: - Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2016) - Computer vision + ONTology: Applied Cross-disciplinary Technologies (CONTACT 2016) - Cognition and Ontologies (CAOS 2016) - New Standards for the Working Ontologist: Common Logic and DOL (NSWO 2016) - Ontologies and Conceptual Modeling (Onto.Com 2016) JOWO-16 is supported by the International Association for Ontology and its Applications - IAOA. It features a series of (shared) invited talks, paper presentations, and discussions spread across five full-day workshops and tutorials. ---------------------------------- IMPORTANT DATES (All Workshops) Submission (abstracts): May 3, 2016 Submission (full papers): May 9 Notification: May 30 Workshops: July 6 ---------------------------------- ================================== WOMoCoE 2016 http://www.iaoa.org/womocoe/2016/ International Workshop on Ontology Modularity, Contextuality, and Evolution ================================== Organisers: Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola This workshop brings together two long standing event series: WoMO, the workshops on modular ontology, and ARCOE, the workshops on automated reasoning on context and ontology evolution. The goal is to discuss these topics in a single venue and try to compare/integrate the new ideas on ontology modularity, context and evolution. The workshop is open to theoretical and application research, experiences and innovative visions featuring a Program Committee with a mix of experienced and young groundbreaking people. WOMOCoE will feature an invited talk by Jerome Euzenat. ================================== CONTACT 2016 http://www.loa.istc.cnr.it/CONTACT2016 Second International Workshop on Computer vision + ONTology: Applied Cross-disciplinary Technologies ================================== Organisers: Marco Cristani, Céline Hudelot, Daniele Porello The aim of the CONTACT series is to bring together a wide range of researchers in formal ontology on the one side and computer vision and machine learning on the other, to share innovative ideas and solutions for exploiting the potential synergies emerging from the integration of the two domains. The problem of image and video understanding is a complex task that benefits from a multi-disciplinary perspective. CONTACT provides a venue to discuss a principled methodology to ascribe meaning to images and videos, as well as the applications of this methodology to querying image databases, reasoning about images and scenes, inferring information from videos. ================================== CAOS 2016 http://caos.inf.unibz.it/ First International Workshop on Cognition and Ontologies ================================== Organisers: Maria M. Hedblom, Tarek R. Besold, Oliver Kutz, Tony Veale CAOS is for researchers interested in discussing cognitive mechanisms and phenomena from an ontological perspective. Work on artificial intelligence, cognitive systems, applied ontology, natural language processing, reasoning, formal concept invention, and philosophical aspects of the former are the main focus of the workshop. (Still, all other topics relating cognition and ontology are of course equally welcome.) We especially encourage submissions on different theories of cognition, work addressing the symbol grounding problem(s), and attempts to make concrete the abstract nature of concepts and metaphors. CAOS will feature an invited talk by Jean M. Mandler. Join us! ================================== NSWO 2016 http://nswo.inf.unibz.it New Standards for the Working Ontologist: Common Logic and DOL ================================== Organisers: Michael Gruninger, Oliver Kutz, Till Mossakowski, Fabian Neuhaus NSWO 2016 will be entirely devoted to two new standards in the realm of applied ontology: the second revision of Common Logic and the new Distributed Ontology, Model, and Specification Language, DOL. NSWO will provide tutorials introducing syntax and semantics of both Common Logic and DOL. We will be discussing a number of modelling and interoperability problems that can be addressed with these standards, analyse the mostly complementary relationship between Common Logic and DOL, and demonstrate available tools. NSWO also invites contributed scientific papers involving Common Logic and/or DOL. ================================== Onto.Com 2016 http://www.mis.ugent.be/ontocom2016/ Ontologies and Conceptual Modeling ================================== Organisers: Giancarlo Guizzardi, Sergio de Cesare, Frederik Gailly, Mark Lycett, Chris Partridge, Oscar Pastor This year the theme of Onto.Com will be Foundational Ontologies and their Meta-ontological Choices. Leading ontologists and conceptual modelers will be invited to discuss and comparatively analyze different foundational ontologies, their meta-ontological choices and their associated modeling processes. The workshop will be practically oriented and discussions will be centered on models produced for a common case study. This will facilitate discussions related to the consequences of making different meta-ontological choices. ---------------------------------- SUBMISSION GUIDELINES Please refer to the individual workshops for detailed lists of topics appropriate for each workshop and submission modalities. All submissions will be peer-reviewed by members of the program committees of the individual workshops. Accepted papers will be made available in the form of a single joint workshop proceedings volume published at CEUR. For additional publication plans check the individual workshops. ---------------------------------- JOWO General Chairs Oliver Kutz (Free University of Bozen-Bolzano, Italy) Sergio de Cesare (Brunel University, UK) Contact: jowo.steering at gmail.com From nsmattei at gmail.com Tue Apr 19 08:48:21 2016 From: nsmattei at gmail.com (Nicholas Mattei) Date: Tue, 19 Apr 2016 16:48:21 +1000 Subject: FINAL CFP: 10th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) 2016 with IJCAI 2016 Message-ID: [Apologies for Multiple Postings] -- Please submit if you are planning on attending IJCAI! ====================================================================== Final CALL FOR PAPERS: 10th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) New York, USA, July 9, 2016 in conjunction with IJCAI-16. http://www.mpref-2016.preflib.org ====================================================================== Preference handling has become a flourishing topic. There are many interesting results, good examples for cross-fertilization between disciplines, and many new questions. Preferences are a central concept of decision making. As preferences are fundamental for the analysis of human choice behavior, they are becoming of increasing importance for computational fields such as artificial intelligence, databases, and human-computer interaction as well as for their respective applications. Preference models are needed in decision-support systems such as web-based recommender systems, in automated problem solvers such as configurators, and in autonomous systems such as Mars rovers. Nearly all areas of artificial intelligence deal with choice situations and can thus benefit from computational methods for handling preferences. Preference handling is also important for machine learning as preferences may guide learning behavior and be subject of dedicated learning methods. Moreover, social choice methods are also of key importance in computational domains such as multi-agent systems. This broadened scope of preferences leads to new types of preference models, new problems for applying preference structures, and new kinds of benefits. Preferences are studied in many areas of artificial intelligence such as knowledge representation & reasoning, multi-agent systems, game theory, social choice, constraint satisfaction, decision making, decision-theoretic planning, and beyond. Preferences are inherently a multi-disciplinary topic, of interest to economists, computer scientists, operations researchers, mathematicians and more. This workshop promotes this broadened scope of preference handling and continues a series of events on preference handling at AAAI-02, Dagstuhl in 2004, IJCAI-05, ECAI-06, VLDB-07, AAAI-08, ADT-09, ECAI-2010, ECAI-2012, IJCAI-13, AAAI-14, and IJCAI-15. At the previous edition of ADT-15 and LPNMR-15, which were co-located, one of the conclusions was that collaboration between the two areas can be very fruitful and should be fostered. The workshop will provide a forum for presenting advances in preference handling and for exchanging experiences between researchers facing similar questions, but coming from different fields. The workshop builds on the large number of AI researchers working on preference-related issues, but also seeks to attract researchers from databases, multi-criteria decision making, economics, etc. ====================================================================== TOPICS OF INTEREST ====================================================================== The workshop on Advances in Preference Handling addresses all computational aspects of preference handling. This includes methods for the elicitation, learning, modeling, representation, aggregation, and management of preferences and for reasoning about preferences. The workshop studies the usage of preferences in computational tasks from decision making, database querying, web search, personalized human-computer interaction, personalized recommender systems, e-commerce, multi-agent systems, game theory, social choice, combinatorial optimization, planning and robotics, automated problem solving, perception and natural language understanding and other computational tasks involving choices. The workshop seeks to improve the overall understanding of and best methodologies for preferences in order to realize their benefits in the multiplicity of tasks for which they are used. Another important goal is to provide cross-fertilization between the numerous sub-fields that work with preferences. * Preference handling in artificial intelligence * Preference handling in database systems * Preference handling in multiagent systems * Applications of preferences * Preference elicitation * Preference representation and modeling * Properties and semantics of preferences * Practical preferences ====================================================================== IMPORTANT DATES ====================================================================== May 1st, 2016: Workshop paper submission deadline. May 20th, 2016: Notification on workshop paper submissions. June 1st, 2016: Camera-ready copy due to organizers. July 9th, 10th, or 11th, 2016: M-PREF'16 Workshop. ===================================================================== SUBMISSION ===================================================================== Researchers interested in preference handling from AI, OR, DB, CS or other computational fields may submit a paper formatted according to the IJCAI Formatting Instructions and up to 6 pages in length + 1 page for references in PDF format. Workshop submissions and camera ready versions will be handled by EasyChair. Feel free to submit either anonymized or non-anonymized versions of your work. We have enabled anonymous reviewing so EasyChair will not reveal the authors unless you chose to do so in your submission. At least one author from each accepted paper must register for the workshop. Please see the IJCAI 2016 Website for information about accommodation and registration. Link to the paper submission page on EasyChair: https://easychair.org/conferences/?conf=mpref16 ====================================================================== WORKSHOP CHAIRS ====================================================================== Markus Endres, University of Augsburg (Germany) Nicholas Mattei, Optimization Research Group, Data 61 (NICTA) and University of New South Wales (Australia) Andreas Pfandler, TU Wien (Austria) and University of Siegen (Germany) ====================================================================== PROGRAM COMMITTEE ====================================================================== Thomas Allen, University of Kentucky Stefano Bistarelli, Università di Perugia Sylvain Bouveret, LIG – Grenoble INP Darius Braziunas, Kobo Inc. Jan Chomicki, University at Buffalo Paolo Ciaccia, University of Bologna James Delgrande, Simon Fraser University Matthias Ehrgott, Lancaster Gabor Erdelyi, Universitaet Siegen Johannes Fürnkranz, TU Darmstadt Judy Goldsmith, University of Kentucky Ulrich Junker Souhila Kaci, LIRMM Jérôme Lang, LAMSADE Nicolas Maudet, Université Pierre et Marie Curie Vincent Mousseau, LGI, Ecole Centrale Paris Patrice Perny, LIP6 Maria Silvia Pini, University of Padova Francesca Rossi, University of Padova and Harvard University Scott Sanner, University of Toronto Alexis Tsoukias, CNRS – LAMSADE Kristen Brent Venable, Tulane University and IHMC Paolo Viappiani, CNRS and LIP6, Univ Pierre et Marie Curie Toby Walsh, UNSW and Data61/NICTA Antonius Weinzierl, Vienna University of Technology Paul Weng, SYSU-CMU JIE Lirong Xia, RPI Neil Yorke-Smith, American University of Beirut Yong Zheng, DePaul University -- *Nicholas Mattei* Senior Researcher | Optimisation / Algorithmic Decision Theory Lecturer | University of New South Wales (UNSW) *DATA61 | CSIRO* E nicholas.mattei at nicta.com.au T +61 2 8306 0464 W www.nickmattei.net Neville Roach Laboratory (UNSW Campus), Locked Bag 6016, Sydney NSW 1466, Australia www.data61.csiro.au CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sgerwinn at tc.informatik.uni-oldenburg.de Tue Apr 19 14:56:56 2016 From: sgerwinn at tc.informatik.uni-oldenburg.de (Sebastian Gerwinn) Date: Tue, 19 Apr 2016 14:56:56 +0200 Subject: FORMATS 2016 - Deadline extension Message-ID: <20160419145656.0331f412@darkstar> [ Apologies for cross posting ] --------------------------------------------------------------------- FORMATS 2016 14th International Conference on Formal Modeling and Analysis of Timed Systems *Deadline Extension* http://formats2016.lsv.fr FORMATS'16 takes place at Hotel Chateau Laurier in Québec City, Canada, where it is colocated with CONCUR'16 and QEST'16. --------------------------------------------------------------------- *Important Dates* --------------- Extended Abstract Submission: April 26, 2016 Extended Paper Submission: April 29, 2016 Notification: June 4, 2016 Final paper due: June 11, 2016 Conference: August 24-26, 2016 Objectives ---------- Control and analysis of the timing of computations is crucial to many domains of system engineering, be it, e.g., for ensuring timely response to stimuli originating in an uncooperative environment or for synchronizing components in VLSI. Reflecting this broad scope, timing aspects of systems from a variety of domains have been treated independently by different communities in computer science and control. Researchers interested in semantics, verification and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment, as well as of the dynamics of the controlled process during this span. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behaviour depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. Often, these constraints cannot be separated, as intrinsic dynamics of processes couples them, necessitating models, methods, and tools facilitating their combined analysis. Reflecting this fact, FORMATS'16 will feature a special session on hybrid discrete-continuous systems. Topics ------ The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. Typical topics include (but are not limited to): * Foundations and Semantics: Theoretical foundations of timed systems and languages; new models and logics or analysis and comparison of existing models (like automata, Petri nets, or process algebras involving quantitative time; hybrid automata; probabilistic automata and logics). * Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing or synthesizing timed or hybrid systems and for resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.) * Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, embedded control, hardware circuits, and problems of scheduling in manufacturing and telecommunication). Paper Submission ---------------- FORMATS'16 solicits high-quality papers reporting research results and/or experience reports related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Submissions should not exceed 15 pages in length, but may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers are to be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2016 The proceedings of FORMATS'16 will be published by Springer in the Lecture Notes in Computer Science series. A special issue dedicated to FORMATS will be hosted in a topical journal, collecting the extensions of papers selected by quality and subject to additional revision. General Chair ------------- Josée Desharnais, (U. Laval, Canada) Program Comittee ---------------- S. Akshay, (IIT Bombay, India) Béatrice Bérard, (U. Paris 6, France) Hanifa Boucheneb, (U. Montréal, Canada) Laura Carnevali, (U. Firenze, Italy) Franck Cassez, (U. Macquarie, Australia) Martin Fränzle, (U. Oldenburg, Germany), (chair) Gilles Geeraerts, (ULB, Belgium) Michael R. Hansen, (DTU, Denmark) Boudewijn Haverkort, (U. Twente, NL) Franjo Ivancic, (Google, USA) Oded Maler, (VERIMAG, CNRS-UGA, France) Nicolas Markey, (U. Paris-Saclay, France), (chair) Chris Myers, (U. Utah, USA) Jens Oehlerking, (Bosch GmbH, Germany) David Parker, (U. Birmingham, UK) Karin Quaas, (U. Leipzig, Germany) Stefan Ratschan, (CAS, Czech Republic) César Sanchez, (IMDEA Software Institute, Spain) Sriram Sankaranarayanan, (U. Colorado, USA) Jeremy Sproston, (U. Torino, Italy) Jiri Srba, (U. Aalborg, Denmark) Lothar Thiele, (ETH Zurich, Switzerland) Enrico Vicario, (U. Firenze, Italy) Mahesh Viswanathan, (U. Illinois, USA) James Worrell, (U. Oxford, UK) Sergio Yovine, (U. Buenos Aires, Argentina) Huibiao Zhu, (ECNU, China) Steering Committee ------------------ Rajeev Alur, (U. Pennsylvania, USA) Eugene Asarin, (U. Paris Diderot, France) Thomas A. Henzinger, (IST Austria) Joost-Pieter Katoen, (RWTH Aachen, Germany) Kim G. Larsen, (U. Aalborg, Denmark) Oded Maler, (VERIMAG, CNRS-UGA, France) Lothar Thiele, (ETH Zurich, Switzerland) Wang Yi, (U. Uppsala, Sweden) Publicity Chair --------------- Sebastian Gerwinn, (OFFIS, Germany) Invited speakers ---------------- Scott Smolka, (U. Stony Brook, USA) Oleg Sokolsky, (U. Pennsylvania, USA) Ufuk Topcu, (U. Texas, USA) From arjen.hommersom at ou.nl Wed Apr 20 11:48:07 2016 From: arjen.hommersom at ou.nl (Arjen Hommersom) Date: Wed, 20 Apr 2016 11:48:07 +0200 Subject: CFP PLP-2016: The Third Workshop on Probabilistic Logic Programming Message-ID: [Apologies for cross posting] PLP-2016: The Third Workshop on Probabilistic Logic Programming --------------------------------------------------------------- A workshop of the 26th International Conference on Inductive Logic Programming 3 September 2016 Imperial College London, UK http://stoics.org.uk/plp/plp2016/ Deadline for submissions: 10 June 2016 Overview ----- Probabilistic logic programming (PLP) approaches have received much attention this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * music * * robotics * * semantic web * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After two successful editions of this workshop at ICLP 2014 in Vienna and ICLP 2015 in Cork, the third edition of PLP is held at the ILP conference. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----- Submissions will be managed via EasyChair. Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter. The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ----- Papers due: Fri, 10th June 2016 Notification to authors: Mon, 4th July 2016 Camera ready version due: Mon, 18th July 2016 Workshop data: Sat, 3rd September 2016 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----- To be announced Programme Committee ----- Samer Abdallah (University College London) [co-chair] Arjen Hommersom (Open University of the Netherlands) [co-chair] Elena Bellodi (University of Ferrara, Italy) Hendrik Blockeel (KU Leuven, Belgium) Yoshitaka Kameya (Meijo University, Japan) Wannes Meert (KU Leuven, Belgium) Alina Paes (Universidade Federal Fluminense, Brazil) C. R. Ramakrishnan (University at Stony Brook, US) Taisuke Sato (NII/SONAR, Japan) Christian Theil Have (Copenhagen University, Denmark) Herbert Wiklicky (Imperial College London, UK) Nicola di Mauro (Università di Bari, Italy) Senior Committee ----- Nicos Angelopoulos (14M Genomics & Imperial College, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) From frank.loebe at informatik.uni-leipzig.de Wed Apr 20 19:09:55 2016 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Wed, 20 Apr 2016 19:09:55 +0200 Subject: Final Call - FOIS 2016 Satellite Activities (ECS / Competition / Demonstration Track) Message-ID: <5717B7E3.6080709@informatik.uni-leipzig.de> ---------------------------------------------------------------------- 9th International Conference on Formal Ontology in Information Systems - FOIS 2016 - July 6-9, 2016, University of Savoie, Annecy, France FINAL CALL FOR SATELLITE ACTIVITY SUBMISSIONS * Early Career Symposium (ECS) * Formal Ontology Competition * Demonstrations Track [1] website with ALL DETAILS http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities [2] SUBMIT via FOIS 2016 in EasyChair (selecting the track there) https://easychair.org/conferences/?conf=fois2016 ---------------- LATEST DEADLINES ---------------- For all satellite activities, these final deadlines apply: * paper submission: Apr 25, 2016 (Monday) <-- !! strict !! * notification: May 12, 2016 (Thursday) * final versions: May 31, 2016 (Tuesday) ========================================================= Please note KEY INFORMATION subsequently. Further information with all details is available at [1]. ---------------------- EARLY CAREER SYMPOSIUM ---------------------- The ECS will be held as a poster session, opened by lightning talks. Students at the Master's and Doctoral levels as well as Postdocs are invited to submit: (1) a two-page description of their research project and (2) a current CV. Please submit in PDF format and in accordance with the template [3]. Contact: [4] ecsfois16 at gmail.com --------------------------- FORMAL ONTOLOGY COMPETITION --------------------------- The FOIS 2016 Ontology Competition is intended to recognize high-quality ontologies and to encourage the spread of best practices in the ontology community. The topic of the 2016 Ontology Competition is "Representing Change in Ontologies". There are no restrictions on the subject matter of the ontology. Details about the competition can be found at [5] http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities#competition . Contact: [6] fois2016.competition at gmail.com -------------------- DEMONSTRATIONS TRACK -------------------- The FOIS 2016 Demo session is designed to provide an exciting and highly interactive way to demonstrate ontology research. Submissions of at most 5 pages in accordance with IOS Press formatting guidelines [7] should specify: * What is the research background and application context of the demonstration? * What exactly will be demonstrated? What exactly will a visitor of the demonstration learn? * For whom is it most interesting / useful? * What are the key technologies used and what are the technical challenges addressed? * How does the demonstrated system, application or infrastructure relate to pre-existing work and why is it a novel showcase in ontology research? Contact: [8] fois2016.demo at gmail.com ---------------------- REVIEW AND PUBLICATION ---------------------- Submissions to any of the above satellite activities will be reviewed by selected members of the FOIS 2016 Program Committee. All accepted submissions will be published in a joint CEUR proceedings volume (ISSN 1613-0073, DBLP-indexed). LINKS: [1] website with detailed information http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities [2] submit via FOIS 2016 in EasyChair (select corresponding track) https://easychair.org/conferences/?conf=fois2016 [3] template for ECS submissions http://nemo.inf.ufes.br/fois16-ecs/ECS_submission_template.zip [4] contact for ECS ecsfois16 at gmail.com [5] Formal Ontology Competition details http://www.iaoa.org/fois2016/index.php?n=Main.SatelliteActivities#competition [6] contact for Formal Ontology Competition fois2016.competition at gmail.com [7] IOS Press formatting guidelines http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ [8] contact for FOIS 2016 Demonstrations Track fois2016.demo at gmail.com ---------------------------------------------------------------------- From sibylle.schwarz at htwk-leipzig.de Thu Apr 21 10:24:31 2016 From: sibylle.schwarz at htwk-leipzig.de (Sibylle Schwarz) Date: Thu, 21 Apr 2016 10:24:31 +0200 Subject: Call for Papers - 30th Workshop on Logic Programming (WLP 2016) In-Reply-To: <57188DAB.9070503@htwk-leipzig.de> References: <57188DAB.9070503@htwk-leipzig.de> Message-ID: <57188E3F.4060702@htwk-leipzig.de> ====================================================================== CALL FOR PAPERS 30th Workshop on Logic Programming (WLP 2016) part of the Leipzig Week of Declarative Programming (L-DEC) 2016 Leipzig, Germany, September 12 - 15, 2016 http://www.imn.htwk-leipzig.de/WLP2016 ====================================================================== The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and bring together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas: Logic Programming and Extensions * foundations of CP and LP * constraint solving and optimisation * functional logic programming, objects * dynamics, updates, states, transactions * interaction of CP and LP with other formalisms like agents, XML, JAVA * parallelism and concurrency * complexity and expressive power * program analysis, program transformation, program verification, meta programming Knowledge Representation and Nonmonotonic Reasoning * deductive databases, data mining * rule-based systems * abductive and inductive logic programming * answer-set programming * semantics and proof-theoretical investigations Application of Logic Programming * logic programming in production, management, environment, education, medicine, internet, etc. * CP/LP for Semantic Web applications and reasoning on the Semantic Web * data modelling for the Web, semistructured data, and Web query languages Implementation of Systems * system descriptions, comparisons, evaluations, benchmarks * implementation techniques * software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development). The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, interesting experiments (e.g., benchmarks) or ongoing scientific work are also encouraged. Submission ========== Authors are invited to submit an extended abstract (no longer than 15 pages including figures and references) or a system description (no longer than 6 pages) in PDF (11pt) via EasyChair http://www.easychair.org/conferences/?conf=wlp2016. All submissions must be written in English and prepared in Springer's LaTeX style llncs (http://www.springer.com/comp/lncs/Authors.html). All submissions must be unpublished original work. However, work that already appeared in unpublished or informally published workshops proceedings may be submitted, too. All accepted papers will be published electronically at the CEUR Workshop Proceedings website (http://www.CEUR-ws.org/). As for previous events, it is planned to publish selected papers as post-conference proceedings. Important Dates (with extended deadline) =============== Submission of papers: June 3, 2016 Notification of acceptance: July 1, 2016 Early-Registration Deadline: July 15, 2016 Workshop: September 12 - 13, 2016 Program committee ================= Stefan Brass - Univ. Halle Gerhard Brewka - Univ. Leipzig Michael Hanus - CAU Kiel Heinrich Herre - Univ. Leipzig Steffen Hölldobler - TU Dresden Petra Hofstedt - BTU Cottbus Ulrich John - HWTK Berlin Georg Ringwelski - HS Zittau/Görlitz Torsten Schaub - Univ. Potsdam Sibylle Schwarz (chair) - HTWK Leipzig Dietmar Seipel - Univ. Wuerzburg Workshop Organizer =============== Sibylle Schwarz Hochschule für Technik, Wirtschaft und Kultur Leipzig F-IMN, Postfach 301166 04251 Leipzig sibylle.schwarz at htwk-leipzig.de http://www.imn.htwk-leipzig.de/~schwarz From evert at MW-020708.clients.vu.nl Thu Apr 21 11:01:55 2016 From: evert at MW-020708.clients.vu.nl (Evert Haasdijk) Date: Thu, 21 Apr 2016 11:01:55 +0200 (CEST) Subject: [journals] Artificial Life Journal Special Issue on the Evolution of Physical Systems - DEADLINE EXTENDED Message-ID: <20160421090155.D8CCC5328F512@MW-020708.clients.vu.nl> Call for Submissions: Artificial Life Journal Special Issue on the Evolution of Physical Systems DEADLINE EXTENDED! We are inviting submissions to a forthcoming special issue of Artificial Life Journal devoted to the topic of the Evolution of Physical Systems (EPS). This special issue emerges from a series of successful workshops held at the International Society for Artificial Life (ISAL) sponsored conferences ECAL and ALIFE. We use the term EPS to refer to evolutionary algorithms which occur in real-world physical substrates rather than in simulation. The term encompasses both parallel Embodied Evolution (Watson et al., 2002), in which evolution is distributed across a population of robots, as well as Evolutionary Robotics (Floreano and Mondada, 1994) where evaluation is serialized on a single robot. Notable examples of EPS occur across a wide variety of systems, ranging from Robotics (Zykov et al., 2004)] to FPGAs (Thompson, 1996) to 3D printers (Rieffel and Sayles, 2010). While submissions describing reality-based and model-free work is encouraged, we would also be interested in submissions aimed at crossing the “Reality Gap” between simulation and reality. keywords: evolutionary robotics, embodied evolution, reality gap, evolvable hardware Special Issue Website: http://muse.union.edu/eps-workshop/alife-special-issue/ Please direct all correspondence to rieffelj at union.edu IMPORTANT DATES Submission Deadline: May 15, 2016 Author Notification: July 1, 2016 Expected Publication: November 1, 2016 Special Issue Editors: John Rieffel, Union College, USA (rieffelj at union.edu) Jean-Baptiste Mouret, Inria Nancy - Grand Est, France (jean-baptiste.mouret at inria.fr) Nicolas Bredeche, Sorbonne Universités, France (nicolas.bredeche at upmc.fr) Evert Haasdijk, Vrije Universiteit Amsterdam, Netherlands (e.haasdijk at vu.nl) From franconi at inf.unibz.it Thu Apr 21 11:57:00 2016 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Thu, 21 Apr 2016 11:57:00 +0200 Subject: PhD Scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy) Message-ID: <21042016115700879GGh77pfXqRRd0206@webmail.unibz.it> PhD Scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy). The Free University of Bozen-Bolzano was founded in 1997 as a multilingual (English, German, Italian) internationally oriented institution. A public competition for the allocation of PhD positions in the Faculty of Computer Science will be opened on the 6th of May 2016, for 12 places, of which 9 places will be covered by grants (17,000€ per year). The deadline for submitting the application (admission/pre-enrolment to the 32nd PhD cycle) via is the 8th of June 2016. PhD students are expected to work full-time on their research during the period of the PhD studies, which lasts three years. An additional support is given to spend a period of 6-12 months at an international research center. The official language of the programme is English, and it is expected that students are able to write and speak fluently in English. The PhD study programme places an emphasis on research. PhD candidates are strongly advised to look at the three areas (listed below) which are the focus of the research at the Faculty of Computer Science, and to get in contact with their desired research area before applying. The Selection Committee ranks PhD students based on a comparative assessment of the merits and qualifications of applicants, taking into account also feedback from potential supervisors in the selected research area. RESEARCH AREAS: * KRDB - KNOWLEDGE AND DATA Logic-based languages for knowledge representation Intelligent access to data Semantic technologies Information integration Data-aware process modelling, verification, and synthesis Business process monitoring, mining, and conformance Temporal aspects of data and knowledge Extending database technologies Visual and verbal paradigms for information modelling and exploration Reasoning with Uncertain and Imprecise Knowledge The KRDB Research Centre for Knowledge and Data (web page: ) was founded in 2002, and it currently comprises about 30 researchers, including PhD students. The research activity is focussed on two main areas: (1) intelligent data and information management, with emphasis on modelling of data and on the challenges related to modelling and dealing with structured, complex, and big data; and (2) business processes and data, with the aim of studying the entire process lifecycle including the modelling of business processes and organisations. The KRDB Centre is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational research and application-oriented research. KRDB contact person: Enrico Franconi . * IDSE - INFORMATION AND DATABASE SYSTEMS ENGINEERING Spatial and temporal databases Approximation techniques in databases Query optimisation in databases Cooperative interfaces for information access and filtering Data mining techniques for preference elicitation and recommendation Cloud computing and big data Agile development and human aspects of software engineering Software startups and lean startup methodology Design based hardware engineering Technology enhanced learning Interaction design The research activities in the area of database and information systems engineering focus on key aspects of applied computer science, including data warehousing and data mining, the integration of heterogeneous and distributed databases, time-varying information, data models, and query processing. The research approach is primarily constructive in its outset, and it includes substantial experimental and analytical elements. The development activities cover the design of data models and structures, and the development of algorithms, data structures, languages, and systems. The experimental activities verify real world artefacts with the help of prototypes and simulations. The analytic activities include the analysis of the algorithmic complexity and the evaluation of languages. The main goal is theoretically sound results that solve real world problems. * SERG - SOFTWARE ENGINEERING Empirical software engineering Mining software repositories Software reliability and testing Automatic improvement and empirical investigation of software quality attributes Recommendation systems in software engineering Software system behaviour The research topics in software engineering are focused on the empirical and quantitative study of innovative models for software development. The target analysis techniques include both traditional statistics, and new approaches, such as computational intelligence, Bayesian models, and meta-analytical systems. The innovative software development techniques include (a) methods based on lean management, such as agile methods, with a specific interest for benchmarking and identification of defects, and (b) open source development models, with specific attention for self organising systems and the analysis of the resulting quality aspects. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From peter.schuller at marmara.edu.tr Thu Apr 21 23:12:56 2016 From: peter.schuller at marmara.edu.tr (Peter Schueller) Date: Fri, 22 Apr 2016 00:12:56 +0300 (EEST) Subject: Final CFP and Deadline Extension ICLP 2016, New York City: 32nd International Conference on Logic Programming, Oct 17-21 Message-ID: <20160421211256.A111C2C0282@omsievews> Final Call For Papers and Deadline Extension 32nd International Conference on Logic Programming New York City, USA October 17-21, 2016 http://software.imdea.org/Conferences/ICLP2016/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the pre- mier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Han- dling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Soft- ware Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates Paper registration (abstract): 29 April, 2016 (extended deadline, firm) Submission deadline: 6 May, 2016 (extended deadline) Notification to authors: 17 June, 2016 Revision deadline (when needed): 8 July, 2016 Final notification: 22 July, 2016 Camera-ready copy due: 5 Aug, 2016 Conference: 17-21 Oct, 2016 Submission Details Submissions of regular papers must be made in the condensed TPLP format (see http://software.imdea.org/Conferences/ICLP2016/TPLP-ICLP-2016.tar) via Easy- Chair (see http://www.easychair.org/conferences/?conf=iclp2016). A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets which do not count towards this limit and which will be available as appendices to the published paper. We accept three kinds of papers: - Technical papers for technically sound, innovative ideas that can advance the state of logic programming; - Application papers that impact interesting application domains; - System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge Uni- versity Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the deci- sion period). The program committee may recommend some papers to be published as technical communications. Technical communications (TCs) will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs) (http://www.dagstuhl.de/publikationen/oasics/). These TC papers should not exceed 14 pages including bibliography. Authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the TCs. This should allow authors to submit a long version elsewhere. All regular papers and regular TCs will be presented during the conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Pro- gramming Newsletter at no cost. Conference Organization General Chairs: Michael Kifer Stony Brook University, USA Neng-Fa Zhou City University of New York, USA Program Chairs: Manuel Carro UPM and IMDEA Software Institute, Spain Andy King University of Kent, UK Workshop Chair: Marcello Balduccini Drexel University, USA Publicity Chair: Peter Schueller Marmara University, Turkey Doctoral Consortium Chairs: Marina De Vos University of Bath, UK Neda Saeedloei University of Minnesota Duluth, USA Programming Contest Chair: Paul Fodor Stony Brook University, USA Web Presence: Joaquin Arias IMDEA Software Institute, Spain Program Committee: Marcello Balduccini Drexel University, USA Mutsunori Banbara Kobe University, Japan Roman Bartak Charles University, Czech Republic Pedro Cabalar University of Corunna, Spain Mats Carlsson SICS, Sweden Manuel Carro UPM and IMDEA Software Institute, Spain Michael Codish Ben-Gurion University of the Negev, Israel Marina De Vos University of Bath, UK Agostino Dovier Universita degli Studi di Udine, Italy Gregory Duck National University of Singapore, Singapore Esra Erdem Sabanci University, Turkey Wolfgang Faber University of Huddersfield, UK Thom Fruehwirth University of Ulm, Germany John Gallagher Roskilde University, Denmark, and IMDEA Software Institute, Spain Marco Gavanelli Universita degli Studi di Ferrara, Italy Martin Gebser University of Potsdam, Germany Michael Hanus CAU Kiel, Germany Katsumi Inoue NII, Japan Gerda Janssens KU Leuven - University of Leuven, Belgium Andy King University of Kent, UK Ekaterina Komendantskaya Heriot-Watt University, UK Michael Leuschel University of Dusseldorf, Germany Vladimir Lifschitz University of Texas, USA Jose F. Morales IMDEA Software Institute, Spain Enrico Pontelli New Mexico State University, USA Jorg Puhrer Leipzig University, Germany Ricardo Rocha University of Porto, Portugal Zoltan Somogyi Independent Researcher, Australia Harald Sondergaard University of Melbourne, Australia Theresa Swift NOVALINKS, US, and UNL, Portugal Francesca Toni Imperial College London, UK Irina Trubitsyna University of Calabria, Italy Mirek Truszczynski University of Kentucky, USA Alicia Villanueva Universitat Politecnica de Valencia, Spain Jan Wielemaker VU University Amsterdam, Netherlands Stefan Woltran TU Wien, Austria Fangkai Yang Schlumberger Inc., USA Jia-Huai You University of Alberta, Canada Workshops The ICLP 2016 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportuni- ties for intensive discussions and project collaboration. Autumn School on Computational Logic A school on computational logic is planned. More up to date information will be available at the conference Web page. Doctoral Consortium The Twelfth Doctoral Consortium (DC) on Logic Programming provides research students with the opportunity to present and discuss their research direc- tions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Conference Venue The venue will be the Sheraton LaGuardia East Hotel in Flushing, New York City. New York City is an international tourist destination, receiving 56 million tourists in 2014 alone. Several sources have ranked New York the most photographed city in the world. Times square, known as the city's heart, is the brightly illuminated hub of the Broadway theatre district. The Statue of Liberty greets new arrivals to the Americas by ship in the late 19th and early 20th century, and is a globally recognized symbol of the United States. Flush- ing is associated by many with the National Tennis Centre, since Flushing Meadows has been the home of the US Open Grand Slam tennis tournament every year since 1978. New York is the most populous city in the United States and one of the most populous urban agglomerations in the world. Situated in one of the world's largest natural harbours, New York City consists of five boroughs, each of which is a separate county of New York State. The conference hotel is situated in the Queens borough, just a two-minute walk from the Flushing-Main Street rail station. Direct train lines take you directly from there to Times Square in just over 45 minutes, which is fast for New York City. The Museum of Modern Art can be reached in under 40 mins, Grand Central Terminal in 40 mins, the Empire State Building under 50 mins, and The High Line Park in 50 minutes. The hotel is also close to LaGuardia Airports and JFK. LaGuardia is just 3 miles away and the hotel offers a complementary shuttle service. John F. Kennedy International Airport (JFK) is 10 miles away and can be reached within 30 minutes by taxi. The hotel is situated in a vibrant Asian district that offers a variety of Eastern cuisine, as well as many stores and shops. Sponsor The conference is sponsored by the Association for Logic Programming (ALP). Financial Assistance The Association for Logic Programming has funds to assist financially disad- vantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. From frank.loebe at informatik.uni-leipzig.de Fri Apr 22 21:46:29 2016 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Fri, 22 Apr 2016 21:46:29 +0200 Subject: ODLS 2016: 1st Call for Papers (Workshop on Ontologies and Data in Life Sciences, Sep 29-30, Halle (Saale), Germany) Message-ID: <571A7F95.6070508@informatik.uni-leipzig.de> (apologies for cross-posting) ... (please distribute) ------------------------------------------------------- 1st Call for Papers >> ODLS 2016 << Submission deadline: June 22, 2016 https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS ------------------ Workshop on Ontologies and Data in Life Sciences (ODLS 2016) Sep 29-30, 2016 Halle (Saale), Germany Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, interpretation and application presents ever new challenges to existing methods of knowledge representation, data bases, and data analysis. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences ranges from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This integrated workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing, across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share knowledge and experience at ODLS. Topics ------ The following topics are of (equal) relevance for the workshop. Submissions regarding other related topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of Big Data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- Submission of contributions: June 22, 2016 (Wed) <-- strict Author notification: August 25, 2016 (Thu) Camera-ready manuscripts due: September 15, 2016 (Thu) Registration: September 18, 2016 (Sun) ODLS Workshop: September 29-30, 2016 (Thu-Fri) Please NOTE: The deadlines include no room for extensions. Especially, the submission deadlines are specified as intended from the beginning, rather than declaring earlier dates in this call and granting an (initially unknown) deadline extension later. Submission Instructions ----------------------- Submissions to the workshop can be * abstracts of 1-2 pages or * papers of 4-6 pages (any such length is equally welcome; 6 pages is the strict maximum, including references). Contributions in English are highly recommended, but submissions in German can also be accepted. Besides original submissions, __abstracts__ on work accepted for and possibly already presented at other events can likewise be accepted. The preferred file format for submissions is PDF, other admitted formats are Microsoft Word (DOC and DOCX) and Postscript (PS). Corresponding templates for submissions will be available shortly at the ODLS website [1]. Contributions must be submitted via the EasyChair conference system at [2] https://easychair.org/conferences/?conf=odls2016 Accepted abstracts and papers will be made available electronically by the date of the workshop. After the workshop, authors of selected submissions will be invited to submit revised and extended versions to a journal. Please see [1] for updates on the specific journal. Scientific Organization ----------------------- ODLS 2016 is associated with the group Ontologies in Biomedicine and Life Sciences (OBML) [3] within the German Informatics Society (GI), and it is a Supported Event of the International Association for Ontology and its Applications (IAOA) [4]. Scientific Co-organizers: * Martin Boeker, University of Freiburg * Heinrich Herre, University of Leipzig * Ludger Jansen, University of Rostock * Frank Loebe, University of Leipzig <-- main contact [5] * Daniel Schober, Leibniz Institute of Plant Biochemistry, Halle (Saale) Location and Local Organization ------------------------------- The workshop is hosted by the Leibniz Institute of Plant Biochemistry (IPB) [6] in Halle (Saale), Germany. Local Co-organizers: * Daniel Schober, <-- main local contact [7] AG Bioinformatics & Mass Spectrometry, IPB * Steffen Neumann, AG Bioinformatics & Mass Spectrometry, IPB * Stefan Brass, Institute for Computer Science, Martin-Luther-University of Halle-Wittenberg Program Committee ----------------- TBA (see [1] for updates) Keynote Speaker(s) ------------------ TBA (at least one invited talk is expected, see [1] for updates) Sponsor ------- The organizers acknowledge generous sponsorship by OntoChem IT Solutions [8], Halle (Saale), Germany. Links ----- [1] Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2016-ODLS http://tinyurl.com/odls-2016 [2] EasyChair submission site https://easychair.org/conferences/?conf=odls2016 [3] OBML website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [4] IAOA website http://iaoa.org/ [5] Main contact: Frank Loebe https://wiki.imise.uni-leipzig.de/FrankLoebe [6] Local organization website http://www.ipb-halle.de/en/ [7] Local main contact: Daniel Schober http://www.ipb-halle.de/en/employee/daniel-schober/ [8] OntoChem IT Solutions (Sponsor) website http://www.ontochem.de/ ------------------------------------------------------- From Horatiu.Cirstea at loria.fr Sat Apr 23 09:58:37 2016 From: Horatiu.Cirstea at loria.fr (Horatiu Cirstea) Date: Sat, 23 Apr 2016 09:58:37 +0200 Subject: WPTE 2016 - deadline extended until April 27 Message-ID: <77121683-8341-4991-BC0C-DB9E7BD8EA00@loria.fr> [We apologize if you have received multiple copies of this message] [Please disseminate] ======================================================================================== Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2016 affiliated with FSCD 2016 23 June, 2016, Porto, Portugal http://project.inria.fr/wpte2016/ ****************************************************************** ***** ***** ***** New submission deadline: April 27 ***** ***** ***** ****************************************************************** ======================================================================================== Aims and Scope ============== The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. The previous WPTE were held in Vienna 2014, and Warsaw in 2015. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speaker =============== Beniamino Accattoli Proceedings =========== The WPTE post-proceedings will be published in in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). Extended abstracts of work in progress are not included in the EPTCS proceedings but they will be included in the USB memory which is distributed to the FSCD participants. Paper Submissions ================= WPTE accepts two different kinds of contributions: * Full-papers: ------------ Full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. Accepted papers will be included in the formal proceedings after revision. * Work in progress: ----------------- There will also be a slot for presenting work in progress. An extended abstract of at most 10 pages is required to be submitted. These contributions will not be included in the formal proceedings for full-papers but they will be distributed to the workshop participants. One author of each accepted paper or abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Important Dates =============== * Submission deadline: April 27th, 2016 * Notification of acceptance: May 13th, 2016 * Deadline for camera-ready proceedings: May 27th, 2016 * Workshop: June 23rd, 2016 Weblinks ======== * EasyChair Submission Website https://easychair.org/conferences/?conf=wpte2016 * Homepage of WPTE 2016 http://project.inria.fr/wpte2016 * FSCD 2016 http://fscd2016.dcc.fc.up.pt/ Program Committee ================= Takahito Aoto (Niigata University) Yuki Chiba (JAIST) Horatiu Cirstea (LORIA, Université de Lorraine, France) - chair Fer-Jan de Vries (University of Leicester) Santiago Escobar (Universitat Politècnica de València) - chair Maribel Fernández (King's College London) Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht) Delia Kesner (Université Paris-Diderot) Sergueï Lenglet (Université de Lorraine) Elena Machkasova (University of Minnesota, Morris) William Mansky (University of Pennsylvania) Georg Moser (University of Innsbruck) Joachim Niehren (INRIA Lille) Naoki Nishida (Nagoya University) Kristoffer H Rose (Two Sigma Investments, LLC) David Sabel (Goethe-University Frankfurt am Main) Masahiko Sakai (Nagoya University) Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main) Janis Voigtländer (University of Bonn) Johannes Waldmann (HTWK Leipzig) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Apr 24 19:19:03 2016 From: grlmc at grlmc.com (GRLMC) Date: Sun, 24 Apr 2016 19:19:03 +0200 Subject: SLSP 2016: 3rd call for papers Message-ID: <545102060a010b0609575903070953035405575951000f5555555d54520706515154035107000204075755060f00@grlmc_ip-zone_com-6> SLSP 2016: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   4th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2016   Pilsen, Czech Republic   October 11-13, 2016   Organized by:   Department of Computer Science and Engineering Department of Cybernetics University of West Bohemia   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2016/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2016, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2016 will take place in Pilsen, nominated one of the two European Capitals of Culture in 2015. The venue will be the the NTIS research centre at the Faculty of Applied Sciences of the University of West Bohemia.   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2016 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Walter Daelemans (University of Antwerp), Advances in Statistical Approaches to Personality Prediction from Text   Julia Hirschberg (Columbia University), Identifying Sentiment and Emotion in Low Resource Languages   Mari Ostendorf (University of Washington), Continuous-space Language Processing: Beyond Word Embeddings   PROGRAMME COMMITTEE:   Srinivas Bangalore (Interactions LLC, Murray Hill, USA) Roberto Basili (University of Rome Tor Vergata, Italy) Jean-François Bonastre (University of Avignon, France) Nicoletta Calzolari (National Research Council, Pisa, Italy) Marcello Federico (Bruno Kessler Foundation, Trento, Italy) Guillaume Gravier (IRISA, Rennes, France) Gregory Grefenstette (INRIA, Saclay, France) Udo Hahn (University of Jena, Germany) Thomas Hain (University of Sheffield, United Kingdom) Dilek Hakkani-Tür (Microsoft Research, Mountain View, USA) Mark Hasegawa-Johnson (University of Illinois, Urbana, USA) Xiaodong He (Microsoft Research, Redmond, USA) Graeme Hirst (University of Toronto, Canada) Gareth Jones (Dublin City University, Ireland) Tracy Holloway King (A9.com, Palo Alto, USA) Tomi Kinnunen (University of Eastern Finland, Joensuu, Finland) Philipp Koehn (University of Edinburgh, United Kingdom) Pavel Král (University of West Bohemia, Pilsen, Czech Republic) Claudia Leacock (McGraw-Hill Education CTB, Monterey, USA) Mark Liberman (University of Pennsylvania, Philadelphia, USA) Qun Liu (Dublin City University, Ireland) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair) Alessandro Moschitti (University of Trento, Italy) Preslav Nakov (Qatar Computing Research Institute, Doha, Qatar) John Nerbonne (University of Groningen, The Netherlands) Hermann Ney (RWTH Aachen University, Germany) Vincent Ng (University of Texas, Dallas, USA) Jian-Yun Nie (University of Montréal, Canada) Kemal Oflazer (Carnegie Mellon University – Qatar, Doha, Qatar) Adam Pease (Articulate Software, San Francisco, USA) Massimo Poesio (University of Essex, United Kingdom) James Pustejovsky (Brandeis University, Waltham, USA) Manny Rayner (University of Geneva, Switzerland) Paul Rayson (Lancaster University, United Kingdom) Douglas A. Reynolds (Massachusetts Institute of Technology, Lexington, USA) Erik Tjong Kim Sang (Meertens Institute, Amsterdam, The Netherlands) Murat Saraçlar (Boğaziçi University, İstanbul, Turkey) Björn W. Schuller (University of Passau, Germany) Richard Sproat (Google, New York, USA) Efstathios Stamatatos (University of the Aegean, Karlovassi, Greece) Yannis Stylianou (Toshiba Research Europe Ltd., Cambridge, United Kingdom) Marc Swerts (Tilburg University, The Netherlands) Tomoki Toda (Nagoya University, Japan) Xiaojun Wan (Peking University, Beijing, China) Andy Way (Dublin City University, Ireland) Phil Woodland (University of Cambridge, United Kingdom) Junichi Yamagishi (University of Edinburgh, United Kingdom) Heiga Zen (Google, Mountain View, USA) Min Zhang (Soochow University, Suzhou, China) Pierre Zweigenbaum (LIMSI, Orsay, France)   ORGANIZING COMMITTEE:   Tomáš Hercig (Pilsen) Carlos Martín-Vide (Tarragona, co-chair) Manuel J. Parra (Granada) Daniel Soutner (Pilsen) Florentina Lilica Voicu (Tarragona) Jan Zelinka (Pilsen, co-chair)   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, proofs, 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=slsp2016   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2014 impact factor: 1.753) 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 registration form can be found at:   http://grammars.grlmc.com/SLSP2016/Registration.php   DEADLINES:   Paper submission: May 17, 2016 (23:59 CET) Notification of paper acceptance or rejection: June 21, 2016 Final version of the paper for the LNCS/LNAI proceedings: July 1, 2016 Early registration: July 1, 2016 Late registration: September 27, 2016 Submission to the journal special issue: January 13, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   SLSP 2016 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:   Západočeská univerzita v Plzni Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From K.V.Hindriks at tudelft.nl Mon Apr 25 11:57:06 2016 From: K.V.Hindriks at tudelft.nl (Koen Hindriks - EWI) Date: Mon, 25 Apr 2016 09:57:06 +0000 Subject: PhD Position in Human-Robot Teamwork @ Delft University of Technology Message-ID: At Delft University of Technology, we are looking for a PhD candidate with a background in computer science/Artificial Intelligence, experience with semantic web languages and ontology design, and experience with human-robot interaction. The PhD project is part of the EU project Long-Term Human-Robot Teaming for Robot-Assisted Disaster Response (TRADR; see http://www.tradr-project.eu/). Using a human-centred design methodology, we develop decision support for human-robot teams to assist in disaster response efforts over multiple sorties during a mission. Semantic web technologies will be used to make the experience of the team persistent and to support establishing situation awareness within a team of human operators and robots over multiple, possibly asynchronous sorties. An ontological knowledge base and agent-based reasoning mechanisms are being developed to harmonise the team's work and information processes with the available human-robot resources and the dynamic context of these sorties. The focus of the PhD will be on the development of tools to enhance team awareness and to support coordination of the human-robot team. Part of the work will therefore involve developing the display logic of a user interface for exchanging and sharing information within the team. The situational awareness tools and components will be integrated into the cognitive agent framework that supports coordination of the team. The goal of this work is to establish a more seamless interaction between robots and humans in human-robot teamwork situations. Deadline for application May 31. Please visit http://ii.tudelft.nl/?q=node/8201 for more information on how to apply. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From youakim.badr at insa-lyon.fr Mon Apr 25 13:19:21 2016 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Mon, 25 Apr 2016 13:19:21 +0200 (CEST) Subject: CFP: ACM MEDES 2016 (Biarritz, France) Message-ID: <981716848.14746418.1461583161201.JavaMail.zimbra@insa-lyon.fr> * Please distribute widely and accept our apologies for cross-posting * *************** CALL FOR PAPERS *************** The 8th International Conference on Management of Digital EcoSystems (MEDES'16) In-Cooperation with ACM, ACM SIGAPP and IFIP WG 2.6 http://sigappfr.acm.org/MEDES/16/ November 1-4, 2016 Biarritz, France Description and Objectives --------------------------- In the world of the Internet of Things (IoT), the rapid growth and exponential use of digital components leads to the emergence of intelligent environments namely "digital ecosystems" connected to the web and composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. With the help of the computational intelligence, these digital ecosystems can exhibit new self-* properties (such as self-management, self-healing and self-configuration) environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying web-based resources mainly comprehend big data management, innovative services, smart and self-* properties platforms. Due to the multi-disciplinary nature of digital ecosystems, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative, intelligent and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as big data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International Conference on Management of Digital EcoSystems (MEDES),previously named "The International Conference on Management of Emergent Digital EcoSystems", aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. MEDES 2016 calls for full papers presenting interesting recent results or novel ideas in all areas of Emergent Digital EcoSystems. At the same time, the conference calls for short papers presenting interesting and exciting recent results or novel thought-provoking ideas that are not quite ready, and preferably include a system demonstration. Topics ------- MEDES 2015 seeks contributions in the following 10 areas: 1. Digital Ecosystem Infrastructure 2. Green computing 3. Computational and Collective Intelligence 4. Services 5. Trust, Security & Privacy 6. Data & Knowledge Management 7. Internet of Things and Intelligent Web 8. Human-Computer Interaction 9. Networks and Protocols 10. Open Source Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. The submitted paper should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. After the preliminary notification date, authors rebut by evidence and arguments all reviewer inquiries and their comments. Based on the rebuttal feedback, reviewers notify authors with the final decision. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library and DBLP. Important Dates ---------------- - Submission Deadline: May 20th, 2016 - Notification of Acceptance: July 25th, 2016 - Camera Ready: August 25th, 2016 - Paper Registration: August 25th, 2016 - Conference Dates: 1-4 November 2016 Advisory Chairs ---------------- Yannis Manolopoulos, Aristotle University of Thessaloniki, Greece Ernesto Damiani, Universita' degli Studi di Milano, Italy Program Chairs ---------------- Ismail Biskri, Université du Québec à Trois-Rivières, Canada Rajeev Agrawal, North Carolina A&T State University, USA International Program Committee: -------------------------------- (Please check the web site for the full list) From asdm at fi.upm.es Mon Apr 25 16:11:39 2016 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Mon, 25 Apr 2016 16:11:39 +0200 (CEST) Subject: Eleventh Madrid UPM Advanced Statistics and Data Mining Summer School (June 27th - July 8th, 2016) - Early registration reminder Message-ID: <991699868.11.1461593499598.JavaMail.bojan@bojan> Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school is open until June 6th. The summer school will be held in Boadilla del Monte, near Madrid, from June 27th to July 8th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. For the second time in a row, INOMICS has selected our summer school as one of the world's top ten summer schools in mathematics and statistics. You can read more at http://bit.ly/1TweJjj Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and Laura Anton-Sanchez. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 27th - July 1st, 2016) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Descriptive methods for time series. Linear models for time series. Extensions. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Practical session: Python with keras and Jupyter notebooks. Course 6: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. * Week 2 (July 4th - July 8th, 2016) * 1st session: 9:45-12:45 Course 7: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. Course 8: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Introduction. Language Modeling. Text Similarity. Text Classification. Information Extraction. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Advanced topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization for regularized learning. Practical session: Python with scikit-learn, Jupyter notebooks. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. If you wish to stop receiving emails regarding the Madrid UPM Advanced Statistics and Data Mining summer school, please reply to this email with the title STOP. From alqithami at gmail.com Mon Apr 25 23:34:33 2016 From: alqithami at gmail.com (Saad Alqithami) Date: Mon, 25 Apr 2016 16:34:33 -0500 Subject: 1st CFP: Internet of Agents Message-ID: The First International Workshop on the Internet of Agents (IoA) - In conjunction with WI conference - Omaha, Nebraska: October 13, 2016 - http://www2.cs.siu.edu/~salqithami/ioa/ - [ CALL FOR PAPER ] : On the confluence between Multi-Agent Systems (MAS) and the Internet of Things (IoT), there is a strong ongoing trend for the IoT to seize the intelligent nature/architecture of the MAS. In the Internet of Agents (IoA) workshop, we aim to understand the current range of nascent network centric agents. At one end of the spectrum, this includes agents’ efforts to form collaborative units. On the other end of the spectrum, we seek to understand techniques and methodologies for constructing online agents that represent interests of their actual counterparts and take actions autonomously. This workshop will reflect the impacts of the dynamic network proliferation and start of smart agent systems that exploit and explore opportunities heralded by the fast social-pace of interconnectivity. Smart agents are aware of the social climate of their environment while performing their design tasks or multitasks. They account for interactions with other agents so as to perform social acts in order to complement their physical and speech acts. This workshop emphasizes on the operational elements of the dynamic network that facilitate intelligence on the Internet. Social and cognitive foundations surrounding IoA that include nature of interactions among agents engaged in a meaningful exchange are of special interest. The workshop will feature invited talks by leading researchers and an exciting collection of oral presentations as well as an interactive poster session. - [ WORKSHOP OBJECTIVES AND AREAS ] : The workshop seeks to attract papers concerning: - Discussing general challenges of IoA and potential solutions, - Presenting a novel architecture of IoA, - Describing experiments or prototype design for IoA, or - Presenting successful applications combining IoT and MAS This can be through a theoretical analysis or simulation methods. Papers may address one or more of the listed topics, although authors should not feel limited by them. All topics and submission formats are open to both research and industry contributions. - Agents-based interactive environments - Architectures of cognitively reasoned interactions - Cooperation and collaboration mechanisms - Collective benefits of political fallouts and economic externalities - Computational models of distributed technologies - IoT/M2M applications and services employing MAS - Globalized networks and grid alliances - Network-centric warfare, individualism or organizations - Smart societies and cities deploying protocols of an IoA - [ IMPORTANT DATES ] : Submission DEADLINE: JUNE 1, 2016 Notification of acceptance: June 25, 2016 - For submission instructions and more information, visit: http://www2.cs.siu.edu/~salqithami/ioa/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Jeremy.Gibbons at cs.ox.ac.uk Tue Apr 26 17:36:14 2016 From: Jeremy.Gibbons at cs.ox.ac.uk (Jeremy.Gibbons at cs.ox.ac.uk) Date: Tue, 26 Apr 2016 16:36:14 +0100 Subject: Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016 Message-ID: <201604261536.u3QFaEOe022430@linux1.cs.ox.ac.uk> SUMMER SCHOOL ON BIDIRECTIONAL TRANSFORMATIONS Lady Margaret Hall, Oxford, UK 25th to 29th July 2016 http://www.cs.ox.ac.uk/projects/tlcbx/ssbx/ TOPIC Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have applications in databases, user interface design, model-driven development, and many other domains. This summer school is one of the closing activities on the "Theory of Least Change for BX" project at Oxford and Edinburgh (http://www.cs.ox.ac.uk/projects/tlcbx/). It brings together leading researchers in BX, spanning theory and practice, for a week of lectures in beautiful Oxford. It will be aimed at doctoral students in computer science, but will also be suitable for strong master's students and for researchers. LECTURERS Anthony Anjorin, University of Paderborn, DE "Bx with Triple Graph Grammars" Martin Hofmann, Ludwig-Maximilians-Universitaet Muenchen, DE "Modular Edit Lenses" Zhenjiang Hu, National Institute of Informatics, JP "Principles and Practice of Putback-based Bidirectional Programming in BiGUL" Mike Johnson, Macquarie University, AU "Mathematical Foundations of Bidirectional Transformations" Richard Paige, University of York, UK "Engineering Bidirectional Transformations" The TLCBX team, Universities of Edinburgh and Oxford, UK will introduce, say a bit about TLCBX results, and conclude VENUE The school will take place at Lady Margaret Hall (http://www.lmh.ox.ac.uk/) in leafy North Oxford, right next to the University Parks and the River Cherwell and a short walk from the City Centre. LMH is one of the constituent colleges of the University of Oxford; it was founded in 1878 as the first women's college in Oxford. Our lectures will take place in the splendid Simpkins Lee Theatre in the Pipe Partridge Building, completed in 2010. REGISTRATION Details to follow - please keep an eye on the webpage. The Summer School is financially partially supported by EPSRC, and we hope to keep costs low: an early registration fee of £200 (or £150 for students) if booked before the early registration deadline of 10th June, rising to £250 (or £200 for students) after that point. The registration fee includes lunches, coffee breaks, and a banquet one evening. We have reserved bed-and-breakfast accommodation in college, at £62.50 per night in an ensuite room, £58 per night standard; those rooms will be released after the early registration deadline, after which point there will be no guarantee of accommodation. Space is limited; there is room for 40 students. FURTHER INFORMATION More information is on the summer school webpage: http://www.cs.ox.ac.uk/projects/tlcbx/ssbx/ For questions about registration or administrative matters, please contact Karen.Barnes at cs.ox.ac.uk. For questions about academic matters, please contact any of the organizers: Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens * Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ From leon.vandertorre at uni.lu Wed Apr 27 12:06:39 2016 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Wed, 27 Apr 2016 12:06:39 +0200 Subject: Postdoc position in Cognitive and Social Robotics at the University of Luxembourg Message-ID: <57208F2F.30802@uni.lu> The University of Luxembourg invites applications for a Postdoc position in Cognitive and Social Robotics in the Computer Science and Communications Research Unit (CSC) of the Faculty of Science, Technology and Communication (FSTC). The Individual and Collective Reasoning Group (ICR) of Prof. Leon van der Torre is seeking an outstanding postdoc to strengthen its research team in the area of cognitive/AI-based robotics and to help developing the Robolab, the "autonomous robotics" lab of the CSC research unit. The research interests of ICR, which also collaborates with other local robotics groups, include normative multi-agent systems, deontic reasoning (with machine ethics), and knowledge representation and reasoning for intelligent agents/robots. One of our visions are social robots able to meaningfully interact with their human partners. The postdoc is expected to pursue state of the art research activities in social and cognitive robotics, to collaborate with researchers in and outside of ICR, to help managing the robolab, to write research proposals, to supervise PhD and master students, to moderately contribute to teaching in relevant areas, and to participate in public activities. He/she will work under the supervision of Prof. Leon van der Torre. Profile of the candidate: - PhD in any discipline relevant to this area of research. - Expertise in cognitive robotics and robotic software development. - A background in logic and knowledge representation. - Fluent written and verbal communication skills in English. - Commitment, creativity, and teamwork skills. Profile of the employer: - The salary is very competitive. - You will work in a stimulating international and interdisciplinary environment. - The University of Luxembourg is an equal opportunity employer. Nature of the position: - Ref: F1-070022. - Duration: 24 months initial contract, extendable by 12 months, full-time (40h/week). - Start: September 15, 2016, or earlier. Note that non-EU candidates need quite some time for their visa and work permits. Submission applications (electronically): http://emea3.mrted.ly/11e64 - send a detailed CV (contact address, studies with grades, work experience, publication list), - an abstract of your thesis, - a list of 3 referees, - a motivation letter, - a description of possible research interests/ideas Application deadline: June 30, 2016. Applications are processed until the vacancy is filled. From ijwa at dline.info Wed Apr 27 13:41:35 2016 From: ijwa at dline.info (ijwa at dline.info) Date: Wed, 27 Apr 2016 17:11:35 +0530 Subject: RTIS 2016 Message-ID: First International Conference on Real Time Intelligent Systems (RTIS 2016) Beijing, China September 01-03, 2016) http://www.socio.org.uk/rtis/ http://www.dirf.org/rtis/ The Proceedings will be published in the Proceedings of the First International Conference on Real-Time Intelligent Systems, Volume 1 RTIS 2016. (http://www.springer.com/series/11156) About the Conference Real-Time Computing covers a broad spectrum of the intensively developing area of low-latency priority-driven system responsiveness under certain time constrains to essential and decisive human-computer interactions with constantly incoming data stream. Research on real-time intelligent systems is of a multi-disciplinary nature, exploiting concepts from the areas as diverse as signal processing technologies, computational intelligence, location systems, data processing, digital document processing and embedded system design. To accomplish its real-time performance, systematic analysis is carried out when the systems are working. Therefore, over the last few years real-time intelligent computing has radically transformed human life style. In the today's competitive and highly dynamic environment, analyzing data in real time is a must to understand in detail how the systems are processing the data and to reason the outputs and anticipate the trends in intelligent computing, has become critical. To leverage the full potential of the opportunity build complex real time systems, intense research is required and this conference will serve as one such platform to manifest the ongoing research in the real time intelligence system. The conference welcomes theoretically grounded, methodologically sound research papers from academia and industry that address variety of aspects and innovations related to real-time computing systems. The scope of the conference includes, but is not limited to the following areas: Streaming data, streaming engines Big Data systems and applications for high-velocity data Analysis in advanced domains such as energy, sensors, etc Artificial Intelligence Broadband Intelligence Cloud Computing and Intelligence Collaborative Intelligence Crowdsourcing and crowd intelligence Data capture in real-time Intelligent Database Systems Data mining Intelligent Data Analysis OLAP for real-time decision support Data quality and cleansing Intelligent Fuzzy Systems Event-driven analytics Visualizing real-time data and information Intelligent Soft Computing Privacy and security in Intelligence Architectures for Intelligence Internet of Things Intelligent Robotic Systems Smart Services and Platforms Intelligent Transportation Systems Mobile Smart Systems Trace-based intelligent real-time services (eye-tracking, image tracking) Real-time intelligent alert systems Machine translation in real time Multilingual information access Multiagent Intelligent Systems Intelligent Information Systems Adaptive vision algorithms Real-time Intelligent Network solutions Real-time distributed coding Real-time modelling user’s information needs Real-time noise removal systems Real-time intelligent communication Real-time remote access systems Decision support systems in real time Real-time multiprocessor systems Submissions at: http://www.socio.org.uk/rtis/paper-submission/ The Proceedings will be published in the Proceedings of the 1st International Conference on Real-Time Intelligent Systems, Volume 1 RTIS 2016. (http://www.springer.com/series/11156) Important Dates Paper Submission: June 15, 2016 Paper Notification: July 05, 2016 Camera ready: August 01, 2016 Registration: August 15, 2016 Conference Dates: September 01-03, 2016 The RTIS will have Doctoral Consortium, DEMO Session, Journal Track, Mentorship Programme, Ph.D. Dissertation Competition, Proofread translation program and Virtual Presentation (Video Conferencing) The following journals will accommodate the extended versions of the papers. -Artificial Intelligence in Medicine -Engineering Applications of Artificial Intelligence – The International Journal of Intelligent Real-Time Automation -Computers in Human Behaviour -Virtual Reality -The Journal of Intelligent Systems -Journal of Digital Information Management (JDIM) -International Journal of Imaging & Robotics -International Journal of Tomography & Simulation Submissions at: http://www.socio.org.uk/rtis/paper-submission/ CONTACT: rtis at socio.org.uk ------------------------------------------------------------------------------------------------------------------------------------------------- From N.Bulling at tudelft.nl Thu Apr 28 09:57:41 2016 From: N.Bulling at tudelft.nl (Nils Bulling - EWI) Date: Thu, 28 Apr 2016 07:57:41 +0000 Subject: Call for Participation: 18th European Agent Systems Summer School (EASSS) Message-ID: <8E7DA19E-4656-455D-BF85-64AC26303D70@tudelft.nl> ****************************************************************************** * CALL FOR PARTICIPATION * 18th European Agent Systems Summer School (EASSS-2016) to be held at the University of Catania, Catania, Italy 25-30 July 2016 Web page: http://easss2016.dmi.unict.it Full Tutorial list: **** SEE BELOW **** Contact: easss2016 at dmi.unict.it ***************************************************************************** *** ABOUT EASSS-2016 ***************************************************************************** Since 1999, the annual European Agent Systems Summer School (EASSS) has provided a forum for knowledge exchange between various research groups in the field of autonomous agents and multi-agent systems, with the aim of benefiting mainly graduate students and researchers at both beginner and advanced level. The 18th European Agent Systems Summer School will be held at the University of Catania, Catania, Italy, from the 25th to 30th of July 2016. As was the case with its highly successful earlier editions, EASSS-2016 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-agent Systems. The courses are aimed at PhD students, advanced Master's students, and other young researchers, and will be taught by leading researchers in the field. The scheduled tutorials of EASSS-2016 are: * Agents meet the IoT: Towards Ecosystems of Networked Smart Objects - Giancarlo Fortino, University of Calabria, Italy * Complex Event Recognition in Multi-Agent Systems - Alexander Artikis, University of Piraeus, Greece * Simple Models of Opinion Dynamics On Networks. The role of network structure on the emergence of consensus in simple models of opinion dynamics. - Vincenzo Nicosia, Queen Mary University of London, UK * Multi-objective decision making - Shimon Whiteson and Diederik M. Roijers, University of Oxford, Uk * Spatial Multi-Agent Systems - Andrea Omicini, Stefano Mariani, Mirko Viroli, University of Bologna, Italy * Introduction to Judgment Aggregation for Multi-Agent Systems. - Marija Slavkovik, University of Bergen, Norway * Norm synthesis in Normative Multi-Agent Systems - Javier Morales, IIIA-CSIC, Spain * What is “correct” when rules admit exceptions? On default logic and formal argumentation - Truls Pedersen, University of Bergen, Norway - Sjur Dyrkolbotn, Utrecht University, The Netherlands * Programming Conversational Agents with Akka Actors - Maíra Gatti de Bayser and Paulo Cavalin, IBM Research, Brazil * Verification of Autonomous Agents and Multiagent Systems. - Natasha Alechina and Brian Logan, University of Nottingham, UK * Model Driven Agent-Oriented Software Engineering - Nikolaos Spanoudakis, Technical University of Crete, Greece * Optimisation in multi­agent systems - Jesús Cerquides Bueno and Juan A. Rodríguez­Aguilar, IIIA-CSIC, Spain * Programming Autonomous Robots using PROFETA and the BDI model - Corrado Santoro, University of Catania, Italy Please visit http://easss2016.dmi.unict.it/?page_id=217 for more details about the list of tutorial. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). ****************************************************************************** *** THE VENUE ****************************************************************************** Catania is the second major city of Sicily; it is a beautiful place that provides, in a unique site, the strength of volcano Etna with the crystal clear sea of the Ionian coast and the historical and archaeological heritage. EASSS participants can enjoy the venue and combine scientific and touristic activities in a single trip. The coast is full of beaches with very different characteristics, ranging from the classical yellow sand, to the black volcanic rocks. And the climate of July strongly calls for swimming and taking sun baths. Not far from Catania, there are many other places to visit which can make the stay an unforgettable experience: Acireale and Noto, full of baroque architecture; Siracusa, Taormina, Piazza Armerina, Agrigento, Selinunte, Segesta, Mothia, with their ancient Greek and Latin ruins; Palermo, which witnesses the presence of the Arabian domination; Acitrezza, a fisherman village in which the famous "Polyphemus vs. Ulysses" event of the Odyssey poem is set; and many many others. ****************************************************************************** *** IMPORTANT DATES ****************************************************************************** Early registration deadline: 27 May 2016 Regular registration deadline: 17 June 2016 Summer school: 25-30 July 2016 ------------- Registration will open on 2 May ----------------- ****************************************************************************** *** FEES ****************************************************************************** Early registration: 340 Eur Regular registration: 360 Eur This includes the participation to the courses, coffee breaks, lunches Monday-Tuesday and Thursday, and online access to the material used during the courses by the teachers. ****************************************************************************** *** GRANTS ****************************************************************************** The European Association for Multi-Agent Systems (EURAMAS) offers some grants towards the costs of students attending EASSS 2016. These grants will cover the early registration fee. Students coming from a European institution are eligible to apply for a grant. In order to apply, it is necessary to submit the following documentation: * A brief CV. * Some proof of full-time graduate or undergraduate student status (for instance, this can simply be a letter or an email from your supervisor or from your departmental office of graduate or undergraduate studies verifying your status). * Letter from the supervisor stating why the grant is necessary to allow the student to attend EASSS 2016. It should mention whether the applicant will be receiving travel support from other sources. All this documentation should be sent (preferably as a zip file of PDF documents) to: easss2016 at dmi.unict.it mentioning "[EASSS-2016] Grant Request" in the e-mail's subject. Priority will be given to those students which have greater need for the grants. A selection will be made based on the submitted documents. Deadline for applications: May 16, 2016 Notification of approval: May 20, 2016 ****************************************************************************** *** SOCIAL PROGRAM ****************************************************************************** A social program will be organised on Wednesday afternoon. It will be a trip on the top of the mount Etna. It will include walks on some specific areas and visits to some caves. The trip will be completed with a typical Sicilian dinner. The cost of the Social Program is expected to be around 60 euros, *not included* in the registration fee (for the moment). ****************************************************************************** *** CO-LOCATED EVENT ****************************************************************************** A workshop is co-located with EASSS-2016; it is the "Workshop 'From Objects to Agents' (WOA-2016)", a per-year meeting of the Italian research group on Agent and Multi-agent Systems. The participation to the workshop is free for all EASSS students and tutors. The language of the workshop is English. Students are invited to submit their papers if they want to share their research ideas and participate to the live discussions. Proceedings will be published on-line in the CEUR-WS website with ISSN. More details can be found on http://woa2016.dmi.unict.it ****************************************************************************** *** EASSS-2016 Committees and Contact ****************************************************************************** Scientific Committee: - Davide Grossi, University of Liverpool, UK - Corrado Santoro, University of Catania, Italy - Amal El Fallah-Seghrouchni, University Pierre et Marie Curie, France Local Organsing Committee: - Massimiliano De Benedetti, University of Catania, Italy - Fabrizio Messina, University of Catania, Italy - Giuseppe Pappalardo, University of Catania, Italy - Corrado Santoro, University of Catania, Italy Contact: easss2016 at dmi.unict.it ****************************************************************************** *** PREVIOUS EDITIONS ****************************************************************************** EASSS has been organised annually in different European locations since 1999. * EASSS-2015 in Barcelona: http://http://www.iiia.csic.es/easss2015 * EASSS-2014 in Chania: http://www.intelligence.tuc.gr/easss2014 * EASSS-2013 in London: http://www.inf.kcl.ac.uk/events/easss13/index.html EASSS-2012/Valencia, Spain; EASSS-2011/Girona, Spain; EASSS-2010/Saint-Etienne, France; EASSS-2009/Torino, Italy; EASSS-2008/Lisbon, Portugal; EASSS-2007/Durham, UK; EASSS-2006/Annecy,France; EASSS-2005/Utrecht, Netherlands; EASSS-2004/Liverpool, UK; EASSS-2003/Bologna, Italy; EASSS-2002/Barcelona, Spain; EASSS-2001/Prague, Czech Republic; EASSS-2000/Saarbrucken, Germany; EASSS-1999/Utrecht, Netherlands ****************************************************************************** From nils.muellner at mdh.se Thu Apr 28 11:41:40 2016 From: nils.muellner at mdh.se (Nils Muellner) Date: Thu, 28 Apr 2016 09:41:40 +0000 Subject: CFP Dependable Software Engineering (SETTA) Message-ID: [Please accept our apologies if you receive multiple copies of this Call for Papers (CFP)] Symposium on Dependable Software Engineering: Theories, Tools and Applications Nov. 9-11, 2016, Beijing, China IMPORTANT DATES (AoE) * Abstract Submission: May 12, 2016 * Full Paper Submission: May 19, 2016 * Notification to Authors: Jul. 15, 2016 * Camera-ready Paper: Aug. 6, 2016 http://lcs.ios.ac.cn/setta/ Background and Objectives The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. Contributions relating to formal methods or integrating them with software engineering, as well as papers advancing scalability or widening the scope of rigorous methods to new design goals are especially welcome. Being hosted in China, the symposium will also provide a platform for building up research collaborations between the rapidly growing Chinese computer science community and its international counterpart. The symposium will support this process through dedicated events and therefore welcomes both young researchers considering international collaboration in formal methods and established researchers looking for international cooperation and willing to attract new colleagues to the domain. Authors are invited to submit papers on original research, industrial applications, or position papers proposing challenges in fundamental research and technology. The latter two types of submissions are expected to contribute to the development of formal methods either by substantiating the advantages of integrating formal methods into the development cycle or through delineating need for research by demonstrating weaknesses of existing technologies, especially when addressing new application domains. Submissions can take the form of either normal or short papers. Short papers can discuss ongoing research at an early stage, including PhD projects. Papers should be written in English. Regular Papers should not exceed 15 pages and Short Papers should not exceed 6 pages in LNCS format. The proceedings will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Formal Aspects of Computing journal. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From prima2016publicity at gmail.com Thu Apr 28 14:06:39 2016 From: prima2016publicity at gmail.com (Nadin Kokciyan) Date: Thu, 28 Apr 2016 15:06:39 +0300 Subject: Final CFP (Extended Deadline May 8): Principles and Practice of Multi-Agent Systems (PRIMA) 2016 Message-ID: (deadline is extended to May 8) ----------------------------------------------------------------- *Principles and Practice of Multi-Agent Systems (PRIMA 2016)* August 22‐26, 2016, Phuket, Thailand URL: http://prima2016.di.unito.it Co‐located with PRICAI 2016 (Pacific Rim International Conference on Artificial Intelligence) ----------------------------------------------------------------- *Key Dates* ! ! ! N E W ! ! ! ONE WEEK EXTENSION ! ! ! ----------------------------------------------------------------- Abstract submission deadline: 6 May 2016 !! NEW !! Full paper submission deadline: 8 May 2016 !! NEW !! Notification of acceptance: 15 June 2016 Camera‐ready version: 30 June 2016 ----------------------------------------------------------------- Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are be‐ coming more decentralized, with components that represent autono‐ mous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e‐business and smarts grids. A multiagent worldview is crucial to properly conceptual‐ izing, building, and governing such systems. It offers abstrac‐ tions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still grow‐ ing research field of Computer Science, multiagent systems today remains a unique enabler of interdisciplinary research. ----------------------------------------------------------------- *Submission - main track and special track* ----------------------------------------------------------------- The PRIMA 2016 Program Committee invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of pro‐ totype and deployed agent systems, and of experiments that demon‐ strate novel agent system capabilities. An indicative list of topics is provided below. For 2016, there will be Social Science special track that will be handled by Michael Mäs (University of Groningen). Accepted papers of this track will be offered a fast‐ track in JASSS. Papers should be at most 16 pages in length in the Springer LNCS format. All accepted papers will be published in Springer’s LNAI series. A select number of papers will also be invited to submit an extended version to a fast track of the Journal of Autonomous Agents and Multi‐Agent Systems and ACM TAAS. There will be also be two special issues: one with Fundamenta Informaticae and an‐ other with International Journal of Agent‐Oriented Software Engi‐ neering. ----------------------------------------------------------------- *Invited speakers* ----------------------------------------------------------------- We are proud to have as invited speakers: - Prof. Toru Ishida (Kyoto University); - Prof. Jörg P. Müller (TU Clausthal); - Prof. Phan Minh Dung (Asian Institute of Technology), joint speech for both PRIMA and PRICAI. ----------------------------------------------------------------- *Topics of interest (not limited to the following)* ----------------------------------------------------------------- * Logic and Reasoning - Logics of agency - Logics of multiagent systems - Norms - Argumentation - Computational Game Theory - Uncertainty in Agent Systems - Agent and Multi-Agent Learning * Engineering Multi-Agent Systems - Agent-Oriented Software Engineering - Interaction protocols - Commitments - Institutions and Organizations - Normative Systems - Formal Specification and Verification - Agent Programming Languages - Middleware and Platforms - Testing, debugging, and evolution - Deployed System Case Studies * Agent-Based Modeling and Simulation - Simulation Languages and Platforms - Artificial Societies - Virtual Environments - Emergent Behavior - Modeling System Dynamics - Application Case Studies * Collaboration & Coordination - Planning - Distributed Problem Solving - Distributed Constraint Satisfaction - Teamwork - Coalition Formation - Negotiation - Auctions and Mechanism Design - Trust and Reputation - Computational Voting Theory * Human-Agent Interaction - Adaptive Personal Assistants - Embodied Conversational Agents - Virtual Characters - Multimodal User Interfaces - Mobile Agents - Human-Robot Interaction * Decentralized Paradigms - Grid Computing - Service-Oriented Computing - Cybersecurity - Robotics and Multirobot Systems - Ubiquitous Computing - Social Computing - Internet of Things * Application Domains for Multi-Agent Systems - Healthcare - Autonomous Systems - Transport and Logistics - Emergency and Disaster Management - Energy and Utilities Management - Sustainability and Resource Management - Games and Entertainment - e-Business, e-Government, and e-Learning - Smart Cities - Financial markets - Legal applications ----------------------------------------------------------------- *General Chairs* ----------------------------------------------------------------- Katsutoshi Hirayama (Kobe University) Paolo Torroni (University of Bologna) ----------------------------------------------------------------- *Program Chairs* ----------------------------------------------------------------- Matteo Baldoni (University of Torino) Amit K. Chopra (Lancaster University) Tran Cao Son (New Mexico State University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From praise2016publicity at gmail.com Thu Apr 28 15:34:51 2016 From: praise2016publicity at gmail.com (Nadin Kokciyan) Date: Thu, 28 Apr 2016 16:34:51 +0300 Subject: CFP: Workshop on AI for Privacy and Security (PrAISe) @ ECAI-16 Message-ID: **************************************************************************************** The International Workshop on AI for Privacy and Security PrAISe 2016 http://mas.cmpe.boun.edu.tr/praise2016 to be held with ECAI 2016 (http://www.ecai2016.org) 29 August - 2 September, 2016. The Hague, Holland **************************************************************************************** ------------------------------ DESCRIPTION ------------------------------ Research in security and privacy is nowadays one of the hottest topics in computer science. This is because these topics are of capital importance to the development of a sustainable, resilient and prosperous cyber world. This includes protecting crucial assets ranging from Critical Infrastructures to individual's Personal Information, and it spans domains like Cloud computing, Social Computing, Electronic Commerce and many more. Approaches that are intelligent and self-adaptable are required to deal with the complexities of effectively protecting these crucial assets in all these domains. This is where research from the AI community can make a difference in security and privacy. Indeed, these two areas are increasingly receiving more and more attention from the AI community. The focus of the International Workshop on AI for Privacy and Security (PrAISe) is to provide a forum to discuss and advance security and privacy by means of *AI approaches*. Specific topics for this workshop include but are not limited to: * Cloud Computing Security and Privacy * Social Software / Social Computing Security and Privacy * Online Social Networks Security and Privacy * Cyber-Physical Systems Security and Privacy * Internet of Things Security and Privacy * Game-theoretic approaches to Security and Privacy * Trust modelling in the context of Security and Privacy * Norms and Normative Systems for Security and Privacy * Machine Learning and Data Mining for Security and Privacy * AI approaches for detecting Security and privacy violations * Access Control * Adversarial Modelling * Automated Vulnerability Assessment / Penetration Testing * Critical Infrastructure Protection * CyberCrime and CyberWar * Data Leakage and Exfiltration * Denial of Service / Distributed Denial of Service (DoS/DDoS) * Digital Forensics * Distributed collaboration patterns of malicious software and their discovery * Human Behaviour Modelling and Human Factors * Insider Threat * Intrusion Detection/Prevention Systems * Learning/Recommendation/Negotiation of Security and Privacy Policies * Validation and verification of security and privacy policies * Multi-party/Multi-agent Access Control * Privacy and Personal Information Protection * Resilience and Robustness * Risk Assessment and Management, and Risk Mitigation Strategies --------------------------------- IMPORTANT DATES --------------------------------- * Paper Submission Deadline: JUNE 12, 2016 * Paper Acceptance Notification: JULY 4, 2016 * Camera-ready copies due: JULY 11, 2016 * Workshop Date: AUGUST 30, 2016 --------------------------------- ORGANIZING COMMITTEE --------------------------------- * Natalia Criado (King’s College London, UK) * Ozgur Kafali (North Carolina State University, US) * Nadin Kokciyan (Bogazici University, Turkey) * Martin Rehak (Cisco Systems, Czech Republic) * Jose M. Such (Lancaster University, UK) * PInar Yolum (Bogazici University, Turkey) --------------------------------- PROGRAM COMMITEE --------------------------------- * Vicent Botti (DSIC, Universidad Politecnica de Valencia) * Josep Domingo-Ferrer (Universitat Rovira i Virgili) * Ioana Boureanu (Imperial College London) * Martijn Warnier (Delft University of Technology) * Jim Blythe (USC Information Sciences Institute) * Igor Kotenko (SPIIRAS) * Chris Hankin (Imperial College London) * Salvatore Vitabile (University of Palermo) * Christopher Kiekintveld (University of Texas at El Paso) * Awais Rashid (Lancaster University) * Andrea Omicini (Alma Mater Studiorum–Università di Bologna) * Laurent Vercouter (LITIS lab, INSA de Rouen) * Alexei Lisitsa (University of Liverpool) * Michael Rovatsos (School of Informatics, The University of Edinburgh) * Lucas Kello (Belfer Center for Science and International Affairs, Harvard University) * Grégory Bonnet (Université de Caen Normandie) * Gilbert Peterson (US Air Force Institute of Technology) * Javier Bajo (Universidad Politécnica de Madrid) * Alvaro Cardenas (University of Texas) * Gaurav Misra (Lancaster University) * Haralambos Mouratidis (University of Brighton) * Zahia Guessoum (LIP6, Universit de Paris 6) * Vicenc Torra (U. Skövde) * Tomas Pevny (Czech Technical University in Prague) * Ana Garcia-Fornes (DSIC, Universidad Politecnica de Valencia) * Pascal Bouvry (University of Luxembourg) * Dieter Hutter (DFKI, Bremen University) * Ricard L. Fogues (DSIC, Universidad Politecnica de Valencia) * Pasquale Malacaria (Queen Mary University of London) --------------------------------- SUBMISSION and REVIEW DETAILS --------------------------------- Papers will be peer-reviewed by at least 3 reviewers from the Program Committee. Criteria for the selection of papers will include: high quality, clear presentation, novelty of research, relevance to the topics and taking an AI-based approach, coverage of relevant state of the art and the relevance to security and privacy problems. Submissions must follow ACM format and can be of two types: - Full Papers (maximum of 8 pages) about completed work or work in progress. - Position Papers (2-4 pages) reporting views or ambitions, or describing problems. Papers must be submitted in pdf format via the conference management system, available at: https://easychair.org/conferences/?conf=praise16 ---------------------------------- PUBLICATION DETAILS ---------------------------------- Workshop proceedings will be published by ACM, in its prestigious International Conference Proceedings Series with ISBN. We are also exploring the possibility of a follow-up special issue in a top-tier journal (currently under negotiation). -------------------------- CONTACT -------------------------- PrAISe Organising Committee (praise16 at easychair.org) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pfandler at dbai.tuwien.ac.at Fri Apr 29 14:43:10 2016 From: pfandler at dbai.tuwien.ac.at (Andreas Pfandler) Date: Fri, 29 Apr 2016 14:43:10 +0200 Subject: Deadline extension: 10th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) New York, USA, during July 9-11, 2016 in conjunction with IJCAI-16. Message-ID: <572356DE.9080800@dbai.tuwien.ac.at> [Apologies for Multiple Postings] The submission deadline of the 10th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) at IJCAI 2016 has been extended by one week. The new deadline is now *May 8th*. M-PREF is a non-archival venue and there will be no published proceedings. However, informal proceedings will be provided at the workshop and the papers will be posted on the website. Therefore it will be possible to submit to other conferences and journals both in parallel and subsequent to M-PREF 2016. ====================================================================== CALL FOR PAPERS: 10th Multidisciplinary Workshop on Advances in Preference Handling (M-PREF) New York, USA, during July 9-11, 2016 in conjunction with IJCAI-16. http://www.mpref-2016.preflib.org ====================================================================== Preference handling has become a flourishing topic. There are many interesting results, good examples for cross-fertilization between disciplines, and many new questions. Preferences are a central concept of decision making. As preferences are fundamental for the analysis of human choice behavior, they are becoming of increasing importance for computational fields such as artificial intelligence, databases, and human-computer interaction as well as for their respective applications. Preference models are needed in decision-support systems such as web-based recommender systems, in automated problem solvers such as configurators, and in autonomous systems such as Mars rovers. Nearly all areas of artificial intelligence deal with choice situations and can thus benefit from computational methods for handling preferences. Preference handling is also important for machine learning as preferences may guide learning behavior and be subject of dedicated learning methods. Moreover, social choice methods are also of key importance in computational domains such as multi-agent systems. This broadened scope of preferences leads to new types of preference models, new problems for applying preference structures, and new kinds of benefits. Preferences are studied in many areas of artificial intelligence such as knowledge representation & reasoning, multi-agent systems, game theory, social choice, constraint satisfaction, decision making, decision-theoretic planning, and beyond. Preferences are inherently a multi-disciplinary topic, of interest to economists, computer scientists, operations researchers, mathematicians and more. This workshop promotes this broadened scope of preference handling and continues a series of events on preference handling at AAAI-02, Dagstuhl in 2004, IJCAI-05, ECAI-06, VLDB-07, AAAI-08, ADT-09, ECAI-2010, ECAI-2012, IJCAI-13, AAAI-14, and IJCAI-15. At the previous edition of ADT-15 and LPNMR-15, which were co-located, one of the conclusions was that collaboration between the two areas can be very fruitful and should be fostered. The workshop will provide a forum for presenting advances in preference handling and for exchanging experiences between researchers facing similar questions, but coming from different fields. The workshop builds on the large number of AI researchers working on preference-related issues, but also seeks to attract researchers from databases, multi-criteria decision making, economics, etc. ====================================================================== TOPICS OF INTEREST ====================================================================== The workshop on Advances in Preference Handling addresses all computational aspects of preference handling. This includes methods for the elicitation, learning, modeling, representation, aggregation, and management of preferences and for reasoning about preferences. The workshop studies the usage of preferences in computational tasks from decision making, database querying, web search, personalized human-computer interaction, personalized recommender systems, e-commerce, multi-agent systems, game theory, social choice, combinatorial optimization, planning and robotics, automated problem solving, perception and natural language understanding and other computational tasks involving choices. The workshop seeks to improve the overall understanding of and best methodologies for preferences in order to realize their benefits in the multiplicity of tasks for which they are used. Another important goal is to provide cross-fertilization between the numerous sub-fields that work with preferences. * Preference handling in artificial intelligence * Preference handling in database systems * Preference handling in multiagent systems * Applications of preferences * Preference elicitation * Preference representation and modeling * Properties and semantics of preferences * Practical preferences ====================================================================== IMPORTANT DATES ====================================================================== *May 8th*, 2016: Workshop paper submission deadline. May 20th, 2016: Notification on workshop paper submissions. June 1st, 2016: Camera-ready copy due to organizers. July 9th, 10th, or 11th, 2016: M-PREF'16 Workshop. ===================================================================== SUBMISSION ===================================================================== Researchers interested in preference handling from AI, OR, DB, CS or other computational fields may submit a paper formatted according to the IJCAI Formatting Instructions and up to 6 pages in length + 1 page for references in PDF format. Workshop submissions and camera ready versions will be handled by EasyChair. Feel free to submit either anonymized or non-anonymized versions of your work. We have enabled anonymous reviewing so EasyChair will not reveal the authors unless you chose to do so in your submission. At least one author from each accepted paper must register for the workshop. Please see the IJCAI 2016 Website for information about accommodation and registration. Link to the paper submission page on EasyChair: https://easychair.org/conferences/?conf=mpref16 ====================================================================== WORKSHOP CHAIRS ====================================================================== Markus Endres, University of Augsburg (Germany) Nicholas Mattei, Optimization Research Group, Data 61 (NICTA) and University of New South Wales (Australia) Andreas Pfandler, TU Wien (Austria) and University of Siegen (Germany) ====================================================================== PROGRAM COMMITTEE ====================================================================== Thomas Allen, University of Kentucky Stefano Bistarelli, Università di Perugia Sylvain Bouveret, LIG - Grenoble INP Darius Braziunas, Kobo Inc. Jan Chomicki, University at Buffalo Paolo Ciaccia, University of Bologna James Delgrande, Simon Fraser University Matthias Ehrgott, Lancaster Gabor Erdelyi, Universitaet Siegen Johannes Fürnkranz, TU Darmstadt Judy Goldsmith, University of Kentucky Ulrich Junker Souhila Kaci, LIRMM Jérôme Lang, LAMSADE Nicolas Maudet, Université Pierre et Marie Curie Vincent Mousseau, LGI, Ecole Centrale Paris Patrice Perny, LIP6 Maria Silvia Pini, University of Padova Francesca Rossi, University of Padova and Harvard University Scott Sanner, University of Toronto Alexis Tsoukias, CNRS - LAMSADE Kristen Brent Venable, Tulane University and IHMC Paolo Viappiani, CNRS and LIP6, Univ Pierre et Marie Curie Toby Walsh, UNSW and Data61/NICTA Antonius Weinzierl, Vienna University of Technology Paul Weng, SYSU-CMU JIE Lirong Xia, RPI Neil Yorke-Smith, American University of Beirut Yong Zheng, DePaul University From geoff at cs.miami.edu Fri Apr 29 21:10:53 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 29 Apr 2016 15:10:53 -0400 (EDT) Subject: PAAR 2016 - Extended Deadline Message-ID: <20160429191053.327021214CF@mcclellan.cs.miami.edu> LAST CALL FOR PAPERS AND DEADLINE EXTENSION PAAR-2016 - 5th Workshop on Practical Aspects of Automated Reasoning July 2nd, 2016. Coimbra, Portugal Abstract Deadline: May 2nd, 2016 Full Paper Deadline (extended): May 9th, 2016 http://cs.ru.nl/paar16/ General Information The 5th Workshop on Practical Aspects of Automated Reasoning will be held on July 2nd, 2016 in Coimbra, Portugal. PAAR is associated with the 8th International Joint Conference on Automated Reasoning (IJCAR-2016). Scope PAAR provides a forum for developers of automated reasoning tools to discuss and compare different implementation techniques, and for users to discuss and communicate their applications and requirements. The workshop will bring together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. It will allow researchers to present their work in progress, and to discuss new implementation techniques and applications. Topics include but are not limited to: o automated reasoning in propositional, first-order, higher-order and non-classical logics; o implementation of provers (SAT, SMT, resolution, tableau, instantiation-based, rewriting, logical frameworks, etc); o automated reasoning tools for all kinds of practical problems and applications; o pragmatics of automated reasoning within proof assistants; o practical experiences, usability aspects, feasibility studies; o evaluation of implementation techniques and automated reasoning tools; o performance aspects, benchmarking approaches; o non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications; o implementation techniques, optimisation techniques, strategies and heuristics, fairness; o support tools for prover development; o system descriptions and demos. We are particularly interested in contributions that help the community to understand how to build useful reasoning systems in practice, and how to apply existing systems to real problems. Paper Submissions Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages) via EasyChair at https://easychair.org/conferences/?conf=paar2016. Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. Submissions should be prepared in LaTeX using the EasyChair proceedings style. The package containing the class file and its user guide and some helper tools can be downloaded from http://www.easychair.org/publications/easychair.zip. PAAR proceedings will be published electronically in the EasyChair Proceedings in Computing (EPiC) series. Important Dates Abstract submission deadline: May 2nd, 2016 (Anywhere on the planet) Paper submission deadline: May 9th, 2016 (Anywhere on the planet) Notification: May 30th, 2016 Camera ready versions due: June 6th, 2016 Workshop: July 2nd, 2016 Program Committee June Andronick, NICTA and University of New South Wales, Australia Peter Baumgartner, NICTA/Australian National University, Australia Christoph Benzmüller, Freie Universität Berlin, Germany Armin Bierre, Johannes Kepler University, Austria Nikolaj Bjorner, Microsoft Research, USA Simon Cruanes, Loria, INRIA, France Hans de Nivelle, University of Wroclaw, Poland Pascal Fontaine, Loria, INRIA, University of Lorraine, France (co-chair) Vijay Ganesh, University of Waterloo, Canada Alberto Griggio, FBK-IRST, Italy John Harrison, Intel, USA Marijn Heule, The University of Texas at Austin, USA Dejan Jovanović, SRI International, USA Yevgeny Kazakov, The University of Ulm, Germany Chantal Keller, LRI, Université Paris-Sud, France Boris Konev, The University of Liverpool, UK Konstantin Korovin, The University of Manchester, UK Laura Kovacs, Chalmers University, Sweden Jens Otten, University of Potsdam, Germany Nicolas Peltier, CNRS - LIG, France Ruzica Piskac, Yale University, USA Giles Reger, The University of Manchester, UK Andrew Reynolds, EPFL, Switzerland Philipp Ruemmer, Uppsala University, Sweden Ulrike Sattler, The University of Manchester, UK Renate A. Schmidt, The University of Manchester, UK Stephan Schulz, DHBW Stuttgart, Germany (co-chair) Geoff Sutcliffe, University of Miami, USA Josef Urban, Radboud University, Nijmegen, The Netherlands (co-chair) Uwe Waldmann, MPI Saarbrücken, Germany From grlmc at grlmc.com Sat Apr 30 02:17:27 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 30 Apr 2016 02:17:27 +0200 Subject: TPNC 2016: 1st call for papers Message-ID: <545102060a010b05045758020409505753510c510550505450035b0605035b525c5351540501520255500001570b@grlmc_ip-zone_com-6> TPNC 2016: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 5th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2016   Sendai, Japan   December 12-14, 2016   Organized by:   Cyberscience Center Tohoku University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2016/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2016 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2016 will take place in Sendai, in the northeast (Tohoku) region of Japan. The city was founded in 1600 and is nicknamed the "city of trees". It is the second largest city north of Tokyo. It takes about 100 minutes to reach Sendai from Tokyo by bullet train (Shinkansen). The venue will be the Cyberscience Center, Aobayama Campus, Tohoku University:   http://www.cc.tohoku.ac.jp/HTML/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2016 will consist of:   - invited talks - invited tutorials - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Zixing Cai (Central South University, China) Óscar Castillo (Tijuana Institute of Technology, Mexico) Óscar Cordón (University of Granada, Spain) Gianni Di Caro (Dalle Molle Institute for Artificial Intelligence Research, Switzerland) Marco Dorigo (Free University of Brussels – ULB, Belgium) Austin G. Fowler (Google, USA) Michel Gendreau (Montreal Polytechnic, Canada) Debasish Ghose (Indian Institute of Science, Bangalore, India) Jin-Kao Hao (University of Angers, France) Inman Harvey (University of Sussex, UK) Wei-Chiang Hong (Nanjing Tech University, China) Amir Hussain (University of Stirling, UK) Robert John (University of Nottingham, UK) Joshua Knowles (University of Birmingham, UK) Kwong-Sak Leung (Chinese University of Hong Kong, China) Seth Lloyd (Massachusetts Institute of Technology, USA) José A. Lozano (University of the Basque Country, Spain) Vittorio Maniezzo (University of Bologna, Italy) Carlos Martín-Vide (Rovira i Virgili University, Spain, chair) Philip K. McKinley (Michigan State University, USA) Jerry M. Mendel (University of Southern California, USA) Marjan Mernik (University of Maribor, Slovenia) Radko Mesiar (Slovak University of Technology in Bratislava, Slovakia) Chrystopher Nehaniv (University of Hertfordshire, UK) Vilém Novák (University of Ostrava, Czech Republic) Linqiang Pan (Huazhong University of Science and Technology, China) Frederick E. Petry (Naval Research Laboratory, USA) Dan Ralescu (University of Cincinnati, USA) Francisco C. Santos (University of Lisbon, Portugal) Friedrich Simmel (Technical University of Munich, Germany) Andrzej Skowron (University of Warsaw, Poland) John A. Smolin (IBM Thomas J. Watson Research Center, USA) Ying Tan (Peking University, China) Guy Theraulaz (Paul Sabatier University, France) Tommaso Toffoli (Boston University, USA) Vicenç Torra (University of Skövde, Sweden) Edward Tsang (University of Essex, UK) Sergi Valverde (Pompeu Fabra University, Spain) José Luis Verdegay (University of Granada, Spain) Fernando J. Von Zuben (University of Campinas, Brazil) K. Birgitta Whaley (University of California, Berkeley, USA) Darrell Whitley (Colorado State University, USA) Xin‐She Yang (Middlesex University, UK) Hao Ying (Wayne State University, USA) Mengjie Zhang (Victoria University of Wellington, New Zealand) Zhi-Hua Zhou (Nanjing University, China)   ORGANIZING COMMITTEE:   Masayuki Fukumitsu (Ebetsu) Carlos Martín-Vide (Tarragona, co-chair) Takaaki Mizuki (Sendai, co-chair) Hideaki Sone (Sendai) Miguel A. Vega-Rodríguez (Cáceres) 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, proofs, 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://easychair.org/conferences/?conf=tpnc2016   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 a major journal 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 registration form can be found at:   http://grammars.grlmc.com/TPNC2016/Registration.php   DEADLINES:   Paper submission: July 26, 2016 (23:59h, CET) Notification of paper acceptance or rejection: September 2, 2016 Final version of the paper for the LNCS proceedings: September 9, 2016 Early registration: September 9, 2016 Late registration: November 28, 2016 Submission to the post-conference journal special issue: March 14, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   TPNC 2016 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:   Tohoku University Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrianrp at unimelb.edu.au Sat Apr 30 06:50:45 2016 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Sat, 30 Apr 2016 04:50:45 +0000 Subject: Research Fellow (Automated Planning in Unpredicted Situations) @ University of Melbourne Message-ID: ==================================================================================== RESEARCH FELLOW IN ARTIFICIAL INTELLIGENCE - AUTOMATED PLANNING IN UNPREDICTED SITUATIONS ==================================================================================== Applications close: 11 May 2016 11:55 PM Aus. Eastern Standard Time Professor Peter Stuckey & Assoc Professor Adrian Pearce The University of Melbourne is seeking an outstanding Research Fellow to conduct leading edge research in automated planning. The project is in conjunction with our research partners at Defence Science and Technology Group (DST Group), and forms part of DST Group's Tyche Special Research Initiative (SRI) into trusted autonomy. It concerns distributed multi-agent planning and reasoning in dynamic environments, with a specific focus on automated planning in unpredicted situations. The position will be located in the Department of Computing and Information Systems within the Melbourne School of Engineering. Salary $92,654-$110,022 AUD p.a. plus 9.5% superannuation The successful candidates will conduct leading-edge research and development in the area of automated planning or a related area. As part of the team, working with Assoc Professor Adrian Pearce, Professor Liz Sonenberg, Dr. Tim Miller, Dr. Nir Lipovetzky and Dr. Michelle Blom, you would be involved in discovering automated reasoning techniques for robustness and distributed adaptability under irreducible uncertainty in a range of applications, including land vehicles and autonomous team tactics discovery. The role will involve investigation of The candidate should be prepared for occasional interstate travel, as the research is conducted in close collaboration with our research partners. The position is for a fixed term of 2 years. RESEARCH GROUP The successful candidate will be part of a team that works collaboratively on all aspects of the project, from concepts, theoretical underpinning and design, through implementation and experimentation, to publication of results and maintenance and refinement of generated software. Primary responsibilities will involve the development of novel planning and reasoning mechanisms in distributed multi-agent environments. The successful candidate will be located in the Department of Computing and Information Systems in the Melbourne School of Engineering and will be expected to be an active member of the Department, collaborating with other researchers. APPLICATION PROCEDURE http://www.jobs.unimelb.edu.au Research Fellow in Supply Chain Optimisation: position number 0040677 (closes 11 May 2016 11:55 PM Aus. Eastern Standard Time) Please download the Position Description at the following link: http://jobs.unimelb.edu.au/caw/en/job/887981/research-fellow-in-artificial-intelligence Contact: For more information, please contact Adrian Pearce, adrianrp at unimelb.edu.au From manuel.hermenegildo at imdea.org Sat Apr 30 17:22:39 2016 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sat, 30 Apr 2016 17:22:39 +0200 Subject: LOPSTR 2016 Call for Papers Message-ID: <22308.52671.314431.62036@dhcp-17-8.imdea> ====================================================================== LOPSTR 2016: 1st Call for Papers ====================================================================== 26th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016 http://cliplab.org/Conferences/LOPSTR16/ Edinburgh, UK, September 6-8, 2016 (co-located with PPDP 2016 and SAS 2016) ====================================================================== DEADLINES: Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 26th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2016) will be held at the University of Edinburgh, Edinburgh, UK; previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2016 will be co-located with PPDP 2016 (International Symposium on Principles and Practice of Declarative Programming) and SAS 2016 (Static Analysis Symposium). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 7, 2016 Paper/Extended abstract submission: June 14, 2016 Notification: August 3, 2016 Camera-ready (for electronic pre-proceedings): August 19, 2016 Symposium: September 6-8, 2016 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2016: http://www.easychair.org/conferences/?conf=lopstr2016 (can be accessed also through the LOPSTR 2016 web site). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Slim Abdennadher, German University of Cairo, Egypt Maria Alpuente, Universitat Politecnica de Valencia, Spain Sergio Antoy, Portland State University, USA Michael Codish, Ben-Gurion University of the Negev, Israel Jerome Feret, CNRS/ENS/INRIA Paris, France. Fabio Fioravanti, University of Chieti - Pescara, Italy. Maurizio Gabbrielli, University of Bologna, Italy Maria Garcia de la Banda, Monash University, Australia Robert Glueck, University of Copenhagen, Denmark. Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Gopal Gupta, University of Texas at Dallas, USA Patricia Hill, Univ. of Leeds, UK Jacob Howe, City University London, UK Viktor Kuncak , EPFL Lausanne, Switzerland Michael Leuschel, University of Duesseldorf, Germany Heiko Mantel TU Darmstadt, Germany Jorge A. Navas, NASA, USA Naoki Nishida, Nagoya University, Japan Catuscia Palamidessi, INRIA Saclay and LIX, France C.R. Ramakrishnan, SUNY Stony Brook, USA Vitor Santos Costa, Universidade do Porto, Portugal Hirohisa Seki, Nagoya Institute of Technology, Japan Peter Schneider-Kamp, University of Southern Denmark, Denmark Program Chairs Manuel Hermenegildo, IMDEA Software Institute and T.U. Madrid (UPM) Pedro Lopez-Garcia, IMDEA Software Institute and CSIC Organizing Committee James Cheney (University of Edinburgh, Local Organizer) Moreno Falaschi (University of Siena, Italy) -----------------------------------------------------------------------------