From grlmc at grlmc.com Sat Oct 1 03:18:24 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 01 Oct 2016 03:18:24 +0200 Subject: LATA 2017: 3rd call for papers Message-ID: <545102060a010b02075e530702025a525052505601070056020b0a545706550554590c55515f010608540550035004@grlmc_ip-zone_com-6> LATA 2017: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2017   Umeå, Sweden   March 6-10, 2017   Organized by:             Department of Computing Science Umeå University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2017/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2017 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Franz Baader (Technical University of Dresden), Approximately Description Logics   Thomas Eiter (Technical University of Vienna), Stream Reasoning: Issues and Some Results   Michael R. Fellows (University of Bergen), On Some Finiteness Theorems about Formal Languages   Georg Gottlob (University of Oxford), Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data   Thomas Wilke (University of Kiel), Backward Deterministic omega-Automata   PROGRAMME COMMITTEE:   Eric Allender (Rutgers University, Piscataway, US) Amihood Amir (Bar-Ilan University, Ramat Gan, IL) Christel Baier (Technical University of Dresden, DE) Armin Biere (Johannes Kepler University Linz, AT) Avrim Blum (Carnegie Mellon University, Pittsburgh, US) Ondřej Bojar (Charles University in Prague, CZ) Jin-Yi Cai (University of Wisconsin, Madison, US) Liming Cai (University of Georgia, Athens, US) Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT) Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) Rod Downey (Victoria University of Wellington, NZ) Frank Drewes (Umeå University, SE) Zoltán Fülöp (University of Szeged, HU) Gregory Z. Gutin (Royal Holloway, University of London, UK) Lane A. Hemaspaandra (University of Rochester, US) Dorit S. Hochbaum (University of California, Berkeley, US) Deepak Kapur (University of New Mexico, Albuquerque, US) Marek Karpinski (University of Bonn, DE) Joost-Pieter Katoen (RWTH Aachen University, DE) Evangelos Kranakis (Carleton University, Ottawa, CA) Lars M. Kristensen (Bergen University College, NO) Kim G. Larsen (Aalborg University, DK) Axel Legay (INRIA, Rennes, FR) Leonid Libkin (University of Edinburgh, UK) Carsten Lutz (University of Bremen, DE) João Marques Silva (University of Lisbon, PT) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Mitsunori Ogihara (University of Miami, Coral Gables, US) Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT) David Parker (University of Birmingham, UK) Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US) Doron A. Peled (Bar-Ilan University, Ramat Gan, IL) Dominique Perrin (Paris-Est Marne-la-Vallée University, FR) Jean-Éric Pin (Paris Diderot University, FR) Sanguthevar Rajasekaran (University of Connecticut, Storrs, US) Bruce Reed (McGill University, Montréal, CA) Wojciech Rytter (University of Warsaw, PL) Kunihiko Sadakane (University of Tokyo, JP) Davide Sangiorgi (University of Bologna, IT) Helmut Seidl (Technical University of Munich, DE) Jens Stoye (Bielefeld University, DE) Wing-Kin Sung (National University of Singapore, SG) Dimitrios M. Thilikos (CNRS, LIRMM, FR & National and Kapodistrian University of Athens, GR) Ioannis G. Tollis (University of Crete, Heraklion, GR) Bianca Truthe (University of Giessen, DE) Frits Vaandrager (Radboud University, Nijmegen, NL) Rob van Glabbeek (CSIRO, Sydney, AU)   ORGANIZING COMMITTEE:   Yonas Demeke (Umeå) Frank Drewes (Umeå, co-chair) Petter Ericson (Umeå) Anna Jonsson (Umeå) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) Niklas Zechner (Umeå)   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=lata2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Information and Computation (Elsevier, 2015 JCR impact factor: 0.873) 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/LATA2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: October 21, 2016 Notification of paper acceptance or rejection: November 25, 2016 Final version of the paper for the LNCS proceedings: December 5, 2016 Early registration: December 5, 2016 Late registration: February 20, 2017 Submission to the journal special issue: June 10, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   LATA 2017 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:   Umeå universitet Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From epontell at cs.nmsu.edu Tue Oct 4 04:16:43 2016 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Mon, 3 Oct 2016 20:16:43 -0600 Subject: CFP: AAAI Workshop on AI for Smart Grids and Smart Buildings (AISGSB 17) Message-ID: <24C907EC-ED29-4F06-BFD3-B9F32162C775@cs.nmsu.edu> Apologies if you receive multiple copies of this message ==================================================================== 2nd International Workshop on AI for Smart Grids and Smart Buildings (AISGSB17) ==================================================================== February 4 or 5, 2017 Held in conjunction with AAAI 2017 San Francisco, California, USA http://www.cs.nmsu.edu/aisgsb17 ===================================================================== Call for Papers ===================================================================== Workshop Description and Motivation: The availability of advanced sensing and communication infrastructures, electric monitoring facilities, computational intelligence, widespread use and interest in renewable energy sources, and customer-driven electricity usage, storage and generation capabilities, have posed the foundations for a robust and dynamic next generation economic interplay between the demand-side: smart buildings, and the supply-side: smart power grids. Three key aspects distinguish this evolving economy from more traditional market forces: (1) Information: both energy producers and consumers have access to information (e.g., production costs, customers’ electricity needs, time distribution of demands); (2) Exchange: communication is possible on a continuous basis, thus enabling both individual as well as group decision processes (e.g., producers and consumers can negotiate prices and energy exchanges); (3) energy can be produced not only by power plants, but also by customers (e.g., via solar panels) and stored for later use (or redistributed through the electric grid), and (4) given all of the above, customers can employ advanced tactical measures for improving building operations and reducing energy consumption without sacrificing occupant satisfaction, which has direct economic implications for producers. In general terms, a smart grid enables the distributed generation and two-directional flow of electricity and information, within an integrated system of connected smart buildings as key agents within this new ecosystem. AI plays a key role in the relationship between the smart grid and smart buildings. New technologies offer infrastructure that provides information to support automated decision making on how to (automatically) adapt production/consumption, optimize costs, waste, and environmental impact, and provide reliability, safety, security, and efficiency. Indeed, several research projects have already developed the view of this ecosystem as a multi-agent system, where agents coordinate and negotiate to achieve smart grid and smart building objectives. The goal of this workshop is to bring together researchers and practitioners from diverse areas of AI to explore both established and novel applications of AI techniques to address problems related to the design, implementation, deployment, and maintenance of both smart buildings and the smart grid – either as independent topics or together in an overarching multi-agent system. Topics include, but are not limited to: • Distributed decision making and distributed optimization • Agents and multi-agent applications in smart grids • Data analytics and machine learning techniques applied to smart buildings, grids and energy management • Advanced machine learning techniques used to improve building maintenance and operations and reduce energy consumption without sacrificing occupant satisfaction • Novel information and sensing technologies that can be used to enable the deployment of advanced machine learning and data mining techniques within the built environment • Knowledge-based methods in design of smart buildings and smart grids • Coordination of intelligent agents in smart grids • Negotiation and trading strategies in energy markets • Human-computer interactions and human-in-the-loop systems within smart grids • Simulations of energy markets and smart grids Workshop Format: The workshop is expected to be a full-day event. It will include three components: (1) one invited keynote speaker, selected among leading researchers exploring the advanced use of AI techniques to address practical issues of smart grids and smart buildings; (2) a collection of presentations selected from peer-reviewed submissions, in response to an open call for papers; (3) a closing panel, including both invited panelist and workshop participants, to discuss future directions of research in this field. Submission Guidelines: Participants should submit a paper (maximum 6 pages + 1 page of references), describing their work on one or more of the topics relevant to the workshop. Accepted papers will be presented during the workshop and will be published as AAAI technical reports, which will be made freely available in AAAI's digital library. Authors are requested to prepare their papers using the AAAI style files (http://www.aaai.org/Publications/Templates/AuthorKit.zip). All submissions are conducted via the following website: http://www.easychair.org/conferences/?conf=aisgsb2017. Submissions should include the name(s), affiliations, and email addresses of all authors in the body of the email. We welcome the submission of papers rejected from the AAAI 2017 technical program. The deadline for receipt of submissions is October 21, 2016. Papers received after this date may not be reviewed. Submissions will be refereed on the basis of technical quality, novelty, significance, and clarity. Each submission will be thoroughly reviewed by at least two program committee members. For questions about the submission process, contact the workshop co-chairs. Important Dates: * October 21, 2016 - Submission Deadline * November 18, 2016 - Acceptance Notification * December 8, 2016 - Camera-Ready Deadline * February 4 or 5, 2017 - Workshop Date Organizing Committee: Rodney Martin, NASA Ames Research Center Enrico Pontelli, New Mexico State University Son Cao Tran, New Mexico State University Long Tran-Thanh, University of Southampton Contact Information: aisgsb2017 at easychair.org From announce at cs.ucy.ac.cy Tue Oct 4 11:37:21 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 4 Oct 2016 12:37:21 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Papers Message-ID: ** Last Call for Papers *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBMYXN0IENhbGwgZm9yIFBhcGVycwk3MglMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. Why you should submit to ACM IUI: At ACM IUI, we focus on the interaction between machine intelligence and human intelligence. While other conferences focus on one side or the other, we address the complex interaction between the two. We welcome research that explores how to make the interaction between computers and people smarter, which may leverage solutions from data mining, knowledge representation, novel interaction paradigms, and emerging technologies. We strongly encourage submissions that discuss research from both HCI and AI simultaneously, but also welcome works that focus more on one side or the other. The conference brings together people from academia, industry and non-profit organizations and gives its participants the opportunity to present and see cutting-edge IUI work in a focused and interactive setting. It is large enough to be diverse and lively, but small enough to allow for extensive interaction among attendees and easy attendance to the events that the conference offers, ranging from oral paper presentations, poster sessions, workshops, panels and doctoral consortium for graduate students. Submission Full and Short Papers We invite original paper submissions that describe novel user interfaces, applications, interactive and intelligent technologies, empirical studies, or design techniques. IUI 2017 especially encourages submissions on innovative and visionary new concepts or directions for the design of intelligent interfaces. We do not require evaluations with users, but we do expect papers to include an appropriate evaluation for their stated contribution. Accepted papers will appear in the ACM Digital Library and citation indices. A selected set of accepted top quality full papers will be invited to submit their extended versions for publication in an ACM Transactions on Interactive Intelligent Systems (TiiS, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBMYXN0IENhbGwgZm9yIFBhcGVycwk3MglMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Ftiis.acm.org%29 special issue titled "Highlights of IUI 2017". Examples of ACM IUI topics of interest include, but are not limited to: · Intelligent visualization tools · User-Adaptive interaction and personalization · Recommender systems · Intelligent wearable, mobile and ubiquitous interfaces · Modeling and prediction of user behavior · Information retrieval and search · Education and learning-related technologies · Social media analysis · Multi-modal interfaces (speech, gestures, eye gaze, face, physiological information etc.) · Natural language and speech processing · Generation of multimodal content · Big Data and analytics · Smart environments and tangible computing · Intelligent assistants for complex tasks · Collaborative interfaces · Persuasive and assistive technologies in IUI · Affective and aesthetic interfaces · Interactive machine learning · Planning and plan recognition for IUI · Knowledge-based approaches to user interface design and generation · Proactive and agent-based user interaction · Example-and demonstration-based interfaces · Evaluations of intelligent user interfaces Submission Guidelines · Full paper (anonymized 10 pages, references do not count toward the page limit) should make substantial, novel, and relevant contribution to the field. · Short paper (anonymized 4 pages, references do not count toward the page limit) is a much more focused and succinct contribution to the field. Short papers are not expected to include a discussion of related work that is as broad and complete as that of full papers. · Anonymization: ACM IUI uses a double-blind review process. All submissions must be appropriately anonymized according to the following guidelines: 1. Author's names and affiliations are not visible anywhere in the paper. 2. Acknowledgements should be anonymized or removed during the review process. 3. Self-citations should be included where necessary, but must use the third person. For example, "... as shown in our previous user study [2] ..." is not allowed, whereas "... as shown in Smith et al. [2] " is acceptable (because in this case the citation [2] will NOT be perceived as self-citation). Failure to follow these guidelines may results in submissions being rejected without review. Submissions should follow the standard SigCHI format available here: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBMYXN0IENhbGwgZm9yIFBhcGVycwk3MglMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2F . You may use either the Microsoft Word template or the LaTeX template. Accepted full papers will be invited for oral presentation. Accepted short papers will be invited either as oral or poster presentation, depending on the quality of the papers. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. (For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.) Important Dates · Abstracts: October 9, 2016 · Full and Short Papers: October 14, 2016 · Reviews to Authors: November 21, 2016 · Rebuttals: November 25, 2016 · Notification of Decisions: December 9, 2016 Committees General Chairs · Tsvika Kuflik, University of Haifa, Israel · George A. Papadopoulos, University of Cyprus, Cyprus Program Committee Chairs · Fang Chen, NICTA, Australia · Carlos Duarte, University of Lisbon, Portugal · Wai-Tat Fu, University of Illinois at Urbana-Champaign, USA Posters/Demos Chairs · Andrina Granic, University of Split, Croatia · Denis Parra. PUC, Chile · Jingtaw Wang, University of Pittsburgh, USA Workshops/Tutorials Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA Student Consortium Chairs · Peter Brusilovsky, University of Pittsburgh, USA · Katrien Verbert, KULeuven, Belgium Student Volunteers Chairs · Christos Mettouris, University of Cyprus, Cyprus · Tobias Grosse-Puppendahl, Microsoft Research, UK · Julia Sheidin, University of Haifa, Israel Sponsorship Chairs · Daniel Sonntag, DFKI, Germany (for Europe) · Feng Tian, Institute of Software Chinese Academy of Sciences, China (for Asia) Treasurer · George A. Papadopoulos, University of Cyprus, Cyprus Proceedings Chair · Daniel Afergan, Google, USA Web Master · Marios Christou, Easy Conferences, Cyprus · Kyriakos Georgiades, Easy Conferences, Cyprus -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From r.gross at sheffield.ac.uk Tue Oct 4 18:15:57 2016 From: r.gross at sheffield.ac.uk (Roderich Gross) Date: Tue, 4 Oct 2016 17:15:57 +0100 Subject: DARS 2016 - Full Program Published (Call for Participation) Message-ID: *** Apologies if you have received this call for participation more than once *** 2ND CALL FOR PARTICIPATION - DARS 2016 13th International Symposium on Distributed Autonomous Robotic Systems November 6-9, 2016. Natural History Museum, London, UK http://dars2016.org *** We warmly invite you to participate in DARS 2016. Now in its 13th edition, DARS provides a forum for scientific advances in the theory and practice of distributed autonomous robotic systems. Distributed robotics is an interdisciplinary and rapidly growing area, combining research in computer science, communication and control systems, and electrical and mechanical engineering. Distributed robotic systems can autonomously solve complex problems while operating in highly unstructured real-world environments. They are expected to play a major role in addressing future societal needs, for example, by improving environmental impact assessment, food supply, transportation, manufacturing, security, and emergency and rescue services. DARS 2016 will build upon past successes and provide an exciting environment to present and discuss the latest technologies, algorithms, system architectures, and applications. The single-track symposium features a strong technical program, international keynote speakers, a welcome reception in a beautiful Victorian townhouse, a banquet offering finest Polish cuisine, and ample opportunity to network. Fittingly, DARS 2016 will be located in the famed Natural History Museum in London, a powerhouse of scientific enquiry and a voice of authority on the natural world. Its central location in London will give you the opportunity to explore the fabulous Kensington neighborhood, and provide easy access to the wider London area. REGISTRATION Registration for DARS 2016 is open: http://dars2016.org/registration/ Normal registration till 14 October Late / on-site registration from 15 October (subject to availability) KEYNOTES - Coordination, cooperation, and collaboration in multi-robot systems (Vijay Kumar - University of Pennsylvania, USA) - Go to the bee and be wise: Swarm engineering inspired by house-hunting honeybees (James AR Marshall - The University of Sheffield, UK) - Material-integrated intelligence for robot autonomy (Nikolaus Correll - University of Colorado Boulder, USA) - Robust human control of multi-robot swarms (Katia Sycara - Carnegie Mellon University, USA) TECHNICAL PROGRAM The full technical program can be found here: http://dars2016.org/program/ ACCOMMODATION Special rates have been reserved for DARS participants at some hotels and will be allocated on a first-come first-served basis: http://dars2016.org/accommodation/ SOCIAL EVENTS DARS 2016 is above all a social event for the advancement of knowledge in distributed autonomous robotic systems. Social events will include a welcome reception, poster & lunch sessions, a banquet and the presentation of the awards: http://dars2016.org/social-events/ SPONSORS & EXHIBITORS DARS is technically co-sponsored by the IEEE Robotics and Automation Society. Vicon Motion Systems is a Platinum Sponsor of DARS 2016. If you wish to become a sponsor of, or exhibitor at, DARS 2016, please visit http://dars2016.org . SOCIAL MEDIA Follow us on social media for all the latest updates. Facebook: https://www.facebook.com/DARSSymposium Twitter: https://twitter.com/DARS2016 Google+: https://plus.google.com/104027908184261516130 More information at http://dars2016.org DARS 2016 CONFERENCE COMMITTEE Advisory Committee Hajime Asama - University of Tokyo, Japan Marcelo H Ang - National University of Singapore Tamio Arai - University of Tokyo, Japan Raja Chatila - UPMC, France Gregory S Chirikjian - Johns Hopkins University, USA Young-Jo Cho - ETRI, South Korea Nak Young Chong - JAIST, Japan Nikolaus Correll - University of Colorado Boulder, USA Ruediger Dillmann - KIT, Germany Toshio Fukuda - Nagoya University, Japan Maria Gini - University of Minnesota, USA M Ani Hsieh - Drexel University, USA Alcherio Martinoli - EPFL, Switzerland Francesco Mondada - EPFL, Switzerland Lynne E Parker - University of Tennessee, USA General Chair Roderich Gross - The University of Sheffield, UK General Co-Chair Andreas Kolling - iRobot, USA Technical Program Co-Chairs Spring M Berman - Arizona State University, USA Emilio Frazzoli - MIT, USA Alcherio Martinoli - EPFL, Switzerland Fumitoshi Matsuno - Kyoto University, Japan Publication Chair Melvin Gauci - Harvard University, USA Publicity Chair Sabine Hauert - University of Bristol, UK Local Organization Team Louise A Caffrey - The University of Sheffield, UK Ana MacIntosh - The University of Sheffield, UK Stefan Trenkwalder - The University of Sheffield, UK -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Wed Oct 5 19:06:22 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 5 Oct 2016 20:06:22 +0300 Subject: 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Papers Message-ID: *** First Call for Papers *** 21st European Conference on Advances in Databases and Information Systems Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwk3NAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of research accomplishments and to promote interaction and collaboration between the database and information system research communities from European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, development of advanced DBMS technologies, and their advanced applications. The conference will consist of regular sessions with technical contributions (regular papers, short papers) reviewed and selected by an international program committee, as well as of invited talks and tutorials presented by leading scientists. The official language of the conference will be English. A Doctoral Consortium and different Workshops will be held in line with the main conference. TOPICS We invite original papers describing results that broadly belong to both theory and practice of databases and information systems. The list of specific topics of interest follows, with a note that it is not exhaustive and we welcome novel results addressing topics not included in the list. · Data intensive sciences and databases · Theoretical foundations of databases · Management of large scale data systems · Data models and query languages · Database monitoring and (self-)tuning · Data curation, annotation, and provenance · Data warehousing, OLAP, and ETL tools · Indexing, query processing and optimization · Data mining and knowledge discovery · Big data storage, replication, and consistency · Modeling, mining and querying user generated content · Data quality and data cleansing · Web, XML and semi-structured databases · Sensor databases and mobile data management · Text databases and information retrieval · Probabilistic databases, uncertainty and approximate querying · Temporal and spatial databases · Graph databases · Databases on emerging hardware architectures · Distributed data platforms, including Cloud data systems, key-value stores, and Big Data systems · Information extraction and integration · Streaming data analysis · Scalable data analysis and analytics · Data and information visualization; and user interfaces · Information quality and usability · Information system architectures and networking · Business process modeling and optimization · Data and information flow engineering and management · Context-aware and adaptive information systems · Data and information intensive services · Requirements engineering for databases and information systems · Artificial intelligence in databases and information systems · Data, information, and information systems security · Innovative platforms for data and information handling · Innovative approaches for database and information systems engineering · Novel database and information systems applications PAPER PUBLISHING ADBIS accepted research papers will be published in a Springer Lecture Notes in Computer Science volume. Papers must not exceed 14 pages in the LNCS format. For camera-ready papers use Latex or Word style (find here http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwk3NAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID= 0-164-2-793332-0&changeHeader). The program committee may decide to accept a submission as a short paper if it reports interesting results but does not justify publication of a full paper. ADBIS short research papers must not exceed 8 pages. The best paper authored solely by students will receive an award. Best papers of the main conference will be invited for submission in special issues of the ISI-indexed journals Information Systems (http://www.journals.elsevier.com/information-systems/) and Informatica (http://www.informatica.si/). SUBMISSION GUIDELINES · Papers must be written in English. · Papers must contain previously unpublished work and not be submitted concurrently to another conference. · Papers are submitted using an electronic submissions system, as detailed below. · An Author of an accepted paper must register to ADBIS 2017 in order to have the paper published. · Accepted papers must be presented at the conference by one of the authors. · ADBIS papers must be submitted via the EasyChair system: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwk3NAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dadbis2017. · Papers must be submitted as a single PDF document · Authors of accepted papers must submit along with the camera-ready version of their paper a copyright form filled (http://www.cyprusconferences.org/adbis2017/files/springerform.pdf) and signed. Please note that only authors employed by the EU (as an institution) tick the relevant box. Authors who simply reside or work in an EU country should not tick this box. IMPORTANT DATES · Full and Short Papers: March 30, 2017 · Notification of Acceptance: May 25, 2017 · Camera-ready Submission: June 15, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Nørvåg, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sofronie at uni-koblenz.de Wed Oct 5 21:54:07 2016 From: sofronie at uni-koblenz.de (Viorica Sofronie-Stokkermans) Date: Wed, 5 Oct 2016 21:54:07 +0200 Subject: Research and teaching assistant position (PhD or Postdoc level) in Formal Methods and Theoretical Computer Science Message-ID: <56AB3806-598B-4394-81C0-4A1F4B608319@uni-koblenz.de> The department for Computer Science of the University Koblenz-Landau (Campus Koblenz) invites applications for the position of a research and teaching assistant (wissenschaftlicher Mitarbeiter/Mitarbeiterin) (1,0 EGr. 13 TV-L) at PhD or Postdoc level, in the research group ``Formal methods and theoretical computer science'' (Prof. Dr. Viorica Sofronie-Stokkermans). The position is available for 3 years; the teaching obligations are of 8h/week during the semesters. In addition to the teaching obligations there is the possibility of pursuing a PhD. Applicants should have a MSc degree (or comparable University degree) in Computer Science, Mathematics or a related discipline. Further details (in German) can be found at: https://www.uni-koblenz-landau.de/de/uni/organisation/stellen/stellenarchiv/archiv-ordner/118-2016 Application letters (including a CV) must be sent by e-mail as a single .pdf file with specific reference to the position (118/2016) to Prof. Dr. Viorica Sofronie-Stokkermans (E-Mail: sofronie at uni-koblenz.de). To receive full consideration, applications should be received by October 21, 2016. Applications sent after this date will also be considered until the position is filled. For more details on this position please contact Prof. Dr. Viorica Sofronie-Stokkermans (E-Mail: sofronie at uni-koblenz.de). ====================================== Code number of position: 118/2016 Application deadline: 21 October 2016 ======================================= -- ________________________________________________ Prof. Dr. Viorica Sofronie-Stokkermans University Koblenz-Landau, Universitätsstr.1, D-56070 Koblenz Germany Email: sofronie at uni-koblenz.de Phone: +49 261 287-27 80 Fax: +49 261 287-27 31 ________________________________________________ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From peter.schuller at marmara.edu.tr Fri Oct 7 13:22:30 2016 From: peter.schuller at marmara.edu.tr (Peter Schüller) Date: Fri, 7 Oct 2016 14:22:30 +0300 (EEST) Subject: CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, July 3-5, 2017 Message-ID: <20161007112230.967812C0217@omsievews> Call for Papers --------------------------------------------------------------------------- 14th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2017 http://lpnmr2017.aalto.fi/ Hanasaari, Espoo, Finland July 3-6, 2017 --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers on topics detailed below. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Formalization of Commonsense Reasoning and understanding its laws and nature; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences; * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2017 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines Paper submission will be electronic through the LPNMR-17 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2017 Two best papers with logic programming focus will be invited for a rapid publication in Theory and Practice of Logic Programming (TPLP). An additional prize of 1000 EUR, sponsored by Springer, will be shared out among the best papers of the conference. MULTIPLE SUBMISSION POLICY LPNMR 2017 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2017 will include specialized workshops to be held on July 3 prior to the main conference. ASP COMPETITION - A special session dedicated to a discussion of the 7th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. DOCTORAL CONSORTIUM - A mentoring event where PhD students have a change to present their current research, get feedback from peers and senior researchers, and establish contacts for the future. FURTHER INFORMATION WWW: lpnmr2017.aalto.fi/ email: lpnmr2017 at list dot aalto dot fi IMPORTANT DATES * Paper registration: January 27th, 2017 * Paper submission: February 3rd, 2017 * Notification: March 3rd, 2017 * Final versions due: March 17th, 2017 VENUE Espoo, the second largest and the fastest growing city in Finland, is located right next to the capital Helsinki in the coastal Finland. Espoo is Northern Europe's largest high-tech and innovation hub where science, business and culture meet the wilderness of Nuuksio National Park and stunning seaside environment. Espoo's location offers excellent traffic connections: only half an hour from the international airport and harbors. The main campus of Aalto University is situated in Espoo. The LPNMR 2017 conference will be held in the Hanasaari Conference center that is located on an island of its own and is only 15 minutes away from Helsinki center by public transport. PROGRAM CHAIRS Marcello Balduccini, Drexel University, USA Tomi Janhunen, Aalto University, Finland PUBLICITY CHAIR Peter Schüller, Marmara University, Turkey WORKSHOPS CHAIR Joohyung Lee, Arizona State University, USA DOCTORAL CONSORTIUM CHAIR Marina De Vos, University of Bath, UK 7TH ASP COMPETITION ORGANIZERS Martin Gebser, University of Potsdam, Germany Marco Maratea, University of Genoa, Italy Francesco Ricca, University of Calabria, Italy PROGRAM COMMITTEE Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Marcello Balduccini, Drexel University, USA Chitta Baral, Arizona State University, USA Bart Bogaerts, KU Leuven, Belgium Gerhard Brewka, Leipzig University, Germany Pedro Cabalar, University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Stefania Costantini, University of L'Aquila, Italy James Delgrande, Simon Fraser University, Canada Marc Denecker, K.U.Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Thomas Eiter, Vienna University of Technology, Austria Wolfgang Faber, University of Huddersfield, UK Paul Fodor, Stony Brook University, USA Alfredo Gabaldon, GE Global Research, USA Martin Gebser, University of Potsdam, Germany Michael Gelfond, Texas Tech University, USA Giovanni Grasso, Oxford University, UK Giovambattista Ianni, University of Calabria, Italy Daniela Inclezan, Miami University, USA Tomi Janhunen, Aalto University, Finland Matthias Knorr, Universidade Nova de Lisboa, Portugal Joohyung Lee, Arizona State University, USA Yuliya Lierler, University of Nebraska at Omaha, USA Vladimir Lifschitz, University of Texas at Austin, USA Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Alessandra Mileo, National University of Ireland, Ireland Emilia Oikarinen, Finnish Institute of Occupational Health, Finland Mauricio Osorio, Universidad de las Americas Puebla, Mexico David Pearce, Universidad Politécnica de Madrid, Spain Axel Polleres, Vienna University of Economics and Business, Austria Enrico Pontelli, New Mexico State University, USA Christoph Redl, Vienna University of Technology, Austria Orkunt Sabuncu, University of Potsdam, Germany Chiaki Sakama, Wakayama University, Japan Torsten Schaub, University of Potsdam, Germany Peter Schüller, Marmara University, Turkey Tran Cao Son, New Mexico State University, USA Hannes Strass, Leipzig University, Germany Theresa Swift, Universidade Nova de Lisboa, Portugal Shahab Tasharrofi, Aalto University, Finland Eugenia Ternovska, Simon Fraser University, Canada Hans Tompits, Vienna University of Technology, Austria Mirek Truszczynski, University of Kentucky, USA Agustin Valverde, Universidad de Màlaga, Spain Kewen Wang, Griffith University, Australia Yisong Wang, Guizhou University, China Stefan Woltran, Vienna University of Technology, Austria Jia-Huai You, University of Alberta, Canada Yi Zhou, University of Western Sydney, Australia (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) From geoff at cs.miami.edu Fri Oct 7 14:42:11 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Fri, 7 Oct 2016 08:42:11 -0400 (EDT) Subject: DL 2017, Call for Papers Message-ID: <20161007124211.3BDFF121514@mcclellan.cs.miami.edu> ------------------------------------------------------------------------------- CALL FOR PAPERS 30th International Workshop on Description Logics, DL 2017 July 18th to July 21st, 2017 - Montpellier, France http://dl.kr.org/dl2017/ ------------------------------------------------------------------------------- The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The workshop will be held in Montpellier, France from July 18th to July 21st, 2017. Important Dates (Firm Deadlines) ============ Paper registration deadline: April 28, 2017 Paper submission deadline: May 8, 2017 Notification of acceptance: June 12, 2017 Camera-ready copies: July 3, 2017 Workshop: July 18-21, 2017 Since we wanted the DL submission deadlines to be after the IJCAI notification date, the schedule is tight and NO DEADLINE EXTENSIONS will be possible. Invited Speakers ============= * Markus Krötzsch, Technical University of Dresden * Andreas Pieris, University of Edinburgh * Uli Sattler, University of Manchester Workshop Scope ============= We invite contributions on all aspects of description logics, including but not limited to: * Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency management, reasoning techniques, and modularity aspects * Extensions of description logics: closed-world and nonmonotonic reasoning, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query answering, reasoning over dynamic information * Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems * Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, graph structured data, linked data, document management, natural language, learning, planning, Semantic Web, cloud computing, conceptual modelling, web services, business processes * Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimisation, and data integration tools), implementation and optimisation techniques, benchmarking, evaluation, modelling Submissions ========== * Submissions may be of two types: (1) Papers accepted at some conference can be submitted as accepted elsewhere together with a 1-page abstract that also specifies where the paper has been accepted. (2) Other submissions consist of 11 pages LNCS plus references. There is no page limit on the list of references. If the paper should not appear in the proceedings, an additional 1-page abstract has to be submitted. * For submissions with an additional 1-page abstract, only the abstract is published in the proceedings. The abstracts might not be indexed in dblp. This option is designed for authors who wish to announce results that have been published elsewhere, or which the authors intend to submit or have already submitted to a venue with an incompatible prior/ concurrent publication policy. * All submissions may optionally include a clearly marked appendix (e.g., with additional proofs or evaluation data). The appendix will be read at the discretion of the reviewers and not included in the proceedings. The appendix does not need to be in LNCS format. * Submission page: https://easychair.org/conferences/?conf=dl2017 * Accepted papers and 1-page abstracts will be made available electronically in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/). * Accepted submissions, be they full papers or 1-page abstracts, will be selected for either oral or poster presentation at the workshop. Submissions will be judged solely based upon their content, and the type of submission will have no bearing on the decision between oral and poster presentation. Organisation ============ * Alessandro Artale, Free University of Bozen-Bolzano (Programme co-Chair) * Birte Glimm, University of Ulm (Programme co-Chair) * Meghyn Bienvenu, University of Montpellier (Workshop co-Chair) * Marie-Laure Mugnier, University of Montpellier (Workshop co-Chair) Resources ========= * Information about submission, registration, travel information, etc., will be made available on the DL 2017 homepage: http://dl.kr.org/dl2017/ * The official description logic homepage is at http://dl.kr.org/ From announce at cs.ucy.ac.cy Fri Oct 7 15:23:02 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 7 Oct 2016 16:23:02 +0300 Subject: 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Workshop Proposals Message-ID: *** First Call for Workshop Proposals *** 21st European Conference on Advances in Databases and Information Systems Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpcnN0IENhbGwgZm9yIFdvcmtzaG9wIFByb3Bvc2Fscwk3NglMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including PhD consortia and workshops. WORKSHOPS Typically, workshops focus on multiple topics related to data storage and processing. This year we would encourage also workshops focusing on practical applications of research in business/industry and on joint projects run by industry and research entitites. The list of workshop topics is not limited to the aforementioned and we encourage representatives of research and business to submit workshop proposals promoting their achievements. SUBMITTING WORKSHOP PROPOSALS Workshop proposals should be emailed to the workshop chairs: · Johann Gamper (Free University of Bozen-Bolzano) gamper at inf.unibz.it · Robert Wrembel (Poznan Univ. of Technology) robert.wrembel at cs.put.poznan.pl The proposal should include: · a workshop title · estimated length (1 day or 1/2 day) · names, affiliations, and e-mails of PC chairs · short bio of the workshop PC chairs, including previous experience in organizing workshops or conferences (if applicable) · a (tentative) list of PC (if possible) · a workshop main goals · the list of a workshop topics · preliminary CFP · how information about a workshop will be disseminated and how papers will be solicited The organizers of accepted workshops are expected to: · organize the workshop's program committee · disseminate the workshop call for papers · solicit submissions · conduct the reviewing process · prepare the final workshop program The official language of workshops is English. ORGANIZATIONAL SUPPORT Workshops will benefit from the ADBIS 2017 organizational infrastructure and receive support w.r.t. registration, badges, lunches, coffee breaks, and publication of the workshop proceedings. PUBLICATION Workshops papers will be published by Springer in 'Communications in Computer and Information Science'. We plan to invite selected workshop papers for publication in a journal. IMPORTANT DATES · Submission of Workshop Proposals: January 15, 2017 · Workshop acceptance/rejection Notification: January 21, 2017 · Camera-ready Submission of Papers: June 25, 2017 · Workshops held: September 24, 2017 A detailed workshop timeline, i.e., deadlines for submissions, reviews, camera-ready due, are proposed by the workshop PC chairs, in agreement with the ADBIS 2017 workshop chairs. COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sat Oct 8 14:40:25 2016 From: grlmc at grlmc.com (GRLMC) Date: Sat, 08 Oct 2016 14:40:25 +0200 Subject: TPNC 2016: call for posters Message-ID: <545102060a010b020855530006025a5d045250585004070252570e010f0f5305500457560a5c515703555204555404@grlmc_ip-zone_com-6> TPNC 2016: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************************** The 5th International Conference on the Theory and Practice of Natural Computing (TPNC 2016) invites researchers to submit poster presentations. TPNC 2016 will be held in Sendai (Japan) on December 12-13, 2016. See http://grammars.grlmc.com/TPNC2016/ 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 computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 9, 2016 Notification of poster acceptance or rejection: November 12, 2016 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2016 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 proceedings volume of TPNC 2016. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer, 2014 JCR impact factor: 1.304). REGISTRATION At least one author of each accepted poster must register to the conference by November 28, 2016. The registration fare is reduced: 260 Euro. 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 e.haasdijk at vu.nl Mon Oct 10 11:58:09 2016 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Mon, 10 Oct 2016 11:58:09 +0200 (CEST) Subject: [CfP] EvoROBOT 2017 2nd Call for Papers Message-ID: <20161010095809.5419E601FF225@MW-020708.clients.vu.nl> --------------------------------------------------------------- EvoROBOT 2017 Amsterdam, The Netherlands, 19 - 21 April 2017 --------------------------------------------------------------- Call for Papers Evolutionary Computation in Robotics ------------------------------------ The EvoROBOT track is part of EvoApplications, the European Conference on the Applications of Evolutionary Computation (http://www.evostar.org/), to be held in Amsterdam, The Netherlands. Amsterdam is famous for its central role in European history, its tolerant character, and its extraordinary beauty . Attractions range from the Rijksmuseum and the house of Anne Frank to the Bloemenmarkt (floating flower market), the red light district, the cafés, and the world-class nightlife. The conference venue is centrally located. The EvoROBOT track focusses on evolutionary robotics: the application of evolutionary computation techniques to automatically design the controllers and/or hardware of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. We invite high quality contributions dealing with state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: - Evolution of (neural or otherwise) robot controllers; - Evolution of modular robot morphology; - Hardware/morphology and controller co-evolution; - Open-ended evolution in robotics; - Robotic evolutionary Artificial Life; - Evolutionary self-assembly and self-replication; - Evolution, development and learning; - Evolutionary and co-evolutionary approaches. Important Dates ---------------- Submission Deadline: 1 November 2016 Notification: 9 January 2017 Camera-ready: 25 January 2017 EvoStar dates: 19 - 21 April 2017 Publication Details ------------------- Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Best Paper Award ---------------- Frontiers in Robotics and AI is offering the best paper award at the upcoming EvoROBOT track. The Evolutionary Robotics specialty grants the winner a full waiver of the publication fee for the submission of an extended version of the work presented at EvoROBOT in Amsterdam. Naturally, the final decision to publish the extended version will be made adhering to the Frontiers policies of originality and review. See http://www.frontiersin.org/evolutionary_robotics for details of this open-access journal. Submission Details ------------------ Submissions must be novel and original. Submissions will be peer reviewed by at least three members of the program committee and authors of accepted papers are required to address the reviewer's comments to produce a camera-ready version of their manuscripts if accepted. At least one author of each accepted paper must register for the conference and attend the conference to present their work. The reviewing process will be double-blind and any information that may identify the authors should be removed from the initial submission. Please submit your contribution to EvoROBOT in Springer LNCS format. The page limit is 16 pages. Track Chairs ------------ Evert Haasdijk Jacqueline Heinerman Further Information ------------------- Visit http://www.evostar.org or join the EVOstar group on LinkedIn for more details and updates. From martin.magnusson at oru.se Wed Oct 12 12:53:02 2016 From: martin.magnusson at oru.se (Martin Magnusson) Date: Wed, 12 Oct 2016 12:53:02 +0200 Subject: =?UTF-8?Q?PhD_and_Postdoc_positions_available_at_AASS=2c_=c3=96rebr?= =?UTF-8?Q?o_University=2c_Sweden?= Message-ID: <57FE160E.30508@oru.se> --------------------------------------------------------------------- PhD student & Postdoc Positions AASS Research Center, Örebro University - Sweden Topics: Rich 3D and Semantic Mapping on Multiple Scales Reliability-Aware Long-Term Mapping, Modeling and Predictions Integrated Planning, Coordination and Control of Robot Fleets --------------------------------------------------------------------- Several fully funded PhD student (4 years) and postdoc positions (2+2 years) are available starting in January 2017 at the AASS Research Center, Örebro University, Sweden (Contact: Achim J. Lilienthal, achim.lilienthal at oru.se). The positions will be funded by a European robotics project on robotics applied in intra-logistics environments. Research Topics =============== The open positions relate to the following cutting edge research topics. Topic "Rich 3D and Semantic Mapping on Multiple Scales" ---------------------------------------------------------------- Robots performing real-world tasks in real-world environments require environment information that goes well beyond geometry. This research topic is concerned with adding semantic information to geometric models on multiple scales. On a large scale, 2D and 3D maps require high-level information, e.g. what type of objects and locations are in the map, what types of activities are performed in different areas (e.g. loading/unloading, charging/refueling, stacking/piling) or at specific poses (e.g. pickup and drop off locations). On a smaller scale, higher-level information is also required for manipulation tasks, where three-dimensional models of objects need to be endowed with information about material types, and how they are stacked relative to adjacent objects. Topic "Reliability-Aware Long-Term Mapping, Modeling and Predictions" ---------------------------------------------------------------------- While relatively mature methods for robot mapping and localization exist today, long-term operation poses several challenges that are yet to be overcome in a systematic way. This research topic is concerned with, e.g., developing metrics for assessing the reliability (precision and uncertainty) of map-building and localization, as well as the long-term updating of robot maps, thus enabling persistent, reliable self-localization in changing environments -- especially in environments with significant perceptual aliasing, such as industrial warehouses. By learning over time from typical motion patterns in the environment where the system is deployed, it can better blend in with current operations and make predictions about future states by combining long-term mapping and modeling, which is also a requirement for efficient and reliable long-term operation. Topic "Integrated Planning, Coordination and Control of Robot Fleets" --------------------------------------------------------------------- Fleets of autonomous robots are essential in many industrial applications, such as automated warehouses, mines, and construction sites. Fleet automation includes four important computational problems, namely task planning, motion planning, coordination, and control. By and large, the industry-standard approach to fleet management relies on disjoint, partially automated solutions to these problems. This leads to costly deployment effort and the need to perform off-line "what-if" analysis in order to guarantee adherence to external requirements (e.g., the absence of deadlocks). This research topic aims to achieve a formal and practical framework for jointly reasoning about the computational problems underlying fleet management. The idea is to exploit centralized and/or decentralized decision making modules that act upon a common constraint-based representation of the fleet's state over time. Crucially, the common representation will simultaneously act as a means for different problem solvers to share information, and as a means to model (and ensure adherence to) given requirements on fleet behavior (e.g., temporal and spatial constraints, absence of deadlocks). Environment =========== Successful applicants will join the AASS (Applied Autonomous Sensor Systems) research unit (http://www.oru.se/aass) at Örebro University, Sweden. Salaries for PhD students at Örebro University are internationally competitive. With over 40 senior researchers and PhD students, AASS is one of the largest robotics research groups in Sweden. The research and human environment at AASS is young and enthusiastic, and PhD students come from many different countries and have different scientific and cultural backgrounds. AASS is involved in several international projects, thus providing PhD students with opportunities to travel and work together with people in other countries. At AASS we perform multidisciplinary research in autonomous systems with a focus on their perceptual and cognitive capabilities and their integration. In other words, we specialize in research that combines field robotics -- i.e., real-world robot applications outside of lab environments, in cooperation with industrial partners -- with artificial intelligence for perception and reasoning. We are internationally recognized for our work in key scientific areas including planning and scheduling, 3D mapping and localization, hybrid reasoning, and mobile robot olfaction. Instructions for applicants =========================== Important: Please indicate clearly in your application what your preferred topic is. If you want to apply for several topics, please give your priority. Please also indicate in the subject whether you apply for a PhD-student or postdoc position. *PhD student, Prerequisites and Application Process* In addition to a strong interest in the topic, a solid theoretical background and excellent programming skills, applicants should also have the equivalent of a Master's degree in a relevant field (e.g., Computer Science, Applied Mathematics, Robotics, Physics). Experience in Robotics and AI and is a plus. It is not necessary to be familiar with Swedish, but fluency in written and spoken English is mandatory. To apply for a position, please send the following documents in PDF format to Prof. Achim J. Lilienthal (achim.lilienthal at oru.se): - a motivation letter, - scanned course transcripts and degree certificate, - a full CV, - at least two academic references (names and contact details). *Postdoc, Prerequisites and Application Process* Applicants should have a PhD in Robotics or a related field, and of course dedication and a strong interest in the particular topic. In addition, the successful candidates should have a solid theoretical background and excellent programming skills. It is not necessary to be familiar with Swedish, but fluency in written and spoken English is mandatory. It is expected that the candidate has publications at ICRA, IROS, RSS, TRO, IJRR, JFR or equivalent conferences and journals. To apply for a position, please send the following documents in PDF format to Prof. Achim J. Lilienthal (achim.lilienthal at oru.se): - a one page research statement that describes the preferred research topic and your suitability for this topic, - a full CV, - at least two references (names and contact details), - a full list of publications, - copies of the three most relevant publications. Contact: Prof. Achim J. Lilienthal (achim.lilienthal at oru.se) Closing date: Applications can be sent immediately and will be considered until the position is filled. From geoff at cs.miami.edu Wed Oct 12 15:32:34 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Wed, 12 Oct 2016 09:32:34 -0400 (EDT) Subject: AI Communications: Special Issue on Automated Reasoning Message-ID: <20161012133234.5C0D11214CC@mcclellan.cs.miami.edu> CALL FOR PAPERS --------------------------------- Special issue of the AI Communications on Automated Reasoning --------------------------------- IMPORTANT DATES --------------- Abstract submission: January 8, 2017 Paper submission: January 15, 2017 Notification of acceptance: April 15, 2017 Final versions: June 15, 2017 BACKGROUND ---------- This special issue follows two successful 2016 events in Automated Reasoning: Artificial Intelligence and Theorem Proving (AITP 2016) (http://aitp-conference.org/) Practical Aspects of Automated Reasoning (PAAR 2016) (http://cs.ru.nl/paar16/). About PAAR: 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. PAAR brings together different groups to concentrate on practical aspects of the implementation and application of automated reasoning tools. About AITP: Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. AITP is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that. SCOPE AND TOPICS ---------------- The focus of the special issue will be on new combination of AI and Automated Reasoning, and on practical applications of Automated Reasoning. The topics of interest include: * Automated reasoning in propositional, first-order, higher-order and non-classical logics * AI and big-data methods in theorem proving and mathematics * Collaboration between automated and interactive theorem proving * Alignment and joint processing of formal, semi-formal, and informal libraries * Implementation of provers (SAT, SMT, resolution, tableau, instantiation- based, rewriting, logical frameworks, etc) * Automated reasoning tools for all kinds of practical problems and applications * Methods for large-scale computer understanding of mathematics and science * Common-sense reasoning and reasoning in science * Combinations of linguistic/learning-based and semantic/reasoning methods * Pragmatics of automated reasoning within proof assistants * Practical experiences, usability aspects, feasibility studies * Evaluation of implementation techniques and automated reasoning tools * Performance aspects, benchmarking approaches * Non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications * Implementation techniques, optimizations techniques, strategies and heuristics, fairness Participants of AITP 2016 and PAAR 2016, as well as other authors are invited to submit contributions. SUBMISSION GUIDELINES --------------------- This special issue welcomes original high-quality contributions that have been neither published in nor simultaneously submitted to other venues. Submissions will be peer-reviewed using the standard refereeing procedure of the AI Communications. Full papers of a maximum extension of 15 pages should be prepared according to the AIComm style guidelines described at the following link: http://www.iospress.nl/journal/ai-communications/ Papers should be submitted through the AIComm mstracker: http://mstracker.com/submit1.php?jc=aic GUEST EDITORS ------------- Pascal Fontaine Cezary Kaliszyk Stephan Schulz Josef Urban From grlmc at grlmc.com Fri Oct 14 03:00:52 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 14 Oct 2016 03:00:52 +0200 Subject: BigDat 2017: early registration October 21 Message-ID: <545102060a010b02085e500a0e035a5c015551055707535950005a0405555a550104020704010656095f5401030754@grlmc_ip-zone_com-6> BigDat 2017: early registration October 21*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   3rd INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2017   Bari, Italy   February 13-17, 2017   Organized by: University of Bari "Aldo Moro" Rovira i Virgili University   http://grammars.grlmc.com/BigDat2017/   ********************************************************   --- Early registration deadline: October 21, 2016 ---   ********************************************************   AIM:   BigDat 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Main challenges of analytics, management and storage of big data will be identified through 4 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, PhD students and postdocs from around the world will be the most typical profiles. However, there are no formal pre-requisites for participation in terms of academic degrees. Since there will be differences in level, specific knowledge background may be assumed for some of the courses. BigDat 2017 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, industry leaders and innovators.   REGIME:   In addition to keynotes, 2-3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2017 will take place in Bari, a lively university city on the Adriatic Sea in Southern Italy. The venue will be:   Department of Computer Science University of Bari "Aldo Moro" via Orabona, 4 70125 Bari, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate] Data Analytics and Optimization for Industrial Applications: Introduction, Algorithms, and Examples   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics   Tamás Budavári (Johns Hopkins University), [introductory] Big Data Approaches in Astronomy   Diego Calvanese (Free University of Bozen-Bolzano), [advanced] Data-aware Processes: Modeling and Verification   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] Managing Big Data in the Cloud   Geoffrey C. Fox (Indiana University), [intermediate] Using High Performance Computing for Big Data Analytics   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Streaming Big Data Analytics   David W. Gerbing (Portland State University), [introductory] Data Visualization with R   Georgios B. Giannakis (University of Minnesota), [advanced] Signal Processing Tools for Big Data Analytics   Sander Klous (University of Amsterdam), [introductory] We Are Big Data   Laks V.S. Lakshmanan (University of British Columbia), [introductory] Analysis of Large Social Networks   Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Ontology-based Data Management   Soumya D. Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods and Optimization Problems in Big Data Analytics   Bernhard Pfahringer (University of Waikato), [introductory] Introduction to Data Stream Mining for Big Data   Krithi Ramamritham (Indian Institute of Technology Bombay), [introductory/intermediate] Harnessing Big Data for Building Smart Things   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Coupled Oscillators Approach in Time Series Analysis   Pierangela Samarati (University of Milan), [intermediate] Data Security and Privacy in the Cloud   V.S. Subrahmanian (University of Maryland), [introductory/intermediate] Big Data in Cybersecurity   Alexander S. Tuzhilin (New York University), [introductory/intermediate] Recommender Systems and Big Data   Jeffrey Ullman (Stanford University), [introductory] Big Data Algorithms that Aren't Machine Learning   Lyle Ungar (University of Pennsylvania), [introductory] Sentiment Mining from User Generated Content   John Wright (Columbia University), [intermediate/advanced] Sparse and Low-Dimensional Models for High-Dimensional Data: Theory, Algorithms and Applications   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Relational and Multimedia 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 February 10, 2017.   ORGANIZING COMMITTEE:   Annalisa Appice Michelangelo Ceci (co-chair) Stefano Franco Corrado Loglisci Donato Malerba (co-chair) Carlos Martín-Vide (co-chair) Manuel Jesús Parra Royón Gianvito Pio Florentina Lilica Voicu   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/BigDat2017/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 allowing the attendance to all courses during the week. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance.   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   ACKNOWLEDGEMENTS:   Università degli Studi di Bari Aldo Moro Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Fri Oct 14 14:39:10 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 14 Oct 2016 15:39:10 +0300 Subject: 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): First Call for Doctoral Consortium Message-ID: <0GGWSQQH-AY1Q-NBYP-80PD-18UZ6XDRMFJ@cs.ucy.ac.cy> *** First Call for Doctoral Consortium *** 21st European Conference on Advances in Databases and Information Systems Hilton Cyprus, Nicosia, Cyprus 24 - 27 September, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpcnN0IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JNzgJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2Fconsortium.html The internationally recognized ADBIS conference already for 21 years is gathering researchers and practitioners around topics related to databases, data processing, and information systems, in general. The conference is run in Europe but attracts researchers from all over the world. The 21st ADBIS conference will be held in Nicosia, Cyprus. The conference is accompanied by satellite events, including doctoral consortia and workshops. DOCTORAL CONSORTIUM The Doctoral Consortium (DC) is a forum where PhD students can present their research ideas, confront them with the scientific community, receive feedback from mentors, and tie cooperation bounds. Students will receive inspiration from their peers and will have a chance to discuss their research objectives with senior members of the community in the context of an established international conference. The DC session will take place on September 24, in parallel with the workshop sessions. Each participant will present her/his work, followed by a discussion with senior researchers. ELIGIBILITY We seek PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete, or PhD student participants who are in the early stages of their dissertation year. It is not required to have a paper accepted for the main conference in order to participate in the DC. SUBMISSIONS To apply to the DC, please submit a single-authored paper (which will appear in the proceedings of DC), accompanied by a short email from the thesis advisor stating support for your participation in the DC, describing the current status of the thesis research, and giving your expected date of graduation. The papers for DC should be at most 12 pages in Springer format (formatting instructions can be obtained via http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpcnN0IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JNzgJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.springer.com%2Fcomputer%2Flncs%3FSGWID%3D0-164-2-793332-0%29 and describe the state of the whole PhD project, rather than a specific completed result. The paper should outline the objectives, the problem, state of the art, results obtained so far, and what is still to be done in the frame of the PhD project. If an author prefers to present a completed research result, the paper should be submitted to the main conference or one of accompanying workshops. A paper submitted to the DC may not be under review for any other conference or journal during the time it is being considered for the DC. Submissions should be made electronically in PDF format at CMT: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjFzdCBFdXJvcGVhbiBDb25mZXJlbmNlIG9uIEFkdmFuY2VzIGluIERhdGFiYXNlcyBhbmQgSW5mb3JtYXRpb24gU3lzdGVtcyAoQURCSVMgMjAxNyk6IEZpcnN0IENhbGwgZm9yIERvY3RvcmFsIENvbnNvcnRpdW0JNzgJTGlzdHMJMjQ3CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fcmt3.research.microsoft.com%2FADBISDC2017. In case of multiple files, please submit a single compressed file (zip or rar). After logging into CMT, please choose the "ADBIS 2017 Doctoral Consortium" track. REVIEW PROCESS Each paper submitted to the DC will be reviewed by at least two members of the DC program committee and will be judged based on originality, technical merit, presentation quality, and relevance. The authors of successful submissions must take into account the reviewers' comments during the preparation of the final version and describe the changes in a separate document to be submitted together with the final camera-ready version. The program committee reserves the right to reject a paper if the final version does not meet the requirements above. Applications not adhering to the provided guidelines (including page limits) will not be considered. The authors of accepted papers must register to the conference, attend the DC and present their work. PROCEEDINGS The DC papers will be published by Springer, together with the ADBIS workshops proceedings, in the Advances in Intelligent Systems and Computing series. IMPORTANT DATES · Submission: May 19, 2017 · Acceptance/Rejection Notification: June 30, 2017 · Camera-ready Submission: July 14, 2017 · Doctoral Consortium: September 24, 2017 COMMITTEES Steering Committee Chair · Leonid Kalinichenko, Russian Academy of Science, Russia General Chair · George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs · Marite Kirikova, Riga Technical University, Latvia · Kjetil Norvag, Norwegian University of Science and Technology, Norway Proceedings Chair · Christos Mettouris, University of Cyprus, Cyprus Workshops Chairs · Johann Gamper, Free University of Bozen-Bolzano, Italy · Robert Wrembel, Poznan University of Technology, Poland Doctoral Consortium Chairs · Jerome Darmont, Universite Lyon 2, France · Stefano Rizzi, University of Bologna, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Oct 15 10:04:01 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 15 Oct 2016 11:04:01 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): Last Call for Tutorial Proposals Message-ID: *** Last Call for Tutorial Proposals *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBMYXN0IENhbGwgZm9yIFR1dG9yaWFsIFByb3Bvc2Fscwk4MAlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiui.acm.org%2F2017 Overview ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. IUI 2017 is pleased to invite tutorial proposals. Tutorials offer the community an opportunity to learn about the state-of-the-art concepts and techniques and allow the presenters to share their expertise. We invite proposals from active researchers and experienced presenters. Ideally, a tutorial will cover the state-of-the-art research and development in a specific area strongly related to IUI. Tutorials on interdisciplinary areas, novel or fast growing directions, and significant practical applications are also encouraged. Each accepted tutorial will receive one free IUI 2017 registration. Submission Guidelines The proposals should be PDF documents not exceeding 3 pages, submitted by e-mail to the tutorial chairs at: tutorial2017 at iui.acm.org. We encourage prospective presenters to contact the tutorial chairs in advance and discuss their tutorial ideas. Each tutorial proposal should provide the following information: · Name and title: Your name, the tutorial title and the expected length of your tutorial (up to half a day). · Description of tutorial topic and goal: Detailed outline of the tutorial, along with descriptions of the objectives, its relevance to IUI, benefits to the attendees, and course materials/handouts (links to online materials encouraged). · Organizers: Name, email address, and affiliation of each presenter. Note that each listed presenter must register for the conference and be present at the tutorial. · Target audience and prerequisites: Target audience level (introductory, intermediate, advanced) and prerequisite knowledge or skills. · Experience: Tutors' short bios and their expertise related to the tutorial, including history of previously given tutorials. · Equipment and software requirement: please list any that will be needed. Important Dates · Tutorial Proposals: October 21, 2016 · Decisions Sent: November 21, 2016 Tutorials Co-Chairs · Shlomo Berkovsky, CSIRO, Australia · Bart Kninijnburg, Clemson University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.m.dastani at uu.nl Mon Oct 17 09:53:37 2016 From: m.m.dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Mon, 17 Oct 2016 09:53:37 +0200 Subject: FSEN 2017: Final Call for Papers In-Reply-To: References: Message-ID: <72d387e8-40d8-3dbd-4432-8e1919a3a57a@uu.nl> ###################################################################### FINAL CALL FOR PAPERS Seventh International Conference on Fundamentals of Software Engineering 2017 - Theory and Practice (FSEN '17) http://fsen.ir/2017 Tehran, Iran April 26-28, 2017 ###################################################################### -- About FSEN -- FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, April 26-28, 2017. -- Important Dates -- Abstract Submission: October 22, 2016 Paper Submission: October 29, 2016 Notification: December 17, 2016 Camera Ready: January 21, 2017 Conference: April 26-28, 2017 -- Keynote Speakers -- *Thomas A. Henzinger, IST Austria Philippa Gardner, Imperial College London Leon van der Torre, University of Luxembourg* -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Self-adaptive software systems * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Papers should be formatted according to the Springer LNCS style, not exceed 15 pages (including figures and references), submitted in PDF or postscript format through the EasyChair conference management system. Submissions should explicitly state their contribution and their relevance to the themes of the conference. Papers will be evaluated based on originality, significance, relevance, correctness and clarity. Papers should not be submitted simultaneously for publication elsewhere. You can submit your papers/abstracts via the following link: https://www.easychair.org/conferences/?conf=fsen2017 -- Proceedings and Special Issues -- The post-proceedings of FSEN'17 will be published by Springer Verlag in the LNCS series (to be confirmed). There will be a pre-proceeding, printed locally by IPM, available at the conference. Following the tradition of FSEN, we plan to have a special issue of Science of Computer Programming journal devoted to FSEN'17 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chair -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Mehdi Dastani - Utrecht University, The Netherlands Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland -- Publicity Chair -- Hossein Hojjat - Rochester Institute of Technology, USA -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland (Chair) Jan Rutten - Radboud University, Netherlands -- Program Committee -- Mohammad Abdollahi Azgomi, Iran University of Science and Technology, Iran Gul Agha, University of Illinois at Urbana, Champaign, USA Erika Abraham, RWTH Aachen University, Germany Christel Baier, Technical University of Dresden, Germany Ezio Bartocci, TU Wien, Austria Marcello Bonsangue, Leiden University, Netherlands Mario Bravetti, University of Bologna, Italy Michael Butler, University of Southampton, UK Erik De Vink, Technische Universiteit Eindhoven, Netherlands Wan Fokkink, Vrije Universiteit Amsterdam, Netherlands Adrian Francalanza, University of Malta, Malta Masahiro Fujita, University of Tokyo, Japan Maurizio Gabbrielli, University of Bologna, Italy Fatemeh Ghassemi, University of Tehran, Iran Jan Friso Groote, Technical University of Eindhoven, Netherlands Hassan Haghighi, Shahid Beheshti University, Iran Philipp Haller, KTH Royal Institute of Technology, Sweden Holger Hermanns, Saarland University, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Einar Broch Johnsen, University of Oslo, Norway Joost-Pieter Katoen, RWTH Aachen University, Germany Narges Khakpour, Linnaeus University, Sweden Ramtin Khosravi, University of Tehran, Iran Natallia Kokash, Leiden University, Netherlands Eva Kühn, Vienna University of Technology, Austria Kim G. Larsen, Aalborg University, Denmark Zhiming Liu, Southwest University, China Mieke Massink, CNR-ISTI, Italy Seyyed Hassan Mirian Hosseinabadi, Sharif University of Technology, Iran Ugo Montanari, University of Pisa, Italy Peter Mosses, Swansea University, UK Mohammad Reza Mousavi, Halmstad University, Sweden Ali Movaghar, Sharif University of Technology, Iran Peter Olveczky, University of Oslo, Norway Meriem Ouederni, IRIT/INP Toulouse/ ENSEEIHT, France Wishnu Prasetya, Universiteit Utrecht, Netherlands Jose Proenca, University of Minho, Portugal Wolfgang Reisig, Humboldt-Universität zu Berlin, Germany Philipp Ruemmer, Uppsala University, Sweden Gwen Salaun, Grenoble INP, Inria, France Cesar Sanchez, IMDEA Software Institute, Spain Ina Schaefer, Technische Universität Braunschweig, Germany Wendelin Serwe, INRIA, France Alexandra Silva, University College London, UK Meng Sun, Peking University, China Carolyn Talcott, SRI International, USA Danny Weyns, Katholieke Universiteit Leuven, Belgium -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From BoothR2 at cardiff.ac.uk Mon Oct 17 16:02:44 2016 From: BoothR2 at cardiff.ac.uk (Richard Booth) Date: Mon, 17 Oct 2016 14:02:44 +0000 Subject: [CfP: Submission open] IEA/AIE 2017: Special Track on Applications of Argumentation Message-ID: APOLOGIES FOR CROSS-POSTING IEA/AIE 2017: Special Track on Applications of Argumentation http://www.cs.cf.ac.uk/AppArg2017/ We invite submissions of the latest research results concerning applications and theory of computational argumentation to the Special Track on Applications of Argumentation at the 30th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE http://www.cril.univ-artois.fr/ieaaie2017/ ). Authors are invited to submit their papers in English of up to 10 single spaced pages. Shorter works, up to 6 pages, may be submitted as short papers representing work in progress or suggesting possible research directions. All paper submissions will be done electronically, using Easychair https://easychair.org/conferences/?conf=ieaaie2017 . All papers will be peer reviewed and final copies of papers for inclusion to the conference proceedings will be published in a bound volume by Springer-Verlag (formatting instructions are available at http://www.springer.de/comp/lncs/authors.html ) in their Lecture Notes in Artificial Intelligence series. The option of organizing a special issue on a journal is under consideration. Topics include, but are not limited to: Decision making based on argumentation Argumentation in agent and multi-agent systems Argumentation for coordination and coalition formation Argumentation-based negotiation Argumentation, trust and reputation Argumentation and human-computer interaction Systems for learning through argument Implementation of argumentation systems Tools for supporting argumentation Argumentation and narrative Argumentation and computational linguistics Argument mining Analogical argumentation Formal, semi-formal and informal models for argumentation Traditional and ranked-based semantics Dialogue based on argumentation Strategies in argumentation Argumentation and game theory Argumentation and probability Computational properties of argumentation Reasoning about action and time with argumentation Important dates: Submissions: 15th November 2016 Notification of Acceptance: 15th January 2017 Conference: 27th-30th June 2017, in Arras, France Special Track Co-chairs Richard Booth (Cardiff University) Federico Cerutti (Cardiff University) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From malola.rmoreno at uah.es Tue Oct 18 17:05:08 2016 From: malola.rmoreno at uah.es (=?iso-8859-1?Q?Rodr=EDguez_Moreno_M=2E_Dolores?=) Date: Tue, 18 Oct 2016 15:05:08 +0000 Subject: SMC-IT'17 FIRST CALL FOR PAPERS Message-ID: NOTE: To receive future announcements, please send a blank email to: smc-it-join at smc-it.org FIRST CALL FOR PAPERS AND MINI-WORKSHOP TOPICS 6-Page Manuscripts due February 1, 2017 SIXTH INTERNATIONAL CONFERENCE ON SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY (SMC-IT 2017) September 27-29, 2017 University of Alcalá Alcalá de Henares, Spain http://smc-it.org Information technology (IT) has progressively grown in importance to space exploration efforts and today it often dominates the costs and schedules of space mission projects. The International Conference on Space Mission Challenges for Information Technology (SMC-IT) is the first forum to gather system and software engineers, scientists, and other practitioners with the objective of advancing information technology for space missions. The forum provides an excellent opportunity for technical interchange for all aspects of IT used for space missions. The conference will emphasize current and emerging IT practice and challenges for future space missions. All aspects of the space mission will be explored, including flight systems, ground systems, science data processing, engineering and development tools, operations, and telecommunications. The entire IT lifecycle of mission development will be considered. SMC-IT 2017 continues the practice of rotating venues to better engage regional communities. SMC-IT 2017 will be held at the University of Alcalá in Alcalá de Henares, Spain. PAPER SUBMISSIONS Novel papers are solicited from all sectors of the space community, including earth orbiting systems, deep space missions, ground support systems, instruments, science, landers, rovers, and probes. The conference will address civil, military, and commercial application areas for human and robotic missions. SMC-IT 2017 will consider two types of submissions: full papers with an oral presentation (up to 6 pages), and posters (up to 2 pages). SMC-IT 2017 will use a single-pass, full-paper review process. Authors will submit an up-to 6-page camera ready paper at the outset. Accepted papers will be published in the IEEE conference proceedings, to be available at the conference and indexed in the IEEE Xplore data base. Selected papers presented at SMC-IT 2017 will be invited to appear in a special issue of reputable journals in the field. There will be a poster session whose instructions will be sent in the future. MINI-WORKSHOPS SMC-IT 2017 will continue the highly successful mini-workshop session format to explore specific emerging technology themes in greater depth. Each mini-workshop typically runs as one track during one day and incorporates both invited and contributed papers. To propose a mini-workshop topic, please submit a 1-2 page abstract including the theme, scope, and goals of your workshop idea. TECHNICAL TOPICS Topics of interest include, but are not limited to, the following: * Intelligent Spacecraft (computational intelligence; autonomy and autonomous systems; UAV/UAS in aerospace; cooperative systems/swarming; human-machine interactions) * Data Analytics for Advanced Instruments (sensors, remote sensing, sensor networks, and data analytics; algorithms; machine learning) * Robotic Manufacturing and Assembly of Large Space Structures (3D printing in space; robotics cooperation & interaction; tele-robotics) * Advanced Computing and Big Data (intelligent systems; quantum computing; knowledge extraction and management; data mining; data science life cycle; computing for robotics, cloud computing in space) * Augmented Reality/Virtual Reality (AR/VR applications to tele-robotics, data processing, mission operations, space science analysis, etc.; video game technology advancing space capabilities) * Robotics for Exotic Mission Destinations (novel space exploration concepts enabled by robotic advancements; humans working with robots in space) * Space Networking (resilient communications; space-terrestrial internet working, interoperability; cross-agency standards) * Reliable Software, Verification & Validation approaches (re-usable software architectures; agile development and project management; verification of collaborative systems) * On-Ground Control (e.g. mission planning) Although any relevant topic will be considered for submitted papers, the topics listed above are especially being sought as projected themes of the conference. In addition, papers that might span two or more topic areas (i.e., novel systems that draw on cross cutting technologies) are also encouraged. As mentioned earlier, manuscripts will be reviewed in a single-step process. Manuscripts (up to 6 pages) for contributed papers as well as mini-workshop proposals (1-2 pages) must be received by February 1, 2017. Acceptance notification will be e-mailed by March 15, 2017. The template for each can be found at the SMC-IT 2017 web site: http://smc-it.org/submission.html SCHEDULE October 17, 2016 - Call for Full Papers and Mini-Workshop Concept Summaries December 1, 2016 - Author Submission Website Open January 15, 2017 - Final Submission Date for Mini-Workshop Proposals February 1, 2017 - Final Submission Date for SMC-IT Papers March 15, 2017 - Authors Acceptance Notification June 15, 2017 - Camera Ready Manuscripts Due (incorporating reviewer comments) July 1, 2017 - Early-bird Registration opens September 27-29, 2017 -- Conference The conference will be held in Alcalá de Henares, Spain, on the beautiful campus of the University of Alcalá. The University of Alcalá is located about 20 miles northeast of Madrid. For more detailed information on specific IT topic areas, schedule, author information, and general logistics information please refer to the conference website: http://smc-it.org To be placed on the SMC-IT informational mailing list, send a blank email to smc-it-join at smc-it.org To be removed from the list, please send a blank email to smc-it-leave at smc-it.org We look forward to seeing you in Spain in September 2017! CONFERENCE CHAIRS: María Dolores Rodríguez Moreno (General Chair, e-mail: malola.rmoreno_at_uah.es ) Brian Duncan (Deputy General Chair, e-mail: Brian.Duncan_at_jhuapl.edu) Larry Bergman (Advisor to the General Chair, e-mail: larry.bergman _at_ IEEE.org) chairs at smc-it.org ORGANIZING COMMITEE: Keith Schubert (e-mail: Keith_Schubert _at_ baylor.edu) Michela Munoz Fernandez (e-mail: michela.munoz.fernandez _at_ jpl.nasa.gov) Amalaye Oyake (e-mail: amalaye.oyake _at_ jpl.nasa.gov) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dilian at csc.kth.se Tue Oct 18 17:13:58 2016 From: dilian at csc.kth.se (Dilian Gurov) Date: Tue, 18 Oct 2016 17:13:58 +0200 Subject: CSL 2017 Call for Workshop Proposals Message-ID: <5c364661-7387-a137-bb82-aaa7c54c6d66@csc.kth.se> 26th Annual EACSL Conference on Computer Science Logic CSL’2017 Stockholm, August 20-24, 2017 https://www.csl17.conf.kth.se CALL FOR WORKSHOP PROPOSALS The 26th Annual EACSL Conference on Computer Science Logic CSL’2017 will take place in Stockholm, Sweden, during August 20-24, 2017. It will be organized jointly by Stockholm University and KTH Royal Institute of Technology, and will be hosted by Stockholm University. It will be immediately preceded by, and colocated with, the Annual European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium) 2017. This is a call for proposals for satellite workshops affiliated with CSL’2017, on topics related to the main topics of the conference, including: automata and games, game semantics, automated deduction and interactive theorem proving, bounded arithmetic and propositional proof complexity,categorical logic and topological semantics, computational proof theory, constructive mathematics and type theory, decision procedures, domain theory, equational logic and term rewriting, finite model theory, higher-order logic, lambda calculus and combinatory logic, linear logic and other substructural logics, logic programming and constraints, logical aspects of computational complexity, logical aspects of quantum computing, logic in database theory, logical foundations of programming, paradigms, logical foundations of cryptography, and information hiding, logics for multi-agent systems, modal and temporal logic, model checking and logic-based verification, nonmonotonic reasoning, SAT solving, automated induction, satisfiability modulo theories, specification, extraction and transformation of programs, verification and logical methods for program analysis. The workshops will take place on August 25-26 at Stockholm University. They will be relatively independent in terms of organisation and format from the main conference, with separate program committees, submission and selection policy, calls for submissions, possible proceedings etc. These matters will be up to the organisers of the individual workshops. The organisers of CSL’2017 will take care of the registration and local arrangements, and of the overall coordination of the workshops. The workshop fees will be minimal, only covering the most essential expenses. CSL’2017 participants will be offered significantly reduced registration fees for the satellite workshops. All accepted workshops/tutorials will be expected to have their program ready by mid July 2017. Proposals for workshops/tutorials should include the following items of information: - name and contact details of the organiser(s), - title and brief (up to 1 page) scientific description of the workshop, incl. info on recent previous editions (if applicable), - brief outline of the policy on PC, submissions and selection, talks format, etc. relevant organisational info, - preferred duration (between half-day and two days), - estimated number of attendees. The proposals should be submitted by email to csl2017”at”philosophy.su.se *not later than* November 15, 2016. Notification on acceptance will be sent by November 25, 2016. The selection will be made by the programme, organising and workshop chairs of CSL’2017. With any enquiries, please send an email to the above email address. CSL’2017 chairs: Mads Dam and Valentin Goranko (PC and OC), Erik Palmgren (OC), Dilian Gurov (workshops). From announce at cs.ucy.ac.cy Wed Oct 19 15:17:30 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 19 Oct 2016 16:17:30 +0300 Subject: FM 2016: 21st International Symposium on Formal Methods -- Call for Participation Message-ID: ---------------------------------------------------------------------------------- **** CALL FOR PARTICIPATION **** FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016 fm2016.cs.ucy.ac.cy Early Registration Deadline: 6 October 2016 ---------------------------------------------------------------------------------- FM 2016, the 21st International Symposium on research and practice in Formal Methods, will be held this year on the ancient and beautiful Mediterranean island of Cyprus. Every 18 months, the FM symposium attracts practitioners and researchers from industry and academia to present and discuss the most recent results and experience in formal methods. Those who join us in Cyprus this year will enjoy a highly selective programme of papers covering the broad range of formal methods, as well as a featured track on industry practice. Workshops will provide an opportunity to work in smaller groups on current challenges; tutorials will allow the acquisition of new skills; and a doctoral symposium will offer advice and encouragement to researchers just beginning their careers in this exciting and rapidly evolving field. The conference will take place in Limassol, Cyprus. Limassol is the second largest city in Cyprus. It is located on the south coast of the island, between the ancient towns of Amathus and Kourion. Limassol is renowned for its extensive cultural traditions, and it offers a wide spectrum of activities and a number of museums and archaeological sites to the interested visitor. Indeed, this richly cultured, cosmopolitan, seaside city has become one of the most important tourism destinations in Cyprus. The venue of the summer school will be the 5-star St. Raphael Resort, located on one of the most renowned and largest beaches, only a short coastal drive from the lively centre of Limassol. REGISTRATION You can register at the FM 2016 website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJRk0gMjAxNjogMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAtLSBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTgyCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fregistration.html HIGHLIGHTS - 44 regular papers and ten short papers reflecting the current state of research and practice in formal methods, including a track on industry practice - Three world-class keynote speakers - A Doctoral Symposium, six specialist workshops and eight tutorials - Presentation of the first FME Lucas Award for a Highly Influential Publication - Launch of Springer's new LNCS Formal Methods subline KEYNOTE SPEAKERS - Manfred Broy, Technical University of Munich, Germany - Peter O'Hearn, University College London and Facebook, UK - Jan Peleska, University of Bremen and Verified Software International, Germany WORKSHOPS (http://fm2016.cs.ucy.ac.cy/workshops.html) - ESSS 2016: 5th International Workshop on Engineering Safety and Security Systems - F-IDE 2016: 3rd Workshop on Formal Integrated Development Environment - FM-Priv 2016: 1st Workshop on Formal Methods for Privacy - Overture 2016: 14th Overture Workshop - TLA+ 2016: International Workshop on the TLA+ Method and Tools - USE 2016: 2nd Workshop on Usages of Constraint Solving and Symbolic Execution DOCTORAL SYMPOSIUM (http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html) This symposium aims to provide a helpful environment in which selected PhD students can present and discuss their ongoing work, meet other students working on similar topics, and receive helpful advice and feedback from a panel of researchers and academics. - Keynote Speaker: John S. Fitzgerald, Newcastle University, UK TUTORIALS (http://fm2016.cs.ucy.ac.cy/tutorials.html ) - Abstraction and Rely/Guarantee Thinking Tutors: Cliff Jones, Newcastle University, UK; Ian Hayes, University of Queensland, AU - Compositional Verification using AADL and the Assume Guarantee Reasoning Environment (AGREE) Tutor: Michael Whalen, University of Minnesota, USA - Cyber-Physical Systems Engineering: Next Generation Foundations, Methods and Tools Tutors: John Fitzgerald, Newcastle University, UK; Peter Gorm Larsen, Aarhus University, DK; Jim Woodcock, University of York, UK; Ken Pierce, Newcastle University, UK; Simon Foster, University of York, UK - First-Order Theorem Proving and Vampire Tutors: Laura Kovacs, Chalmers University of Technology, SE; Andrei Voronkov, University of Manchester, UK - KeYmaera X Tutorial - Tactics and Proofs for Cyber-Physical Systems Tutors: Stefan Mitsch, Carnegie Mellon University, USA; Nathan Fulton, Carnegie Mellon University, USA; André Platzer, Carnegie Mellon University, USA - Modelling and Analysis of Collective Adaptive Systems Tutors: Jane Hillston, University of Edinburgh, UK; Michele Loreti, Università di Firenze, IT - Session Types for Concurrent and Distributed Programming: Principles and Practice Tutors: Raymond Hu, Imperial College London, UK; Jorge A. Pérez, University of Groningen, NL; Nobuko Yoshida, Imperial College London, UK - The CProver Suite of Verication Tools Tutors: Daniel Kroening, University of Oxford, UK; Martin Brain, University of Oxford, UK; Peter Schrammel, University of Sussex, UK ACCEPTED PAPERS (Research Track) Li Li, Jun Sun and Jin Song Dong. Automated Verification of Timed Security Protocols with Clock Drift Victor B. F. Gomes and Georg Struth. Modal Kleene Algebra Applied to Program Correctness Artem Khyzha, Alexey Gotsman and Matthew Parkinson. A Generic Logic for Proving Linearizability Antonio E. Flores Montoya. Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations Ian J. Hayes, Robert Colvin, Larissa Meinicke, Kirsten Winter and Andrius Velykis. An algebra of synchronous atomic steps Zhe Hou, David Sanan, Alwen Tiu, Yang Liu and Koh Chuen Hoa. An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for The LEON3 Processor Nikola Benes, Lubos Brim, Martin Demko, Samuel Pastva and David ?afránek. A Model Checking Approach to Discrete Bifurcation Analysis Mahieddine Dellabani, Saddek Bensalem, Jacques Combaz and Marius Bozga. Local Planning of Multiparty Interactions with a Bounded Horizon Adel Djoudi, Sébastien Bardin and Éric Goubault. Recovering high-level conditions from binary programs Thomas Letan, Pierre Chifflier, Guillaume Hiet, Benjamin Morin and Ludovic Mé. SpecCert: Verifying Hardware-based Security Enforcement Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews and Thomas Tuerk. Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor Dimitra Giannakopoulou, Dennis Guck and Johann Schumann. Exploring Model Quality for ACAS X Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening and Tom Melham. Equivalence Checking of a Floating-point Unit Against a High-level C Model Yusuke Kawamoto, Fabrizio Biondi and Axel Legay. Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow Bat-Chen Rothenberg and Orna Grumberg. Sound and Complete Mutation-Based Program Repair Miran Hasanagic, Peter Gorm Larsen, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl. Formalising and Validating the Interface Description in the FMI standard Zhengfeng Yang, Chao Huang, Xin Chen, Wang Lin and Zhiming Liu. A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems Ofer Strichman and Maor Veitsman. Regression Verification for unbalanced recursive functions Cristina David, Pascal Kesseli, Daniel Kroening and Matt Lewis. Danger Invariants Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang and Naijun Zhan. Approximate Bisimulation and Discretization of Hybrid CSP Tsutomu Kobayashi, Fuyuki Ishikawa and Shinichi Honiden. Refactoring Refinement Structures of Event-B Machines Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun and Jingyi Wang. Towards Concolic Testing for Hybrid Systems Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad and Naijun Zhan. Validated Simulation-Based Verification of Delayed Differential Dynamics Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo and Wei-Ngan Chin. Automated Mutual Explicit Induction Proof in Separation Logic Stanislav Böhm, Ond?ej Meca and Petr Jancar. State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI Christoph-Simon Senjak and Martin Hofmann. An Implementation of Deflate in Coq Gudmund Grov, Yuhui Lin and Vytautas Tumas. Mechanised Verification Patterns for Dafny Heinrich Ody, Martin Fränzle and Michael R. Hansen. Discounted Duration Calculus Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng and Harald Ruess. Compositional Parameter Synthesis Ori Lahav and Viktor Vafeiadis. Explaining Relaxed Memory Models with Program Transformations Amirhossein Vakili and Nancy Day. Finite Model Finding Using the Logic of Equality with Uninterpreted Functions Saksham Chand, Annie Liu and Scott Stoller. Formal Verification of Multi-Paxos for Distributed Consensus Aleksandar S. Dimovski, Claus Brabrand and Andrzej Wasowski. Finding Suitable Variability Abstractions for Family-Based Analysis Anton Wijs, Thomas Neele and Dragan Bosnacki. GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking Pedro Antonino, Thomas Gibson-Robinson and Bill Roscoe. Tighter Reachability Criteria for Deadlock-Freedom Analysis Yuqi Chen, Christopher M. Poskitt and Jun Sun. Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation Gilles Nies, Holger Hermanns, Marvin Stenger, Morten Bisgaard, David Gerhardt and Jan Kr?ál. Battery-Aware Scheduling in Low Orbit: The GomX-3 Case Alessandro Cimatti, Sergio Mover and Mirko Sessa. From Electrical Switched Networks to Hybrid Automata Claudio Menghi, Paola Spoletini and Carlo Ghezzi. Dealing with Incompleteness in Automata-based Model Checking Parosh Aziz Abdulla, Mohamed Faouzi Atig and Bui Phi Diep. Counter-Example Guided Program Verification Andrew Sogokon, Khalil Ghorbal and Taylor T Johnson. Decoupled simulating abstractions of non-linear ordinary differential equations Georgios Giantamidis and Stavros Tripakis. Learning Moore Machines from Input-Output Traces Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher and Thomas Wies. Error Invariants for Concurrent Traces ACCEPTED PAPERS (Industry Track - http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJRk0gMjAxNjogMjFzdCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiBGb3JtYWwgTWV0aG9kcyAtLSBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTgyCUxpc3RzCTI0NwljbGljawl5ZXMJbm8=&url=http%3A%2F%2Ffm2016.cs.ucy.ac.cy%2Fcfpindustrytrack.html%29 Teodor Stoenescu, Alin Stefanescu, Sorina Predut and Florentin Ipate. RIVER: A Binary Analysis Framework using Symbolic Execution and Reversible x86 Instructions Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna and Stefano Tonetta. Model-Based Design of an Energy-System Embedded Controller using Taste Bjørnar Luteberget, Christian Johansen, Claus Feyling and Martin Steffen. Rule-based Incremental Verification Tools Applied to Railway Designs and Regulations Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun. Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz and Henrik Lönn. Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha. Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cidconference at newsletters.mercaturaservices.com Wed Oct 19 15:33:32 2016 From: cidconference at newsletters.mercaturaservices.com (VipIMAGE 2017) Date: Wed, 19 Oct 2016 14:33:32 +0100 Subject: VipIMAGE 2017 - ANNOUNCEMENT & CALL FOR CONTRIBUTIONS Message-ID: <5333f564aa3cc5aa3b51dcb4b9a793a9@mercatura.pt> ----------------------------------------------------------------------------------------------------------------- VI ECCOMAS Thematic Conference VipIMAGE 2017 www.fe.up.pt/vipimage October 18-20, 2017, Porto, Portugal Chairs: João Manuel R. S. Tavares & Renato Natal Jorge, Universidade do Porto -----------------------------------------------------------------------------------------------------------------   Dear Colleague, We are pleased to announce the International Conference VipIMAGE 2017 - VI ECCOMAS THEMATIC CONFERENCE ON COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING (www.fe.up.pt/vipimage) to be held in October 18-20, 2017, in Axis Vermar Conference & Beach Hotel, Porto, Portugal.   Possible Topics (not limited to) - Signal and Image Processing - Computational Vision - Medical Imaging - Physics of Medical Imaging - Tracking and Analysis of Movement - Simulation and Modeling - Image Acquisition - Industrial Applications - Shape Reconstruction - Segmentation, Matching, Simulation - Data Interpolation, Registration, Acquisition and Compression - 3D Vision - Virtual Reality - Visual Inspection - Software Development for Image Processing and Analysis - Computer Aided Diagnosis, Surgery, Therapy, and Treatment - Computational Bioimaging and Visualization - Telemedicine Systems and Applications   Invited Lecturers - Mário Figueiredo, Universidade de Lisboa, Portugal - Khan Iftekharuddin, Old Dominion University, USA - Leo Joskowicz, The Hebrew University of Jerusalem, Israel - Gerald Schaefer, Loughborough University, UK - Dinggang Shen, University of North Carolina at Chapel Hill, USA - Zeyun Yu, University of Wisconsin at Milwaukee, USA   Thematic Sessions Proposals to organize Thematic Sessions under the auspicious of VipIMAGE 2017 are welcome. Proposals for Thematic Sessions should be submitted by email to the conference co-chairs (tavares at fe.up.pt, rnatal at fe.up.pt).   Publications Proceedings: The proceedings book will be published by Springer under the book series "Lecture Notes in Computational Vision and Biomechanics" indexed by Elsevier Scopus. Journal Publication: A dedicated special issue of the Taylor & Francis international journal "Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization" indexed in Scopus, DBLP and Thomson Reuters Emerging Sources Index will be published with extended versions of the best works presented in the conference. Springer Book: A book with invited works from the ones presented in the conference will be organized for publishing by Springer.   Important Dates - Deadline for Thematic Session Proposals: February 28, 2017 - Deadline for Extended Abstracts: March 15, 2017 - Authors Notification: April 15, 2017 - Deadline for Papers: June 15, 2017   We are looking forward to see you in Porto in October, 2017, João Manuel R. S. Tavares Renato Natal Jorge (VipIMAGE 2017 co-chairs)   For further details, please, have a look in the conference website at: www.fe.up.pt/vipimage, the Facebook page at: www.facebook.com/VipIMAGE2017, or join the LinkedIn group at: www.linkedin.com/groups/4752820 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Wiebe.Van-Der-Hoek at liverpool.ac.uk Wed Oct 19 17:36:57 2016 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Wed, 19 Oct 2016 15:36:57 +0000 Subject: TARK 2017 call for papers Message-ID: <5F923BCC-4DAC-43D4-9EF5-9F3F0F20121D@liverpool.ac.uk> * CALL FOR PAPERS * TARK 2017 16th Conference on Theoretical Aspects of Rationality and Knowledge July 24-26, 2017 University of Liverpool, UK Conference website: coming soon About the Conference The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including - Artificial Intelligence, Knowledge Representation, Multi-Agent Systems - Cognitive Science, Psychology - Cryptography - Distributed Computing - Economics, Decision Theory, Game Theory, Social Choice - Linguistics - Philosophy in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. TARK 2017 is the 16th conference of the TARK conference series. Previous conferences have been held bi-annually around the world. The most recent conference was held in 2015 at Carnegie Mellon University, Pittsburgh, USA, see http://www.imsc.res.in/tark/tark15.html. Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty; bounded rationality and resource-bounded reasoning; commonsense epistemic reasoning; epistemic logic; epistemic game theory; knowledge and action; applications of reasoning about knowledge and other mental states; belief revision; computational social choice; algorithmic game theory; and foundations of multi-agent systems. SUBMISSIONS Submissions are now invited to TARK 2017. Extended Abstracts can be submitted here: https://easychair.org/conferences/?conf=tark2017 The deadline for submissions is April 3, 2017. Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. In particular, they should: 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work -- its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature. Extended abstracts should be no longer than 5,000 words (around 6 pages, double-column style as indicated below). Optional technical details such as proofs may be included in an appendix. One author of each accepted paper will be expected to present the paper at the conference. To format your paper please use: LaTeX2e - Tighter Alternate style from http://www.acm.org/sigs/publications/proceedings-templates The 5000 word limit is to ensure that the reviewers can read and express an opinion on the submission within the short time, though the submission format compresses the paper considerably. Please ensure that the main text for the reviewers stays within this limit. TARK reviewing is not double-blind, so author names can be included in the submission. While economics papers follow the same submission guidelines for review purposes, they can specify that only a short abstract be included for the Proceedings (with a link to a full working paper available online). The proceedings of all previous TARK conferences can be accessed at http://www.tark.org/. The proceedings of TARK 2017 will also be open access and available online. Important Dates: Submission of abstracts: April 3, 2017 Notification to authors: May 20, 2017 Camera Ready Copy of Accepted Papers due: June 10, 2017 Conference Dates: July 24 - 26, 2017 Contacts: Joe Halpern, conference chair, halpern at cs.cornell.edu Jérôme Lang, program chair, lang at lamsade.dauphine.fr Wiebe van der Hoek, organizing chair, Wiebe.Van-Der-Hoek at liverpool.ac.uk From geoff at cs.miami.edu Thu Oct 20 07:43:01 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 20 Oct 2016 01:43:01 -0400 (EDT) Subject: Artificial Intelligence and Theorem Proving - Call for Papers Message-ID: <20161020054301.7222C1214FE@mcclellan.cs.miami.edu> CALL FOR CONTRIBUTIONS Artificial Intelligence and Theorem Proving, AITP 2017 March 26-30, 2017, Obergurgl, Austria http://aitp-conference.org/2017 Deadline: December 1, 2016 https://easychair.org/conferences/?conf=aitp2017 BACKGROUND Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that. TOPICS - AI and big-data methods in theorem proving and mathematics. - Collaboration between automated and interactive theorem proving. - Common-sense reasoning and reasoning in science. - Alignment and joint processing of formal, semi-formal, and informal libraries. - Methods for large-scale computer understanding of mathematics and science. - Combinations of linguistic/learning-based and semantic/reasoning methods. SESSIONS There will be several focused sessions on AI for ATP, ITP and mathematics, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. CONFIRMED PARTICIPANTS/SPEAKERS Cameron Freer, Gamalon Labs Georges Gonthier, INRIA Saclay Thomas C. Hales, University of Pittsburgh John Harrison, Intel Andreas Holmstrom Cezary Kaliszyk, University of Innsbruck Michael Kohlhase, FAU Erlangen-Nurnberg Tim Rocktäschel, University College London Stephan Schulz, DHBW Stuttgart Christian Szegedy, Google Josef Urban, Czech Technical University Robert Veroff, University of New Mexico CONTRIBUTED TALKS We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair (https://easychair.org/conferences/?conf=aitp2017). DATES Submission deadline: December 1, 2016 Author notification: December 23, 2016 Conference registration: January 20, 2017 Camera-ready versions: February 1, 2017 Conference: March 26-30, 2017 POST-PROCEEDINGS We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR). PROGRAM COMMITTEE Jasmin Christian Blanchette, INRIA Nancy Ulrich Furbach, University of Koblenz Deyan Ginev, Jacobs University Bremen Thomas C. Hales (co-chair), University of Pittsburgh Sean Holden, University of Cambridge Geoffrey Irving, Google Cezary Kaliszyk (co-chair), University of Innsbruck Jens Otten, University of Oslo Claudio Sacerdoti Coen, University of Bologna Stephan Schulz (co-chair), DHBW Stuttgart Geoff Sutcliffe, University of Miami Josef Urban (co-chair), Czech Technical University LOCATION AND PRICE The conference will take place from March 26 to March 30 in the stunning scenery of the Tyrolean Alps in the Obergurgl Conference Center (http://www.uz-obergurgl.at/) of the University of Innsbruck. Obergurgl is a picturesque village located at an altitude of 2000m, a 1-hour drive from Innsbruck. It offers a variety of winter-sport activities such as skiing, snowshoeing and hiking at this time of the year. The total price for accommodation, food and registration for the four days will be around 500 EUR. ORGANIZERS Cezary Kaliszyk and Josef Urban From epontell at cs.nmsu.edu Thu Oct 20 17:32:16 2016 From: epontell at cs.nmsu.edu (Enrico Pontelli) Date: Thu, 20 Oct 2016 09:32:16 -0600 Subject: [DEADLINE EXTENSION] AAAI Workshop on AI for Smart Grids and Smart Buildings 2017 Message-ID: <564EA70A-2CE3-4951-93E7-5FF03C69E0F1@cs.nmsu.edu> EXTENDED DEADLINE - EXTENDED DEADLINE ==================================================================== 2nd International Workshop on AI for Smart Grids and Smart Buildings (AISGSB17) ==================================================================== February 4 or 5, 2017 Held in conjunction with AAAI 2017 San Francisco, California, USA http://www.cs.nmsu.edu/aisgsb17 ===================================================================== Call for Papers ===================================================================== Workshop Description and Motivation: The availability of advanced sensing and communication infrastructures, electric monitoring facilities, computational intelligence, widespread use and interest in renewable energy sources, and customer-driven electricity usage, storage and generation capabilities, have posed the foundations for a robust and dynamic next generation economic interplay between the demand-side: smart buildings, and the supply-side: smart power grids. Three key aspects distinguish this evolving economy from more traditional market forces: (1) Information: both energy producers and consumers have access to information (e.g., production costs, customers’ electricity needs, time distribution of demands); (2) Exchange: communication is possible on a continuous basis, thus enabling both individual as well as group decision processes (e.g., producers and consumers can negotiate prices and energy exchanges); (3) energy can be produced not only by power plants, but also by customers (e.g., via solar panels) and stored for later use (or redistributed through the electric grid), and (4) given all of the above, customers can employ advanced tactical measures for improving building operations and reducing energy consumption without sacrificing occupant satisfaction, which has direct economic implications for producers. In general terms, a smart grid enables the distributed generation and two-directional flow of electricity and information, within an integrated system of connected smart buildings as key agents within this new ecosystem. AI plays a key role in the relationship between the smart grid and smart buildings. New technologies offer infrastructure that provides information to support automated decision making on how to (automatically) adapt production/consumption, optimize costs, waste, and environmental impact, and provide reliability, safety, security, and efficiency. Indeed, several research projects have already developed the view of this ecosystem as a multi-agent system, where agents coordinate and negotiate to achieve smart grid and smart building objectives. The goal of this workshop is to bring together researchers and practitioners from diverse areas of AI to explore both established and novel applications of AI techniques to address problems related to the design, implementation, deployment, and maintenance of both smart buildings and the smart grid – either as independent topics or together in an overarching multi-agent system. Topics include, but are not limited to: • Distributed decision making and distributed optimization • Agents and multi-agent applications in smart grids • Data analytics and machine learning techniques applied to smart buildings, grids and energy management • Advanced machine learning techniques used to improve building maintenance and operations and reduce energy consumption without sacrificing occupant satisfaction • Novel information and sensing technologies that can be used to enable the deployment of advanced machine learning and data mining techniques within the built environment • Knowledge-based methods in design of smart buildings and smart grids • Coordination of intelligent agents in smart grids • Negotiation and trading strategies in energy markets • Human-computer interactions and human-in-the-loop systems within smart grids • Simulations of energy markets and smart grids Workshop Format: The workshop is expected to be a full-day event. It will include three components: (1) one invited keynote speaker, selected among leading researchers exploring the advanced use of AI techniques to address practical issues of smart grids and smart buildings; (2) a collection of presentations selected from peer-reviewed submissions, in response to an open call for papers; (3) a closing panel, including both invited panelist and workshop participants, to discuss future directions of research in this field. Submission Guidelines: Participants should submit a paper (maximum 6 pages + 1 page of references), describing their work on one or more of the topics relevant to the workshop. Accepted papers will be presented during the workshop and will be published as AAAI technical reports, which will be made freely available in AAAI's digital library. Authors are requested to prepare their papers using the AAAI style files (http://www.aaai.org/Publications/Templates/AuthorKit.zip). All submissions are conducted via the following website: http://www.easychair.org/conferences/?conf=aisgsb2017. Submissions should include the name(s), affiliations, and email addresses of all authors in the body of the email. We welcome the submission of papers rejected from the AAAI 2017 technical program. The deadline for receipt of submissions is October 21, 2016. Papers received after this date may not be reviewed. Submissions will be refereed on the basis of technical quality, novelty, significance, and clarity. Each submission will be thoroughly reviewed by at least two program committee members. For questions about the submission process, contact the workshop co-chairs. Important Dates: * November 12, 2016 - Submission Deadline [EXTENDED] * November 18, 2016 - Acceptance Notification * December 8, 2016 - Camera-Ready Deadline * February 4 or 5, 2017 - Workshop Date Organizing Committee: Rodney Martin, NASA Ames Research Center Enrico Pontelli, New Mexico State University Son Cao Tran, New Mexico State University Long Tran-Thanh, University of Southampton Contact Information: aisgsb2017 at easychair.org From grlmc at grlmc.com Fri Oct 21 01:43:27 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 21 Oct 2016 01:43:27 +0200 Subject: LATA 2017: extended submission deadline October 28 Message-ID: <545102060a010b02095550020e065a04515f0c540704575401040954030f535006050403015f0851555e5402520152@grlmc_ip-zone_com-6> LATA 2017: extended submission deadline October 28*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: October 28 ***** ------------------------------------------------------------------------------   ************************************************************************* 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2017   Umeå, Sweden   March 6-10, 2017   Organized by:             Department of Computing Science Umeå University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/LATA2017/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2017 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Franz Baader (Technical University of Dresden), Approximately Description Logics   Thomas Eiter (Technical University of Vienna), Stream Reasoning: Issues and Some Results   Michael R. Fellows (University of Bergen), On Some Finiteness Theorems about Formal Languages   Georg Gottlob (University of Oxford), Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data   Thomas Wilke (University of Kiel), Backward Deterministic omega-Automata   PROGRAMME COMMITTEE:   Eric Allender (Rutgers University, Piscataway, US) Amihood Amir (Bar-Ilan University, Ramat Gan, IL) Christel Baier (Technical University of Dresden, DE) Armin Biere (Johannes Kepler University Linz, AT) Avrim Blum (Carnegie Mellon University, Pittsburgh, US) Ondřej Bojar (Charles University in Prague, CZ) Jin-Yi Cai (University of Wisconsin, Madison, US) Liming Cai (University of Georgia, Athens, US) Alessandro Cimatti (Bruno Kessler Foundation, Trento, IT) Rocco De Nicola (IMT School for Advanced Studies Lucca, IT) Rod Downey (Victoria University of Wellington, NZ) Frank Drewes (Umeå University, SE) Zoltán Fülöp (University of Szeged, HU) Gregory Z. Gutin (Royal Holloway, University of London, UK) Lane A. Hemaspaandra (University of Rochester, US) Dorit S. Hochbaum (University of California, Berkeley, US) Deepak Kapur (University of New Mexico, Albuquerque, US) Marek Karpinski (University of Bonn, DE) Joost-Pieter Katoen (RWTH Aachen University, DE) Evangelos Kranakis (Carleton University, Ottawa, CA) Lars M. Kristensen (Bergen University College, NO) Kim G. Larsen (Aalborg University, DK) Axel Legay (INRIA, Rennes, FR) Leonid Libkin (University of Edinburgh, UK) Carsten Lutz (University of Bremen, DE) João Marques Silva (University of Lisbon, PT) Carlos Martín-Vide (Rovira i Virgili University, Tarragona, ES, chair) Mitsunori Ogihara (University of Miami, Coral Gables, US) Arlindo Oliveira (Instituto Superior Técnico, Lisbon, PT) David Parker (University of Birmingham, UK) Madhusudan Parthasarathy (University of Illinois, Urbana-Champaign, US) Doron A. Peled (Bar-Ilan University, Ramat Gan, IL) Dominique Perrin (Paris-Est Marne-la-Vallée University, FR) Jean-Éric Pin (Paris Diderot University, FR) Sanguthevar Rajasekaran (University of Connecticut, Storrs, US) Bruce Reed (McGill University, Montréal, CA) Wojciech Rytter (University of Warsaw, PL) Kunihiko Sadakane (University of Tokyo, JP) Davide Sangiorgi (University of Bologna, IT) Helmut Seidl (Technical University of Munich, DE) Jens Stoye (Bielefeld University, DE) Wing-Kin Sung (National University of Singapore, SG) Dimitrios M. Thilikos (CNRS, LIRMM, FR & National and Kapodistrian University of Athens, GR) Ioannis G. Tollis (University of Crete, Heraklion, GR) Bianca Truthe (University of Giessen, DE) Frits Vaandrager (Radboud University, Nijmegen, NL) Rob van Glabbeek (CSIRO, Sydney, AU)   ORGANIZING COMMITTEE:   Yonas Demeke (Umeå) Frank Drewes (Umeå, co-chair) Petter Ericson (Umeå) Anna Jonsson (Umeå) Carlos Martín-Vide (Tarragona, co-chair) Manuel Jesús Parra Royón (Granada) Bianca Truthe (Giessen) Florentina Lilica Voicu (Tarragona) Niklas Zechner (Umeå)   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=lata2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of the journal Information and Computation (Elsevier, 2015 JCR impact factor: 0.873) 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/LATA2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: October 28, 2016 – EXTENDED – Notification of paper acceptance or rejection: November 25, 2016 Final version of the paper for the LNCS proceedings: December 5, 2016 Early registration: December 5, 2016 Late registration: February 20, 2017 Submission to the journal special issue: June 10, 2017   QUESTIONS AND FURTHER INFORMATION:   florentinalilica.voicu (at) urv.cat   POSTAL ADDRESS:   LATA 2017 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:   Umeå universitet Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ruy at cin.ufpe.br Fri Oct 21 14:29:27 2016 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Fri, 21 Oct 2016 09:29:27 -0300 Subject: 24th WoLLIC 2017 - Call for Papers Message-ID: WoLLIC 2017 24th Workshop on Logic, Language, Information and Computation July 18-21, 2017 University College London (UCL), London, UK SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, University College London, London, UK School of Electronic Engineering and Computer Science, Queen Mary College, London, UK Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, University College London, London, UK CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fourth WoLLIC will be held at the School of Electronic Engineering and Computer Science, Queen Mary College, London, UK, from July 18th to 21st, 2017. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2017 EasyChair website. (Please go to http://wollic.org/wollic2017/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 14, 2017, and the full paper by Mar 21, 2017 (firm date). Notifications are expected by Apr 22, 2017, and final papers for the proceedings will be due by May 6, 2017 (firm date). PROCEEDINGS The proceedings of WoLLIC 2017, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2017 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Hazel Brickhurst (Bristol) (TBC) Ofra Magidor (Oxford University, UK) Peter O'Hearn (UCL) (TBC) Nicole Schweikardt (Humboldt) (TBC) Fan Yang (Delft University, The Netherlands) Boris Zilber (Oxford University, UK) STUDENT GRANTS ASL sponsorship of WoLLIC 2017 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2017). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 14, 2017: Paper title and abstract deadline Mar 21, 2017: Full paper deadline Apr 22, 2017: Author notification May 6, 2017: Final version deadline (firm) PROGRAMME COMMITTEE Matthias Baaz (University of Technology, Vienna, Austria) John Baldwin (University of Illinois at Chicago, USA) Dana Bartozová (Universidade de São Paulo, Brazil) Agata Ciabattoni (University of Technology, Vienna, Austria) Walter Dean (University of Warwick, UK) Erich Grädel (RWTH Aachen, Germany) Volker Halbach (University of Oxford, UK) Juliette Kennedy (Helsinki University, Finland) (Chair) Dexter Kozen (Cornell University, USA) Janos Makowsky (Technion - Israel Institute of Technology, Israel) Larry Moss (indiana University, USA) Alessandra Palmigiano (Delft University, The Netherlands) Mehrnoosh Sadrzadeh (Queen Mary, UK) Sonja Smets (Amsterdam University, The Netherlands) Asger Törnquist (Københavns Universitet, Denmark) Rineke Verbrugge (University of Groningen, The Netherlands) Andrés Villaveces (Universidad Nacional, Colombia) Philip Welch (University of Bristol, UK) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. ORGANISING COMMITTEE Alexandra Silva (Univ College London, UK) (Local co-chair) Mehrnoosh Sadrzadeh (Queen Mary, UK) (Local co-chair) Paulo Oliva (Queen Mary, UK) James Brotherston (Univ College London, UK) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2017/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From announce at cs.ucy.ac.cy Sat Oct 22 12:01:05 2016 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 22 Oct 2016 13:01:05 +0300 Subject: 22nd ACM International Conference on Intelligent User Interfaces (IUI 2017): First Call for Demos and Posters Message-ID: <3G7FQWA8-0XS0-J0GZ-TA-R8FVE7YLAGUS@cs.ucy.ac.cy> *** First Call for Demos and Posters *** 22nd ACM International Conference on Intelligent User Interfaces IUI 2017 St. Raphael Resort, Limassol, Cyprus March 13-16, 2017 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBEZW1vcyBhbmQgUG9zdGVycwk4MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fiui.acm.org%2F2017%2Fdemopost.html ACM IUI 2017 is the 22nd annual meeting of the intelligent interfaces community and serves as a premier international forum for reporting outstanding research and development on intelligent user interfaces. The 22nd edition of the conference will be held in Limassol, Cyprus. Limassol (or Lemesos) is a multicultural bustling town, flanked by two ancient cities, Amathus and Kourion, and guarded by the Amathusian Aphrodite and Appolo Hylates. It is a town of great visual diversity and contrast from spectacular seafront views, historic places like the mediaeval Castle, and Byzantine churches. Along the 17 km long sandy beaches, two Marinas, world renowned 5 star hotels, and a most exciting dining, shopping, nightlife and yachting scene create a year-round vibrant lifestyle well beyond the expectations of a Mediterranean island. ACM IUI is where the Human-Computer Interaction (HCI) community meets the Artificial Intelligence (AI), with contributions from related fields such as psychology, behavioral science, cognitive science, computer graphics, design or the arts. Our focus is to improve the interaction between humans and machines, by leveraging both more traditional HCI approaches, as well as solutions that involve state-of-the art AI techniques such as machine learning, natural language processing, data mining, knowledge representation and reasoning. ACM IUI welcomes contribution from any relevant arena: academia, business, or non-profit organizations. Posters Posters provide an opportunity for sharing valuable ideas, eliciting useful feedback on early-stage work and fostering discussions and collaborations among colleagues. We invite submissions on all topics of the conference. All submissions should convey a scientific result or work in progress that is not yet ready to be published as a full length research paper at a refereed conference. Submitting a draft poster along with your submission is not required but highly recommended. The page limit for poster papers is 4 pages (including references). Accepted poster papers will appear in the companion proceedings in the ACM Digital Library. Demos The demonstrations track complements the overall program of the conference. Demonstrations show implementations of novel, interesting, and important intelligent user interface concepts or systems. We invite submissions relevant to intelligent user interfaces and which address, but are not limited to, the topics of the conference. All submissions are intended to convey a scientific result or work in progress and should not be advertisements for commercial software packages. The page limit for demo papers is 4 pages (including references). Accepted demo papers will be published in the companion proceedings in the ACM Digital Library. Submission Guidelines Demo and poster submissions do not need to be anonymized. The page limit is 4 pages (including references) in HCI extended abstract format (MS Word template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBEZW1vcyBhbmQgUG9zdGVycwk4MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.sigchi.org%2Fpublications%2Fchipubform%2Fsigchi-extended-abstracts-format-2016%2Fview, LaTeX template, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBEZW1vcyBhbmQgUG9zdGVycwk4MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fgithub.com%2Fsigchi%2FDocument-Formats%2Ftree%2Fmaster%2FLaTeX%29. Submitting a draft poster along with your poster submission is not required but highly recommended. Submit your demos and posters at http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=YWZpaG0ub3JnICwJCQlldmVudEBpbi50dS1jbGF1c3RoYWwuZGUJMjJuZCBBQ00gSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIEludGVsbGlnZW50IFVzZXIgSW50ZXJmYWNlcyAoSVVJIDIwMTcpOiBGaXJzdCBDYWxsIGZvciBEZW1vcyBhbmQgUG9zdGVycwk4MwlMaXN0cwkyNDcJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fprecisionconference.com%2F%7Esigchi. Poster and Demo presenters: 120cm x 147cm (47" x 58") poster boards and pushpins will be provided to mount your posters. Important Dates · Submissions Due: December 16, 2016 · Notifications to Authors: January 8, 2017 · Camera Ready Due: January 13, 2017 Demos/Posters Co-Chairs · Andrina Granic, University of Split, Croatia · Denis Parra, PUC, Chile · Jingtao Wang, University of Pittsburgh, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ffiorett at cs.nmsu.edu Wed Oct 26 14:57:45 2016 From: ffiorett at cs.nmsu.edu (Ferdinando Fioretto) Date: Wed, 26 Oct 2016 08:57:45 -0400 Subject: TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming Message-ID: Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/ Since its inception, logic programming has been recognized as an ideal paradigm for addressing the needs of parallel computing. An extensive literature has been developed exploring issues like automated parallelization of logic programs, the use of logic programs to describe parallel and distributed computations, and logic programming models to capture concurrency and facilitate the development of provably correct concurrent applications. After over 30 years of research in these domains, the state of the art has reached a stage where technologies are highly complex and sophisticated, and applications are plentiful. Yet, the continuous development of novel architectures (e.g., the onset of GPU-based computing; the widespread use of simple inter-connected devices, like Arduino and Raspberry Pi; the development of affordable multi-core platforms and reconfigurable computing; the widespread use of cloud computing), the appearance of new domains and potential applications (e.g., big data), and the developments in novel logic programming languages and paradigms are creating new research opportunities and fueling new ideas and developments. The goal of this special issue is to provide a multi-fold perspective of research at the junction between parallel and distributed computation and (constraint) logic programming: 1. Provide well-thought assessments of the state of the art (e.g., in the form of well organized surveys, personal perspectives) 2. Describe cutting-edge coverage of new developments (e.g., novel execution models, innovative systems and implementations) 3. Describe new research directions, offering clear motivations, new perspectives and solid foundations for other researchers to build upon 4. Novel applications (e.g., in big data, cyber-physical systems) that critically rely on the use on the integration of parallelism and logic programming SUBMISSION DEADLINES: * Optional Notes of Interest: December 1st 201 ​6​ (to facilitate planning) * Title and Abstract: January 30, 2017 * Full Paper: March 31, 2017 SUBMISSION INSTRUCTIONS: Please submit notes of interest and title/abstract to epontell at cs.nmsu.edu. Submissions of manuscripts must be made in the TPLP format http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf and handled through the TPLP Submission site (please select the appropriate option under the Special Issue category): https://mc.manuscriptcentral.com/tplp GUEST EDITOR: Enrico Pontelli, epontell at cs.nmsu.edu, New Mexico State University, USA Ferdinando Fioretto, ffiorett at cs.nmsu.edu, New Mexico State University, USA -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Oct 27 15:41:39 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 27 Oct 2016 09:41:39 -0400 (EDT) Subject: TABLEAUX/FroCoS/ITP Call for Papers Message-ID: <20161027134139.7D64B12149E@mcclellan.cs.miami.edu> (Apologies for multiple copies. Please redistribute) ********************************************************************* FIRST CALL FOR PAPERS TABLEAUX 2017 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods University of Brasília, Brazil September 26-29, 2017 Submission Deadline: 25 Apr 2017 http://tableaux2017.cic.unb.br/ GENERAL INFORMATION TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented. The conference will be held in Brasília from 26-29 September 2017. TABLEAUX 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017). TOPICS Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. Topics of interest include but are not limited to: * tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, substructural, relevance, non-monotonic logics) and their proof-theoretic foundations; * related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches); * sequent calculi and natural deduction calculi for classical and non-classical logics, as tools for proof search and proof representation; * flexible, easily extendable, light weight methods for theorem proving; * novel types of calculi for theorem proving and verification in classical and non-classical logics; * systems, tools, implementations, empirical evaluations and applications (provers, logical frameworks, model checkers, ...); * implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, ...); * extensions of tableau procedures with conflict-driven learning, generation of proofs; compact (or humanly readable) representation of proofs; * decision procedures, theoretically optimal procedures; * applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching. We also welcome papers describing applications of tableau procedures to real world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning, and logical aspects of the solution. WORKSHOPS AND TUTORIALS Proposals for Workshops and Tutorial sessions have been solicited in a separate call, which can be found at http://tableaux2017.cic.unb.br/#cfw. PUBLICATION DETAILS The conference proceedings will published in the Springer LNAI/LNCS series, as in previous editions. SUBMISSIONS Submissions are invited in two categories: A Research papers, which describe original theoretical research, original algorithms, or applications, with length up to 15 pages. B System descriptions, with length up to 9 pages. Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. For category A, theoretical results and algorithms must be original, and not submitted for publication elsewhere. Submissions will be reviewed taking into account correctness, theoretical elegance, and possible implementability. For category B submissions, a working implementation must be accessible via the internet, which includes sources. The aim of a system description is to make the system available in such a way that users can use it, understand it, and build on it. Accepted papers in both categories will be published in the conference proceedings. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: https://easychair.org/conferences/?conf=tableaux2017. For all accepted papers at least one author is required to attend the conference and present the paper. A paper title and a short abstract of about 100 words must be submitted before the paper submission deadline. Further information about paper submissions will be made available at the conference website. Formatting instructions and the LNCS style files can be obtained via http://www.springer.com/lncs. BEST PAPER AWARD The TABLEAUX 2017 Best Paper Award will be presented to the best submission nominated and chosen by the Program Committee among the accepted papers. The eligibility criteria will place emphasis on the originality and significance of the contribution, but readability and the overall technical quality, including correctness and completeness of results, will be also considered. The TABLEAUX Best Paper Award was established in 2015 and it is a permanent initiative of TABLEAUX. IMPORTANT DATES 18 Apr 2017 Abstract submission 25 Apr 2017 Paper submission 8 Jun 2017 Notification of paper decisions 3 Jul 2017 Camera-ready papers due 23-25 Sep 2017 Workshops & Tutorials 25-29 Sep 2017 TABLEAUX Conference PROGRAM COMMITTEE Peter Baumgartner National ICT Australia, Canberra Maria Paola Bonacina Università degli Studi di Verona Laura Bozzelli Universidad Politécnica de Madrid Torben Braüner Roskilde University Serenella Cerrito Ibisc, Université d'Evry Val d'Essonne Agata Ciabattoni Technische Universität Wien Clare Dixon University of Liverpool Pascal Fontaine LORIA, INRIA, Université de Lorraine Didier Galmiche LORIA, Université de Lorraine Martin Giese Universitetet i Oslo Laura Giordano DISIT, Università del Piemonte Orientale Rajeev Gore The Australian National University Volker Haarslev Concordia University George Metcalfe Universität Bern Angelo Montanari Università degli Studi di Udine Barbara Morawska Technische Universität Dresden Boris Motik University of Oxford Leonardo de Moura Microsoft Research Neil Murray SUNY at Albany Cláudia Nalon Universidade de Brasília Linh Anh Nguyen Uniwersytet Warszawski Hans de Nivelle Uniwersytet Wrocławski Nicola Olivetti LSIS, Aix-Marseille Université Jens Otten Universitetet i Oslo Valeria de Paiva Nuance Communications Nicolas Peltier Centre National de la Recherche Scientifique, Laboratoire d'Informatique de Grenoble Elaine Pimentel Universidade Federal do Rio Grande do Norte Giselle Reis Carnegie Mellon University-Qatar Philipp Ruemmer Uppsala Universitet Katsuhiko Sano Hokkaido University Renate Schmidt The University of Manchester Cesare Tinelli The University of Iowa Alwen Tiu Nanyang Technological University David Toman University of Waterloo Josef Urban České vysoké učení technické v Praze LOCAL CONFERENCE ORGANIZATION COMMITTEE Cláudia Nalon, Universidade de Brasília, Brazil Daniele Nantes Sobrinho, Universidade de Brasília, Brazil Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brazil João Marcos, Universidade Federal do Rio Grande do Norte, Brazil CONFERENCE CHAIR Cláudia Nalon, University of Brasília, Brazil PC CHAIRS Cláudia Nalon, University of Brasilia, Brazil Renate Schmidt, The University of Manchester, UK Cláudia Nalon, University of Brasília, Brazil Renate Schmidt, The University of Manchester, UK **************************************************************************** FIRST CALL FOR PAPERS FroCoS 2017 11th International Symposium on Frontiers of Combining Systems Brasilia, Brazil September 25-29th, 2017 http://frocos2017.cic.unb.br Submission Deadlines: 24th April 2017 (abstracts) 28th April 2017 (full papers) GENERAL INFORMATION The 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) will be held in Brasilia, Brazil, between September 25 to September 29, 2017. Its main goal is to disseminate and promote progress in research areas related to the development of techniques for the integration, combination, and modularization of formal systems together with their analysis. FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem­Proving (ITP 2017). The local organization of all events will be organised by Claudia Nalon (USB, Brazil), Daniele Nantes (UnB, Brazil), Elaine Pimentel (UFRN, Brazil) and João Marcos (UFRN, Brazil). SCOPE OF CONFERENCE In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led---in many research areas---to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis. The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use. Typical topics of interest include (but are not limited to): * combinations of logics (such as higher-order, first-order, temporal, modal, description or other non-classical logics); * combination and integration methods in SAT and SMT solving; * combination of decision procedures, satisfiability procedures, constraint solving techniques, or logical frameworks; * combinations and modularity in ontologies; * integration of equational and other theories into deductive systems; * hybrid methods for deduction, resolution and constraint propagation; * hybrid systems in knowledge representation and natural language semantics; * combined logics for distributed and multi-agent systems; * logical aspects of combining and modularizing programs and specifications; * integration of data structures into constraint logic programming and deduction; * combinations and modularity in term rewriting; * applications of methods and techniques to the verification and analysis of information systems. INVITED SPEAKERS [TO BE ANNOUNCED] PUBLICATION DETAILS The proceedings of the symposium will be published in the Springer LNAI/LNCS series. PAPER SUBMISSIONS The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. The page limit in Springer LNCS style is 16 pages. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system at the following address: https://easychair.org/conferences/?conf=frocos2017 For each accepted paper, at least one of the authors is required to attend the symposium and present the work. Prospective authors must register a title and an abstract five days before the paper submission deadline. Further information about paper submissions is available at the conference website that can be found at the beginning of this call for papers. WORKSHOPS AND TUTORIALS Proposals for Workshops and Tutorial sessions have been solicited in a separate call, which can be found at http://frocos2017.cic.unb.br/#cfw. IMPORTANT DATES 24th April 2017: Abstract submission deadline 28th April 2017: Full paper submission deadline 9th June 2017: Author notification 23rd June 2017: Camera-ready version due September 25-29, 2017: FroCoS Conference PROGRAM COMMITTEE Carlos Areces, FaMAF - Universidad Nacional de Córdoba Alessandro Artale, Free University of Bolzano-Bozen Mauricio Ayala-Rincon, Universidade de Brasilia Franz Baader, TU Dresden Peter Baumgartner, National ICT Australia Christoph Benzmüller, Freie Universität Berlin Thomas Bolander, Technical University of Denmark Marcelo Coniglio, State University of Campinas Clare Dixon, University of Liverpool [co-chair] François Fages, Inria Paris-Rocquencourt Marcelo Finger, Universidade de Sao Paulo [co-chair] Pascal Fontaine, LORIA, INRIA, University of Lorraine Didier Galmiche, LORIA, University of Lorraine Vijay Ganesh, University of Waterloo Silvio Ghilardi, Università degli Studi di Milano Jürgen Giesl, RWTH Aachen Laura Giordano, Università del Piemonte Orientale Agi Kurucz, Kings College, London Till Mossakowski, Otto-von-Guericke-University Magdeburg Cláudia Nalon, University of Brasília Elaine Pimentel, Universidade Federal do Rio Grande do Norte Silvio Ranise, Fondazione Bruno Kessler-Irst Christophe Ringeissen, LORIA-INRIA Uli Sattler, University of Manchester Roberto Sebastiani, University of Trento Guillermo Simari, Universidad Nacional del Sur in Bahia Blanca Viorica Sofronie-Stokkermans, University Koblenz-Landau Andrzej Szalas, University of Warsaw René Thiemann, University of Innsbruck Ashish Tiwari, SRI International Christoph Weidenbach, Max Planck Institute for Informatics ******************************************************************** FIRST CALL FOR PAPERS ITP 2017 8th International Conference on Interactive Theorem Proving Brasilia, Brazil September 26-29, 2017 http://itp2017.cic.unb.br Submission Deadlines: April 3, 2017 (abstracts) April 10, 2017 (full papers) GENERAL INFORMATION The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009. The eighth ITP conference, ITP 2017, will be held at Universidade de Brasilia, September 26-29, 2017. SCOPE OF CONFERENCE ITP welcomes submissions describing original research on all aspects of interactive theorem proving and its applications. Suggested topics include but are not limited to the following: * formal aspects of hardware and software * formalizations of mathematics * improvements in theorem prover technology * user interfaces for interactive theorem provers * formalizations of computational models * verification of security algorithms * use of theorem provers in education * industrial applications of interactive theorem provers * concise and elegant worked examples of formalizations (proof pearls) PUBLICATION DETAILS The proceedings of the symposium will be published in the Springer's LNCS series. PAPER SUBMISSIONS All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Furthermore, when appropriate, submissions are expected to be accompanied by verifiable evidence of a suitable implementation, such as the source files of a formalization for the proof assistant used. Submissions should be no more than 16 pages in length and are to be submitted in PDF via EasyChair at the following address: https://easychair.org/conferences/?conf=itp2017 Submissions must conform to the LNCS style in LaTeX. Authors of accepted papers are expected to present their paper at the conference and will be required to sign a copyright release form. In addition to regular papers, described above, there will be a rough diamond section. Rough diamond submissions are limited to 6 pages and may consist of an extended abstract. They will be refereed and be expected to present innovative and promising ideas, possibly in an early form and without supporting evidence. Accepted diamonds will be published in the main proceedings and will be presented as short talks. IMPORTANT DATES Abstract submission deadline: April 3, 2017 Full paper submission deadline: April 10, 2017 Author notification: June 2, 2017 Camera-ready papers: June 30, 2017 Workshops & Tutorials: September 23-25, 2017 Conference: September 26-29, 2017 PROGRAM COMMITTEE Maria Alpuente, T.U. Valencia Vander Alves, U. Brasilia June Andronick, U. New South Wales Jeremy Avigad, Carnegie Mellon U. Mauricio Ayala-Rincon, U. Brasilia (Co-Chair) Sylvie Boldo, INRIA LRI Ana Bove, Chalmers & Gothenburg U. Adam Chlipala, MIT Gilles Dowek, INRIA, ENS Cachan Aaron Dutle, NASA Amy Felty, U. Ottawa Marcelo Frias, I.T. Buenos Aires Ruben Gamboa, U. Wyoming Herman Geuvers, Radboud U. Elsa Gunter, U. Illinois U.C. John Harrison, Intel Corporation Nao Hirokawa, JAIST Matt Kaufmann, U. Texas Austin Mark Lawford, McMaster U. Andreas Lochbihler, ETH Zurich Assia Mahboubi, INRIA Panagiotis Manolios, Northeastern U. Cesar Munoz, NASA (Co-Chair) Gopalan Nadathur, U. Minnesota Keiko Nakata, T.U. Dresden Adam Naumowicz, U. Bialystok Tobias Nipkow, T.U. Munich Scott Owens, U. Kent Sam Owre, SRI Lawrence Paulson, U. Cambridge Leila Ribeiro, U.F. Rio Grande do Sul Claudio Sacerdoti Coen, U. Bologna Augusto Sampaio, U.F. Pernambuco Monika Seisenberger, Swansea U. Christian Sternagel, U. Innsbruck Sofiene Tahar, Concordia U. Christian Urban, King's College London Josef Urban, Czech T.U. Prague CONTACT INFORMATION Cesar Munoz Mauricio Ayala-Rincon itp2017 at easychair.org http://itp2017.cic.unb.br From grlmc at grlmc.com Fri Oct 28 01:57:31 2016 From: grlmc at grlmc.com (GRLMC) Date: Fri, 28 Oct 2016 01:57:31 +0200 Subject: TPNC 2016: 2nd call for posters Message-ID: <545102060a010b02095159030f025a57065f075050530e0306575b570f0606545d570c05010d030756535802070102@grlmc_ip-zone_com-6> TPNC 2016: 2nd call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------------------- The 5th International Conference on the Theory and Practice of Natural Computing (TPNC 2016) invites researchers to submit poster presentations. TPNC 2016 will be held in Sendai (Japan) on December 12-13, 2016. See http://grammars.grlmc.com/TPNC2016/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 9, 2016 Notification of poster acceptance or rejection: November 12, 2016 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2016 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 proceedings volume of TPNC 2016. However, they will be eligible for submission to the post-conference journal special issue in Soft Computing (Springer, 2014 JCR impact factor: 1.304). REGISTRATION At least one author of each accepted poster must register to the conference by November 28, 2016. The registration fare is reduced: 260 Euro. 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 e.haasdijk at vu.nl Fri Oct 28 10:53:00 2016 From: e.haasdijk at vu.nl (Evert Haasdijk) Date: Fri, 28 Oct 2016 10:53:00 +0200 (CEST) Subject: [CfP] EvoROBOT 2017 Deadline Extension Message-ID: <20161028085301.9FF7260285193@MW-020708.clients.vu.nl> --------------------------------------------------------------- DEADLINE EXTENDED to 15 Nov EvoROBOT 2017 Amsterdam, The Netherlands, 19 - 21 April 2017 --------------------------------------------------------------- Call for Papers Evolutionary Computation in Robotics ------------------------------------ The EvoROBOT track is part of EvoApplications, the European Conference on the Applications of Evolutionary Computation (http://www.evostar.org/), to be held in Amsterdam, The Netherlands. Amsterdam is famous for its central role in European history, its tolerant character, and its extraordinary beauty . Attractions range from the Rijksmuseum and the house of Anne Frank to the Bloemenmarkt (floating flower market), the red light district, the cafés, and the world-class nightlife. The conference venue is centrally located. The EvoROBOT track focusses on evolutionary robotics: the application of evolutionary computation techniques to automatically design the controllers and/or hardware of autonomous robots, real or simulated. This is by nature a multi-faceted field that combines approaches from other fields such as neuro-evolution, evolutionary design, artificial life, robotics, et cetera. We invite high quality contributions dealing with state-of-the-art research in the area of evolutionary robotics. Topics include but are not limited to: - Evolution of (neural or otherwise) robot controllers; - Evolution of modular robot morphology; - Hardware/morphology and controller co-evolution; - Open-ended evolution in robotics; - Robotic evolutionary Artificial Life; - Evolutionary self-assembly and self-replication; - Evolution, development and learning; - Evolutionary and co-evolutionary approaches. Important Dates ---------------- Submission Deadline: 15 November 2016 (Extended) Notification: 9 January 2017 Camera-ready: 25 January 2017 EvoStar dates: 19 - 21 April 2017 Publication Details ------------------- Accepted papers will appear in the proceedings of EvoStar, published in a volume of the Springer Lecture Notes in Computer Science, which will be available at the Conference. Best Paper Award ---------------- Frontiers in Robotics and AI is offering the best paper award at the upcoming EvoROBOT track. The Evolutionary Robotics specialty grants the winner a full waiver of the publication fee for the submission of an extended version of the work presented at EvoROBOT in Amsterdam. Naturally, the final decision to publish the extended version will be made adhering to the Frontiers policies of originality and review. See http://www.frontiersin.org/evolutionary_robotics for details of this open-access journal. Submission Details ------------------ Submissions must be novel and original. Submissions will be peer reviewed by at least three members of the program committee and authors of accepted papers are required to address the reviewer's comments to produce a camera-ready version of their manuscripts if accepted. At least one author of each accepted paper must register for the conference and attend the conference to present their work. The reviewing process will be double-blind and any information that may identify the authors should be removed from the initial submission. Please submit your contribution to EvoROBOT in Springer LNCS format. The page limit is 16 pages. Track Chairs ------------ Evert Haasdijk Jacqueline Heinerman Further Information ------------------- Visit http://www.evostar.org or join the EVOstar group on LinkedIn for more details and updates. From evomusart at gmail.com Fri Oct 28 14:02:44 2016 From: evomusart at gmail.com (=?UTF-8?Q?Jo=C3=A3o_Correia?=) Date: Fri, 28 Oct 2016 13:02:44 +0100 Subject: Deadline Extension - EvoMusArt 2017 Message-ID: ------------------------------------------------ Call for papers for the 6th EVOMUSART conference ------------------------------------------------ ------------- NEWS: DEADLINE EXTENSION : 15th of November NEWS: For the 20th year anniversary of the evo* conferences a website was made available with all the information on the evoMUSART papers since 2003. Feel free to browse and bookmark: http://evomusart-index.dei.uc.pt/ ------------- The 6th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Amsterdam in 19-21 April 2017, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area. Important dates: Submission: 15 November 2016 Notification to authors: 9 January 2017 Camera-ready deadline: 25 January 2017 Evo*: 19-21 April 2017 We welcome submissions which use Computational Intelligence techniques (e.g. Evolutionary Computation, Artificial Life, Machine Learning, Swarm Intelligence) in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format (instructions downloadable from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). Each submission must be anonymised for a double-blind review process and submitted to http://myreview.csregistry.org/evomusart17/ . The deadline for submission is 1 November 2016, and acceptance notification on 9 January 2017. Accepted papers will be presented orally or as posters at the event and included in the evoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. Indicative topics include but are not limited to: * Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; * Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc...; * Systems that create artifacts such as game content, architecture, furniture, based on aesthetic and functional criteria; * Systems that resort to computational intelligence to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; * Systems in which computational intelligence is used to promote the creativity of a human user; * Theories or models of computational aesthetics; * Computational models of emotional response, surprise, novelty; * Representation techniques for images, videos, music, etc; * Surveys of the current state-of-the-art in the area; * New ways of integrating the user in the process (e.g. improvisation, co-creation, participation). More information on the submission process and the topics of evoMUSART 2017 can be found at http://www.evostar.org/2017/cfp_evomusart.php We look forward to seeing you in Amsterdam in 2017! The evoMUSART 2017 organisers From geoff at cs.miami.edu Mon Oct 31 21:10:42 2016 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 31 Oct 2016 16:10:42 -0400 (EDT) Subject: CADE-26 Call for Workshops, Tutorials, System Competition, and Papers Message-ID: <20161031201042.AD206121528@mcclellan.cs.miami.edu> The 26th International Conference on Automated Deduction (CADE-26) Gothenburg, Sweden 6-11 August 2017 http://www.cade-26.info CALL FOR PAPERS CADE is the major international forum at which research on all aspects of automated deduction is presented. High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Key dates: Abstract deadline: 11 February 2017 Submission deadline: 18 February 2017 * Logics of interest include propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, constructive, other non-classical, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof. * Paradigms of interest include theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integration. * Methods of interest include resolution, superposition, completion, saturation, term rewriting, decision procedures, model elimination, connection methods, tableaux, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including matching, unification, orderings, induction, indexing techniques, proof presentation and explanation, proof planning. * Applications of interest include program analysis, verification and synthesis of software and hardware, formal methods, computational logic, computer mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, declarative programming, robotics, planning, and other areas of artificial intelligence. Submissions can be made in two categories: regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages excluding references for regular papers and 10 pages excluding references for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions must contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. For papers containing experimental evaluations, all data needed to rerun the experiments must be available. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chairs may solicit further reviews after the rebuttal period. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html At every CADE conference the Program Committee selects one of the accepted papers to receive the CADE Best Paper Award. The award recognizes a paper that the Program Committee collegially evaluates as the best in terms of originality and significance, having substantial confidence in its correctness. Overall technical quality, completeness, scholarly accuracy, and readability are also considered. Characteristics associated with a best paper include, for instance, introduction of a strong new technique or approach, solution of a long-standing open problem, introduction and solution of an interesting and important new problem, highly innovative application of known ideas or existing techniques, and presentation of a new system of outstanding power. Under exceptional circumstances, the Program Committee may give two awards (ex aequo) or give no award. IMPORTANT DATES Abstract deadline: 11 February 2017 Submission deadline: 18 February 2017 Rebuttal phase: 8 April 2017 Notification: 22 April 2017 Final version: 27 May 2017 SUBMISSION INSTRUCTIONS Papers should be submitted via https://easychair.org/conferences/?conf=cade26 CADE-26 ORGANIZERS Conference Chairs: Wolfgang Ahrendt Chalmers University of Technology Moa Johansson Chalmers University of Technology Program Committee Chair: Leonardo de Moura Microsoft Research Workshop, Tutorial, and Competition Chair: Philipp Ruemmer Uppsala University Publicity Chair: Magnus Myreen Chalmers University of Technology Program Committee: Clark Barrett Stanford University Christoph Benzmueller Freie Universitaet Berlin Jasmin Christian Blanchette Inria Nancy & LORIA Nikolaj Bjorner Microsoft Research Maria Paola Bonacina Universita degli Studi di Verona Leonardo de Moura Microsoft Research Hans de Nivelle University of Wroclaw Stephanie Delaune CNRS, IRISA Gilles Dowek Inria & ENS Paris-Saclay Amy Felty University of Ottawa Silvio Ghilardi Universita degli Studi di Milano Reiner Haehnle Technical University of Darmstadt Marijn Heule The University of Texas at Austin Moa Johansson Chalmers University of Technology Dejan Jovanovic SRI International Deepak Kapur University of New Mexico Konstantin Korovin The Manchester University Laura Kovacs Vienna University of Technology Christopher Lynch Clarkson University Assia Mahboubi INRIA Aart Middeldorp University of Innsbruck Dale Miller INRIA and LIX/Ecole Polytechnique Albert Oliveras Technical University of Catalonia Lawrence Paulson University of Cambridge Ruzica Piskac Yale University Philipp Ruemmer Uppsala University Renate Schmidt The University of Manchester Stephan Schulz DHBW Stuttgart Roberto Sebastiani University of Trento Viorica Sofronie-Stokkermans University Koblenz-Landau Geoff Sutcliffe University of Miami Cesare Tinelli The University of Iowa Ashish Tiwari SRI International Andrei Voronkov The University of Manchester Christoph Weidenbach Max Planck Institute for Informatics Freek Wiedijk Radboud University Nijmegen CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS The 26th International Conference on Automated Deduction (CADE-26) Gothenburg, Sweden 6-11 August 2017 http://www.cade-26.info CALL FOR WORKSHOPS Workshop proposals for CADE-26 are solicited. The workshops will take place on August 6-7 2017, before the main conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are very welcome. Please provide the following information in your application document: + Workshop title. + Names and affiliations of organizers. + Proposed workshop duration (from half a day to two days) and preferred day(s). + Brief description of the goals and the scope of the workshop. Why is the workshop relevant for CADE? + Is the workshop new or has it met previously? In the latter case information on previous meetings should be given (e.g., links to the program, number of submissions, number of participants). + What are the plans for publication? CALL FOR TUTORIALS Tutorial proposals for CADE-26 are solicited. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest for CADE-26. Proposals should provide the following information: + Tutorial title. + Names and affiliations of organizers. + Proposed tutorial duration (from half a day to one days) and the preferred day. + Brief description of the tutorial's goals and topics to be covered. + Whether or not a version of the tutorial has been given previously. CADE will take care of printing and distributing notes for tutorials that would like this service. CALL FOR SYSTEM COMPETITIONS The CADE ATP System Competition (CASC), which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences. Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broader sense. Proposals should include the following information: + Competition title. + Names and affiliations of organizers. + Duration and schedule of the competition. + Room/space requirements. + Description of the competition task and the evaluation procedure. + Is the competition new or has it been organized before? In the latter case information on previous competitions should be given. + What computing resources are required and how will they be provided? IMPORTANT DATES Workshop/Tutorials/System Competitions: Submission deadline: 5 December 2016 Notification: 19 December 2016 SUBMISSION INSTRUCTIONS Proposals for workshops, tutorials, and system competitions should be uploaded via https://easychair.org/conferences/?conf=cade26wtc