From geoff at cs.miami.edu Sun Jul 2 14:37:38 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Sun, 2 Jul 2017 08:37:38 -0400 (EDT) Subject: Deduktionstreffen 2017 - Call for Abstracts Message-ID: <20170702123738.5C0D81214F4@mcclellan.cs.miami.edu> Deduktionstreffen 2017, September 25-26, 2017, TU Dortmund, Germany http://fg-dedsys.gi.de/dt2017 Call for Abstracts: OVERVIEW The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting. A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. ORGANIZATION We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in a five minute teaser talk and then discussed next to a poster (maximal size: A0 portrait). The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys. Deduktionstreffen 2017 is associated with KI 2017. SUBMISSION Submission is open to everybody interested in deduction systems. Please submit a one-page abstract of your contribution on easychair: https://easychair.org/my/conference.cgi?conf=deduktionstreffen20170; welcome=1;a=12759188 Early bird submission: July 15 (Notification: July 25) Standard submission: August 15 (Notification: August 25) Early bird submission is meant to grant planning reliability to interested students and researchers, e.g. if they would like to apply for travel grants. PROGRAM COMMITTEE Serge Autexier Bernhard Beckert Christoph Benzmüller (co-chair) Jasmin Blanchette Jürgen Giesl Matthias Horbach (co-chair) Dieter Hutter Manfred Kerber Christoph Kreitz Jens Otten Florian Rabe Stephan Schulz Viorica Sofronie-Stokkermans Volker Sorge Christoph Weidenbach ORGANIZERS Christoph Benzmüller Matthias Horbach From David.Sanderson at nottingham.ac.uk Mon Jul 3 11:24:08 2017 From: David.Sanderson at nottingham.ac.uk (David Sanderson) Date: Mon, 3 Jul 2017 09:24:08 +0000 Subject: Call for Workshop Papers: SASO 2017 - IEEE International Conference on Self-Adaptive and Self-Organizing Systems, September 18-22, Tucson, Arizona Message-ID: **** Please accept our apologies if you receive multiple copies of this CFP **** ************************************************************************* CALL FOR WORKSHOP PAPERS The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) University of Arizona, Tucson, AZ; 18-22 September 2017 https://saso2017.telecom-paristech.fr/ Workshops at SASO 2017: - SASO^ST: 5th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems - QA4SASO: 4th IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems - ECAS: 2nd eCAS Workshop on Engineering Collective Adaptive Systems - DSS: 3rd International Workshop on Data-driven Self-regulating Systems - InSeCo: International Workshop on Industrial Self-Coordination - SISSY: International Workshop on Self-Improving System Integration ************************************************************************* 5th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST) http://sasost.socioaware.net/ Submission deadline: July 7, 2017 Organisation * Jean Botev, University of Luxembourg, Luxembourg * Markus Esch, University of Applied Sciences Saarbrücken (htw saar), Germany * Ingo Scholtes, ETH Zürich, Switzerland The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. This aspect is becoming more and more evident with the increasing popularity of social network applications on the internet. This workshop will address all social aspects that influence the design of technical systems, covering different perspectives of this exciting research area from the computational modelling of social systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols. ************************************************************************* 4th IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems (QA4SASO) http://qa4saso.isse.de/ Submission deadline: July 7, 2017 Organisation * Benedikt Eberhardinger, University of Augsburg, Germany * Franz Wotawa, Technical University Graz, Austria * Hella Seebach, University of Augsburg, Germany Developing self-adaptive, self-organising systems (SASO) that fulfil the requirements of different stakeholders is no simple matter. Quality assurance is required at each phase of the entire development process, starting from requirements elicitation, system architecture design, agent design, and finally in the implementation of the system. The quality of the artefacts from each development phase affects the rest of the system, since all parts are closely related to each other. Furthermore, the shift of adaptation decisions from design-time to run-time - necessitated by the need of the systems to adapt to changing circumstances - makes it difficult, but even more essential, to assure high quality standards in these kind of systems. Accordingly, the analysis and evaluation of these self-* systems has to take into account the specific operational context to achieve high quality standards. The necessity to investigate this field has already been recognized and addressed in different communities but there exists so far no platform to bring all these communities together. Therefore, the workshop provides within its third edition an established open stage for discussions about the different aspects of quality assurance for self-adaptive, self-organising systems. ************************************************************************* 2nd eCAS Workshop on Engineering Collective Adaptive Systems (ECAS) http://apice.unibo.it/xwiki/bin/view/ECAS2017 Submission deadline: July 3, 2017 Organisation * Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy * Kyle Usbeck, Raytheon BBN Technologies, USA Modern software systems are becoming more and more collective, composed of many distributed and heterogeneous entities. These systems operate under continuous perturbations making manual adjustments infeasible. For a collective system to be resilient, adaptation must be collective, that is multiple entities must adapt in a way that addresses critical runtime conditions while preserving the benefits of the collaborative interdependencies. Decision-making in such systems is distributed and possibly highly dispersed, and interaction between the entities may lead to the emergence of unexpected phenomena. In such systems, a new approach for adaptation is needed to allow (i) multiple entities to collectively adapt with (ii) negotiations to decide which collective changes are best. Collective adaptation also raises a second important challenge: which parts of the system (things, services, people) should be engaged in an adaptation? This is not trivial, since multiple solutions to the same problem may be generated at different levels. The challenge here is to understand these levels and create mechanisms to decide the right scope for an adaptation for a given problem. This workshop solicits papers that address new methodologies, theories and principles that can be used in order to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that we can better design, build, and analyze them, as well as case studies and applications showing such approaches in action Interdisciplinary work is particularly welcomed. ************************************************************************* 3rd International Workshop on Data-driven Self-regulating Systems (DSS) http://dss2017.inn.ac/ Submission deadline: July 17, 2017 Organisation * Evangelos Pournaras - ETH Zurich, Switzerland * Akshay Uttama Nambi S.N. - Microsoft Research Lab India * Stefan Bosse - University of Bremen, Germany The emergence of pervasive and ubiquitous technologies together with social media has resulted in unprecedented opportunities to reason about the complexity of our society based on magnitudes of data. Embedded ICT technologies mandate the functionality and operations of several techno-socio-economic systems such as traffic systems, transportation systems, Smart Grids, power/gas/water networks, etc. It is estimated that over 50 billion connected smart devices will be online by the year 2020. Moreover, social media provide invaluable insights about the complexity of social interactions and how these interactions influence the sustainability of several ICT-enabled techno-socio-economic systems. These observations show that regulating online the complex systems of our nowadays digital society is a grand challenge. Regulation concerns trade-offs such as the alignment of technical requirements, e.g. robustness, fault-tolerance, safety and security, with social or environmental requirements, for instance, fairness in the utilization of energy resources. The scale of nowadays data cannot tackle the challenge by itself as data may convey ungrounded correlations and biased predictions. Smart, autonomic and self- regulating mechanisms are required for filtering data streams in real-time and transform them to valuable information based on which intelligent adaptive decisions can be made in a decentralized fashion under a plethora of operational scenarios. The aim of the 3rd International Workshop on Data-driven Self-regulating Systems is to foster interactions between researchers of different disciplines working on challenges about the self- organization and self-adaptation of complex techno-socio-economic systems. ************************************************************************* International Workshop on Industrial Self-Coordination (InSeCo) https://easychair.org/cfp/InSeCo-2017 Submission deadline: July 7, 2017 Organisation * David Sanderson - University of Nottingham, United Kingdom * Mariusz Nowostawski - Norwegian University of Technology, Norway Smart manufacturing, Industry 4.0, Industrial IoT and smart supply chain management systems are some of the core trends that are reshaping the way manufacturing and businesses operate. These technological developments have the potential to significantly improve automation and information exchange in manufacturing. At the same time, researchers and business practitioners are investigating modular structured smart factories to monitor physical processes and to make decentralised decisions. Smart, Industrial Internet of Things systems provide data, for data-driven self-organizing cyber-physical systems, that communicate and cooperate with each other and with humans in real time. The Internet of Services, in both, internal and cross-organizational services are offered and used by participants of the value chain. At the same time, technologies such as those offered by the Distributed Ledger technologies, Smart Contracts and the blockchain concept provide mechanisms for coordination and trust without the need for Trusted Third Parties. In this workshop we combine broader concepts related to value chains, supply management and manufacturing, with the focus on the blockchain and other emerging technologies for decentralised coordination in the cyber-physical realm. ************************************************************************* Fourth International Workshop on Self-Improving System Integration (SISSY) https://sissy.ini.rub.de Submission deadline: July 7, 2017 Organisation * Kirstie Bellman - The Aerospace Corporation, USA * Sven Tomforde - Universität Kassel, Intelligent Embedded Systems Group, Germany Rolf P. Würtz - Ruhr-Universität Bochum, Institute for Neural Computation, Germany Information and communication technology (ICT) pervades every aspect of our daily lives. This inclusion changes our communities and all of our human interactions. It also presents a significant set of challenges in correctly designing and integrating our resulting technical systems. For instance, the embedding of ICT functionality in more and more devices (such as household appliances or thermostats) leads to novel interconnections and a changing structure of the overall system. Not only technical systems are increasingly coupled, a variety of previously isolated natural and human systems have consolidated into a kind of overall system of systems - an interwoven system structure. This change of structure is fundamental and affects the whole production cycle of technical systems - standard system integration and testing is not feasible any more. The increasingly complex challenges of developing the right type of modelling, analysis, and infrastructure for designing and maintaining ICT infrastructures has continued to motivate the self-organising, autonomic and organic computing systems community. In this workshop, we intend to study novel approaches to system of system integration and testing by applying self-* principles; specifically we want approaches that allow for a continual process of self-integration among components and systems that is self-improving and evolving over time towards an optimised and stable solution. Although research in self-organising systems - such as the Organic Computing (OC) and Autonomic Computing (AC) initiatives - has seen an exciting decade of development, in which there has been considerable success in building individual systems, OC/AC is faced with the difficult challenge of integrating multiple self-organising systems, and integrating self-organising systems with traditionally engineered ones as well as naturally occurring human organisations. Meanwhile, although there has been important development in system of systems methodologies (e.g., Service-oriented Architectures, clouds technology etc.), many of these developments lack scalable methods for rapidly proving that new configurations of components/subsystems are correctly used or their changes verified or that these frameworks have pulled together the best possible context-sensitive configuration of resources for a user or another system. The SISSY workshop continues the successful predecessors held at IEEE International Conference on Self-Adaptive and Self-Organising Systems (SASO14) 2014 in London, UK, IEEE/ACM International Conference on Autonomic Computing (ICAC15) 2015 in Grenobles, France, and at IEEE/ACM International Conference on Autonomic Computing (ICAC16) 2016 in Würzburg, Germany. The workshop intends to focus on the important work of applying self-X principles to the integration of "Interwoven Systems" (where an "Interwoven System" is a system cutting across several technical domains, combining traditionally engineered systems, systems making use of self-X properties and methods, and human systems). The goal of the workshop is to identify key challenges involved in creating self-integrating systems and consider methods to achieve continuous self-improvement for this integration process. The workshop specifically targets an interdisciplinary community of researchers (i.e. from systems engineering, complex adaptive systems, socio-technical systems, and the OC/AC domains) in the hope that collective expertise from a range of domains can be leveraged to drive forward research in the area. ************************************************************************* This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From geoff at cs.miami.edu Mon Jul 3 14:16:09 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 3 Jul 2017 08:16:09 -0400 (EDT) Subject: CADE-26 - Call for Participation Message-ID: <20170703121609.551A7121359@mcclellan.cs.miami.edu> CADE-26 CALL FOR PARTICIPATION ============================== The 26th International Conference on Automated Deduction Gothenburg, Sweden 6-11 August 2017 www.cade-26.info *** KEYNOTE SPEAKERS *** June Andronick - Data61 Philippa Gardner - Imperial College London Grant Passmore - Aesthetic Integration *** RESEARCH PROGRAM *** see www.cade-26.info *** SOCIAL EVENT *** Boat trip to the picturesque island of Marstrand (www.marstrand.se/en/) Dinner in the dramatic Marstrand castle *** WORKSHOPS *** ARCADE: Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements HCVS: Horn Clauses for Verification and Synthesis PCR'17: Parallel Constraint Reasoning ThEdu'17: Theorem Prover Components for Educational Software Vampire 2017: The 4th Vampire Workshop *** TUTORIAL *** Certified Functional (Co)programming with Isabelle/HOL *** SYSTEM COMPETITION *** CASC (CADE System Competition) www.tptp.org/CASC/26/ *** REGISTRATION *** Early registration until 6 July 2017 Late registration until 2 August 2017 see www.cade-26.info *** VENUE *** Lindholmen Conference Centre, Gothenburg and Chalmers University of Technology, Lindholmen Campus, Gothenburg *** 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 Publicity Chair: Magnus Myreen Chalmers University of Technology Workshop and Tutorial Chair: Philipp Ruemmer Uppsala University From homola at fmph.uniba.sk Mon Jul 3 14:43:46 2017 From: homola at fmph.uniba.sk (Martin Homola) Date: Mon, 3 Jul 2017 14:43:46 +0200 Subject: CfP: WOMoCoE 2017 - 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution Message-ID: <20170703124346.GD27473@rt.sk> =============================================================== Second Call for Papers 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WoMoCoE 2017) http://dai.fmph.uniba.sk/events/womocoe2017/ Co-located with: 16th International Semantic Web Conference (ISWC 2017), October 21-25, 2017, Vienna, Austria =============================================================== In the Semantic Web and Linked Data community, knowledge is rarely considered a monolithic and static unit. Instead, partitioning knowledge into distinct modular structures is central to organize knowledge bases. Moreover, representing and reasoning about context is essential for correct exploitation of modules and reasoning in changing situations. Finally, evolution of knowledge resources is an important factor influencing the meaningfulness of stored knowledge over time. Considering these emerging needs, the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) offers the ground to discuss current work on practical and theoretical aspects of modularity, contextuality and evolution of knowledge resources. The workshop aims to bring together an interdisciplinary audience interested in its topics both from a theoretical and formal point of view and from an applicational perspective. --------------------------------------------------------------- INVITED SPEAKER: Pascal Hitzler, NCR Distinguished Professor and Director of Data Science, Department of Computer Science and Engineering, Wright State University, Dayton, Ohio, USA --------------------------------------------------------------- IMPORTANT DATES (tentative): Abstracts deadline: 17 July 2017 Paper deadline: 21 July 2017 Notification: 24 August 2017 Camera ready: 14 September 2017 Workshop dates: 22 October 2017 --------------------------------------------------------------- TOPICS: The workshop comprises, but is not strictly limited to, the following topics: = Modularity in the Semantic Web and Linked Data resources = - Modular ontology and knowledge representation languages - Modularity in reasoning: incremental and distributed reasoning - Modularity in ontology engineering: ontology modules reuse and publishing - Algorithms and implementations for module extraction - Ontology design patterns for modularity - Modularity in ontology and data visualization - Modularity in SW/LD applications - Theoretical and cognitive aspects of modularity = Representing and facilitating context in the Semantic Web and Linked Data resources = - Representing context in SW/LD resources - Ontologies for modelling contextual information - Capturing contextuality in SW/LD standards - Reasoning with contextual information and metadata - Matching, combining and disambiguating knowledge resources with contexts - Contextuality in SW/LD applications - Formal aspects of context acquisition, representation and interpretation. = Evolution of the Semantic Web and Linked Data resources = - Definitions and algorithms for belief change in ontologies, and SW/LD resources - Reasoning and planning with evolving ontologies and data sources - Evolution in ontology management: merging, versioning, alignment, integration - Fault diagnosis and repair in ontologies and data sources - LD archiving and versioning - Ontology transformation and ontology transformation patterns - Evolution of SW/LD in applications --------------------------------------------------------------- SUBMISSION: Submission of regular and position papers is possible: - Regular papers (12 pages in length including references) include research reports and surveys. - Position papers (6 pages in length including references) are intended for presentation of interesting new open issues and challenges, and opinions on the status of the field. WOMoCoE also welcomes reports on significant work in progress which has already achieved some interesting partial results, as well as papers recently submitted or published elsewhere as long as their topic is in line with the workshop. An extended abstract will be required and included in the proceedings for papers presented elsewhere. All papers must be formatted using the Springer LNCS style and submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=womocoe2017 Further information about paper submission at: http://dai.fmph.uniba.sk/events/womocoe2017/submission --------------------------------------------------------------- ORGANIZERS: - Loris Bozzato, Fondazione Bruno Kessler, Trento, Italy - Thomas Eiter, Vienna University of Technology, Austria - Martin Homola, Comenius University, Bratislava, Slovakia - Daniele Porello, Free University of Bolzano-Bozen, Italy --------------------------------------------------------------- PROGRAM COMMITTEE (tentative): - Grigoris Antoniou, University of Huddersfield - Stefano Borgo, ISTC-CNR, Trento - Eva Blomqvist, Linköping University - Valeria De Paiva, University of Birmingham - Chiara Del Vescovo, British Broadcasting Corporation - Javier D. Fernández, Vienna University of Economics and Business - Adila A. Krisnadhi, Wright State University & Universitas Indonesia - Oliver Kutz, Free University of Bozen/Bolzano - Vincenzo Maltese, University of Trento - Francisco Martin-Recuerda, UPM, Madrid - Till Mossakowski, University of Magdeburg - Thomas Schneider, University of Bremen - Luciano Serafini, Fondazione Bruno Kessler - Vojtech Svátek, Prague University of Economics - Jürgen Umbrich, Vienna University of Economics and Business - George Vouros, University of Piraeus --------------------------------------------------------------- CONTACT INFO: - Web: http://dai.fmph.uniba.sk/events/womocoe2017/ - Mail: womocoe2017 at easychair.org =============================================================== From tstuder at inf.unibe.ch Mon Jul 3 14:55:32 2017 From: tstuder at inf.unibe.ch (Thomas Studer) Date: Mon, 3 Jul 2017 14:55:32 +0200 Subject: AiML 2018: FIRST CALL FOR PAPERS Message-ID: [ Please distribute, apologies for multiple postings. ] AiML 2018: FIRST CALL FOR PAPERS 12TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC BERN, 27 AUGUST -- 31 AUGUST 2018 http://www.aiml2018.unibe.ch Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net AiML 2018 is the 12th conference in the series. AiML 2018 will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018) http://www.latd2018.unibe.ch/. TOPICS We invite submissions on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (topological/algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions for AiML 2018: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://easychair.org/conferences/?conf=aiml2018 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML 2018 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML 2018 website http://www.aiml2018.unibe.ch in due time. Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper. The presentations of accepted full papers will be 30 minutes long. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS Agata Ciabattoni (TU Wien, Austria) Rob Goldblatt (Victoria University, New Zealand) Rosalie Iemhoff (Utrecht University, The Netherlands) -- joint AiML-LATD invited speaker Stanislav Kikot (Birkbeck College London and Institute for Information Transmission Problems, Moscow) Dana Scott (University of California, Berkeley) LOCAL ORGANIZING COMMITTEE Bettina Choffat Almudena Colacito José Gil-Ferez Eveline Lehmann George Metcalfe (chair) Nenad Savić Silvia Steila Thomas Studer (chair) PROGRAMME COMMITTEE Natasha Alechina (University of Nottingham) Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow) Guram Bezhanishvili (New Mexico State University) Marta Bílková (Charles University) Patrick Blackburn (University of Roskilde) Giovanna D'Agostino (University of Udine) Stéphane Demri (CNRS, LSV, ENS Paris-Saclay) David Fernández-Duque (Institute de Recherche en Informatique de Toulouse) David Gabelaia (TSU Razmadze Mathematical Institute) Mai Gehrke (CNRS Paris Diderot) Silvio Ghilardi (Università degli Studi di Milano) Nina Gierasimczuk (Danish Technical University) Valentin Goranko (Stockholm University) Rajeev Goré (The Australian National University) Helle Hvid Hansen (Delft University of Technology) Ian Hodkinson (Imperial College) Wesley Holliday (UC Berkeley) Emil Jeřábek (Czech Academy of Sciences) Marcus Kracht (Bielefeld University) Clemens Kupke (University of Strathclyde) Agi Kurucz (King's College London) Roman Kuznets (TU Wien) Tamar Lando (Columbia University) Carsten Lutz (Universität Bremen) Larry Moss (Indiana University) Sara Negri (University of Helsinki) Eric Pacuit (University of Maryland) Valeria de Paiva (Nuance Communications, USA) Mark Reynolds (The University of Western Australia) Ilya Shapirovsky (Institute for the Information Transmission Problems) Valentin Shehtman (Institute for the Information Transmission Problems) Sonja Smets (Institute of Logic, Language and Computation) Viorica Sofronie-Stokkermans (Universität Koblenz-Landau) Thomas Studer (Universität Bern) Heinrich Wansing (Ruhr University Bochum) Frank Wolter (University of Liverpool) Michael Zakharyaschev (Birkbeck College London) PROGRAMME COMMITTEE CHAIRS Guram Bezhanishvili (New Mexico State University) Giovanna D'Agostino (University of Udine) IMPORTANT DATES Abstracts of full papers submission deadline: 11 March 2018 Full papers submission deadline: 18 March 2018 Full papers acceptance notification: 18 May 2018 Short presentations submission deadline: 20 May 2018 Short presentations acceptance notification: 8 June 2018 Final version of full papers and short presentations due: 17 June 2018 Conference: 27 August -- 31 August 2018 FURTHER INFORMATION Please see http://www.aiml2018.unibe.ch ENQUIRIES E-mail enquiries should be directed to the PC chairs, sent to aiml2018 at easychair.org From geoff at cs.miami.edu Mon Jul 3 16:05:49 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Mon, 3 Jul 2017 10:05:49 -0400 (EDT) Subject: GCAI 2017 in Miami - Deadline extension Message-ID: <20170703140549.D15F712147C@mcclellan.cs.miami.edu> ---------- deadline extension due to multiple request -------------- The 3rd Global Conference on Artificial Intelligence (GCAI 2017) Miami, USA, 18-22 October 2017 http://easychair.org/smart-program/GCAI2017/ *New*: (Abstracts: 14 July, Papers: 21 July) The 3rd Global Conference on Artificial Intelligence (GCAI 2017) will be held in Miami, USA, at the Courtyard Marriott hotel in Coconut Grove, 18-22 October 2017. The conference, which addresses all aspects of artificial intelligence, is being organized by LRG (http://www.lrg.global) and the University of Miami. The program chairs are Christoph Benzmueller, Christine Lisetti and Martin Theobald. The conference chair is Geoff Sutcliffe. SUBMISSION Submissions in all areas of artifical intelligence are welcome. Suggested topics include, but are not limited to: Foundations + Knowledge representation + Cognitive modeling + Perception + Search + Reasoning and programming + Machine learning + Constraints and uncertainty Architectures + Agents and distributed AI + Intelligent user interfaces + Natural language systems and linguistics + Information retrieval + Case-based reasoning + Affective computing + Robotics Applications + Aviation and aerospace + Education and tutoring systems + Games and entertainment + Law and Machine Ethics + Mathematics and the Sciences + Medicine and healthcare + Management and manufacturing + World Wide Web + Security Implications + Philosophical foundations + Social impact and ethics + Evaluation of AI systems + AI education DATES + Abstract registration: 14 July, 2017 + Submission: 21 July, 2017 + Notification: 18 August, 2017 + Final version: 25 August, 2017 + Early registration deadline: tba + Conference: 19-22 October, 2016 SUBMISSION and PUBLICATION Submission is via EasyChair at https://easychair.org/conferences/?conf=gcai2017 The proceedings will be published by EasyChair Publications in the EPiC Series in Computing. The volume will be open access and authors will retain copyright. INVITED SPEAKERS + Catherine Pelachaud, Telecom-ParisTech, France + Marijn Heule, University of Texas at Austin, USA + Guy van den Broeck, UCLA, USA PROGRAMME COMMITTEE Jose Julio Alferes (Universidade NOVA de Lisboa) Elisabeth Andre (Augsburg University) Serge Autexier (DFKI) Peter Baumgartner (National ICT Australia) Christoph Benzmueller (Freie Universitaet Berlin) - chair Philippe Besnard (CNRS / IRIT) Richard Booth (Cardiff University) Krysia Broda (Imperial College) Walter Carnielli (Centre for Logic, Epistemology and the History of Science - CLE) Amedeo Cesta (CNR - National Research Council of Italy) Gabriella Cortellessa (CNR-ISTC, National Research Council of Italy) Mehdi Dastani (Utrecht University) James Delgrande (Simon Fraser University) Wolfgang Faber (University of Huddersfield) Germain Forestier (Universite de Haute Alsace) Gerhard Friedrich (Alpen-Adria-Universitaet Klagenfurt) Thom Fruehwirth (University of Ulm) Daniel Garijo (UCLA) Marco Gavanelli (University of Ferrara) Gianluigi Greco (University of Calabria) Ian Horswill (Northwestern University) Katsumi Inoue (NII) Mateja Jamnik (University of Cambridge) Ernesto Jimenez-Ruiz (University of Oxford) Tommi Junttila (Aalto University) Panagiotis Kanellopoulos (University of Patras and CTI "Diophantus") Gabriele Kern-Isberner (Technische Universitaet Dortmund) Roman Kontchakov (Birkbeck, University of London) Tim Landgraf (Freie Universitaet Berlin) Jerome Lang (CNRS, LAMSADE, Universite Paris-Dauphine) Gang Li (School of Information Technology, Deakin University) Sanjiang Li (University of Technology Sydney) Christine Lisetti (Florida International University) - chair Xudong Luo (Guangxi Normal University) Ines Lynce (INESC-ID/IST, Universidade de Lisboa) Ana Gabriela Maguitman (Universidad Nacional del Sur) George Metcalfe (University of Bern) Angelo Montanari (University of Udine) Till Mossakowski (University of Magdeburg) Xavier Parent (University of Luxembourg) Radu-Emil Precup (Politehnica University of Timisoara) Dumitru Roman (SINTEF / University of Oslo) Marco Roveri (FBK-irst) Steven Schockaert (Cardiff University) Magy Seif El-Nasr (Northeastern University) Christine Solnon (LIRIS CNRS UMR 5205 / INSA Lyon) Daria Stepanova (Max Planck Institute for Informatics) Thomas Stuetzle (Universite Libre de Bruxelles (ULB)) Martin Theobald (Universite du Luxembourg) - chair Juergen Umbrich (Vienna University of Economy and Business (WU)) Maria Esther Vidal (Universidad Simon Bolivar, Dept. Computer Science) Inon Zuckerman (Ariel University) From jpg at ruc.dk Tue Jul 4 10:51:46 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Tue, 4 Jul 2017 08:51:46 +0000 Subject: FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming Message-ID: <3F106652-7FD9-4C9C-AD2B-09885310E234@ruc.dk> FIRST Call For Papers FLOPS 2018: 14th International Symposium on Functional and Logic Programming 9-11 May, 2018, Nagoya, Japan http://www.sqlab.jp/FLOPS2018/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. Proceedings The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates 13 November 2017 (any time zone): Abstract Submission 20 November 2017 (any time zone): Submission deadline 15 January 2018: Author notification 9-11 May 2018: FLOPS Symposium Invited Talks To be announced Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2018 Program Committee Andreas Rossberg Google, Germany Atsushi Ohori Tohoku University, Japan Bruno C. D. S. Oliveira The University of Hong Kong, China Carsten Fuhs Birkbeck, University of London, UK Chung-chieh Shan Indiana University, USA Didier Remy INRIA, France Harald Sondergaard The University of Melbourne, Australia Jacques Garrigue Nagoya University, Japan Jan Midtgaard Technical University of Denmark, Denmark Joachim Breitner University of Pennsylvania, USA John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair) Jorge A Navas SRI International, USA Kazunori Ueda Waseda University, Japan Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore María Alpuente Universitat Politècnica de València, Spain María Garcia De La Banda Monash University, Australia Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (co-chair) Meng Wang University of Kent, UK Michael Codish Ben-Gurion University of the Negev, Israel Michael Leuschel University of Düsseldorf, Germany Naoki Kobayashi University of Tokyo, Japan Nikolaj Bjørner Microsoft Research, USA Robert Glück University of Copenhagen, Denmark Samir Genaim Universidad Complutense de Madrid, Spain Siau Cheng Khoo National University of Singapore, Singapore Organizers Martin Sulzmann Karlsruhe University of Applied Sciences (co-chair) John Gallagher Roskilde University and IMDEA Software Institute (co-chair) Makoto Tatsuta National Institute of Informatics, Japan (General Chair) Koji Nakazawa Nagoya University, Japan (Local Chair) From geoff at ewell.cs.miami.edu Wed Jul 5 22:50:08 2017 From: geoff at ewell.cs.miami.edu (geoff at ewell.cs.miami.edu) Date: Wed, 5 Jul 2017 16:50:08 -0400 (EDT) Subject: Commonsense-2017 - Call for Papers Message-ID: <20170705205008.9AB5A17010A9@ewell.cs.miami.edu> Thirteenth International Symposium on Commonsense Reasoning (Commonsense-2017): Second Call for Papers We invite submissions to Commonsense-2017, to be held in London at University College London, November 6-8, 2017. PAPER SUBMISSION DEADLINE: August 4, 2017 (see below) Endowing computers with common sense is one of the major long-term goals of Artificial Intelligence research. Commonsense knowledge and reasoning are relevant for many applications of current interest. Examples include robot and human collaboration, transparent machine-learning systems that can explain their conclusions, social media and story understanding software, and dialogue systems. The recent resurgence of interest in commonsense reasoning reflects a wider societal reaction to current technological advances, such as the fact that "next year a law will come into operation in [EU] member states which gives everyone a right to an explanation of any decision affecting them that has been reached algorithmically" [Guardian newspaper, 14 April 2017]. Approaches to acquiring commonsense knowledge and performing commonsense reasoning may incorporate semantics-based representation and inference, machine learning, natural language processing, computer vision, and/or cognitive science. The symposium aims to encourage cross-fertilization between these and other techniques. The synthesis of multiple approaches is challenging, but could jump-start progress on many outstanding problems of commonsense reasoning. We welcome a wide variety of submissions, including formal results, experimental results, demos, surveys, evaluations and comparisons of different approaches, and papers on methodological issues. While mathematical logic has traditionally been the primary lingua franca of the Symposium, we welcome all relevant and rigorous approaches to automating commonsense knowledge and reasoning. Topics of interest include, but are not limited to: * Semantics-based representations for specific commonsense domains, such as: - Time, change, action, causality - Commonsense physical and spatial reasoning - Legal, biological, medical, and other scientific reasoning incorporating elements of common sense - Mental states such as beliefs, intentions, and emotions - Social activities and relationships * Inference methods for commonsense reasoning, such as: - Logic programming - Probabilistic, heuristic, and approximate reasoning - Nonmonotonic reasoning, belief revision and argumentation - Abductive and inductive reasoning - Textual Entailment * Methods for creating commonsense knowledge bases, such as: - Statistical and corpus-based techniques, including both traditional machine learning and deep learning - Crowdsourcing - Hand-crafting domain theories - Hybrid methods * Applications of commonsense reasoning, especially interdisciplinary research in the following areas: - Natural language understanding (understanding discourse, question answering, semantic parsing) - Image understanding - Cognitive robotics and planning - Web-based applications (search, internet of things) - Support technologies (computer-aided instruction, home automation) * Discussions of the science of commonsense reasoning research, including: - Meta-theorems about commonsense theories and techniques - Relation to other fields, such as philosophy, linguistics, cognitive psychology, game theory, and economics - Challenge problem sets and benchmarking By default accepted papers will be published shortly after the symposium in the CEUR Workshop Proceedings series. Authors may however opt out of publishing in CEUR, e.g. if they wish to publish their paper at another venue. All accepted papers will be made available on the commonsensereasoning.org website for the duration of the symposium. A special issue of Annals of Mathematics and Artificial Intelligence, which will include selected and extended papers from Commonsense-2017, is currently planned; journal submissions will be due in winter 2018. Important Dates - Submissions due: August 4, 2017 - Submission notification date: September 8, 2017 - Camera-ready versions due: September 22, 2017 - Symposium: November 6-8, 2017 Submissions - Submissions will be made through EasyChair, at: https://easychair.org/conferences/?conf=commonsense2017 - Papers are limited to 6 pages, prepared in IJCAI or AAAI format, using Letter or A4 sized paper, plus one additional page for references. Review Process Each paper will receive three blind peer reviews. Selection criteria include novelty, technical accuracy and rigor, significance and generalizability, relevance, and quality of writing. Invited Speakers We are happy to announce two invited speakers for Commonsense 2017: Murray Shanahan, Imperial College London Sebastian Riedel, University College London Conference Chairs Andrew S. Gordon, University of Southern California Rob Miller, University College London Gyorgy Turan, University of Illinois at Chicago and University of Szeged Program Committee Eyal Amir, University of Illinois at Urbana-Champaign Chitta Baral, Arizona State University Vaishak Belle, University of Edinburgh Brandon Bennett, University of Leeds Gabor Berend, University of Szeged Nicola Bicocchi, Unversity of New Brunswick Antonis Bikakis, University College London Bert Bredeweg, University of Amsterdam Erik Cambria, Nanyang Technological University Cun-Gen Cao, Chinese Academy of Sciences Nathanael Chambers, United States Naval Academy William Cohen, Carnegie Mellon University Tony Cohn, University of Leeds Ernest Davis, New York University Gerard de Melo, Rutgers University Valeria De Paiva, University of Birmingham Luke Dickens, University College London Esra Erdem, Sabanci University Nina Gierasimczuk, Technical University of Denmark Andrew Gordon, University of Southern California Jonathan Gordon, USC Information Sciences Institute Catherine Havasi, Luminoso Technologies Jose Hernandez-Orallo, Universitat Politecnica de Valencia Jeff Horty, University of Maryland Daniela Inclezan, Miami University Naoya Inoue, Tohoku University Benjamin Johnston, University of Technology Sydney Antonis Kakas, University of Cyprus Gerhard Lakemeyer, RWTH Aachen University Henry Lieberman, Massachusetts Institute of Technology Vladimir Lifschitz, University of Texas Fangzhen Lin, Hong Kong University of Science and Technology Quan Liu, University of Science and Technology of China Loizos Michael, Open University of Cyprus Niloofar Montazeri, University of California Riverside Leora Morgenstern, Leidos Charlie Ortiz, Nuance Communications Sebastian Pado, Stuttgart University Theodore Patkos, Institute of Computer Science, FORTH Pavlos Peppas, University of Patras Dimitris Plexousakis, Institute of Computer Science, FORTH Alan Ritter, Ohio State University Chiaki Sakama, Wakayama University Steven Schockaert, Cardiff University Bob Sloan, University of Illinois at Chicago Mark Steedman, University of Edinburgh Michael Thielscher, University of New South Wales Richmond Thomason, University of Michigan Lucy Vanderwende, Microsoft Research Laure Vieu, Institut de Recherche en Informatique de Toulouse Stefan Woltran, Technische Universitat Wien Website: http://commonsensereasoning.org From fstolzenburg at hs-harz.de Thu Jul 6 11:48:21 2017 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Thu, 6 Jul 2017 11:48:21 +0200 Subject: Last CfP: DKB 2017 & KIK 2017: Dynamics of Knowledge & Belief / KI & Kognition, Dortmund (Germany), 26 Sep 2017 Message-ID: Last CALL FOR PAPERS !!! SUBMISSION DEADLINE EXTENDED until July 31, 2017 !!! 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017): Formal and Cognitive Reasoning ============================== Web page: Workshop at the 40th German Conference on Artificial Intelligence (KI-2017) September 25-29, 2017, Dortmund, Germany Organized by the "FG Wissensrepraesentation und Schliessen" and the FG "Kognition" of the German Informatics Society (GI) Aims and Scope ************** Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Explanations may be incomplete knowledge, incorrect beliefs, or inconsistencies. Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments. Syllogistic Reasoning Challenge ******************************* At this year's KI conference in Dortmund we plan a challenge on cognitive computational modeling of human syllogistic reasoning. The ultimate goal of cognitive modeling is to explain underlying cognitive processes while approximating the answer distributions generated by humans. The competition is necessary as so far any existing psychological theory is deviating significantly from the data. More information about this competition can be found at . Call for Papers *************** The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (2014), and a joint workshop took place in Dresden (2015). We welcome papers on the following and any related topics: * Action and change * Agents and multiagent systems * Analogical reasoning * Argumentation theories * Belief revision and belief update * Cognitive modeling and empirical data * Common sense and defeasible reasoning * Decision theory and preferences * Inductive reasoning and cognition * Knowledge representation * Learning and knowledge discovery * Nonmonotonic and uncertain reasoning * Ontologies and description logics * Probabilistic approaches of reasoning * Syllogistic reasoning Publication *********** It is planned to publish the proceedings in the CEUR Workshop Proceedings series . Workshop Organizers and Co-Chairs ********************************* Christoph Beierle, FernUniversität in Hagen, Germany Gabriele Kern-Isberner, TU Dortmund, Germany Marco Ragni, Universität Freiburg, Germany Frieder Stolzenburg, Hochschule Harz, Germany Important Dates *************** Deadline for Submission: July 31, 2017 (extended) Notification of Authors: August 15, 2017 Camera-ready Paper: August 31, 2017 Challenge submission: September 01, 2017 Workshop & Challenge: September 26, 2017 Program Committee ***************** Thomas Barkowsky, Universität Bremen, Germany Gerhard Brewka, Universität Leipzig, Germany Emmanuelle-Anna Dietz, TU Dresden, Germany Christian Freksa, Universität Bremen, Germany Ulrich Furbach, Universität Koblenz, Germany Andreas Herzig, Universite Paul Sabatier, Toulouse, France Steffen Hölldobler, TU Dresden, Germany Manfred Kerber, University of Birmingham, UK Gerhard Lakemeyer, RWTH Aachen, Germany Bernhard Nebel, Albert-Ludwigs-Universität Freiburg, Germany Henri Prade, IRIT - CNRS, France Hans Rott, Universität Regensburg, Germany Ute Schmid, Universität Bamberg, Germany Claudia Schon, Universität Koblenz-Landau, Germany Matthias Thimm, Universität Koblenz-Landau, Germany Paul Thorn, Universität Düsseldorf, Germany Hans Tompits, TU Wien, Austria Christoph Wernhard, TU Dresden, Germany Submission Details ****************** Papers should be formatted according to the Springer LNCS format . The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system . Local Information ***************** Local information can be found on the web pages of the KI-2017 conference. From jt_chairs at ecmlpkdd2018.org Fri Jul 7 17:00:37 2017 From: jt_chairs at ecmlpkdd2018.org (jt_chairs at ecmlpkdd2018.org) Date: Fri, 7 Jul 2017 17:00:37 +0200 Subject: Call for papers - ECMLPKDD 2018 Journal Track Message-ID: <3fff7540-ed19-8dd1-f9f7-7b01b557454b@univ-st-etienne.fr> [Apologies for cross-posting] *ECML/PKDD 2018 Journal Track* We invite submissions for the journal track of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) 2018. The journal track of the conference is implemented in partnership with the Machine Learning Journal and the Data Mining and Knowledge Discovery Journal. The conference provides an international forum for the discussion of the latest high-quality research results in all areas related to machine learning, data mining, and knowledge discovery. *Eligibility criteria* Papers on all topics related to machine learning, knowledge discovery, and data mining are invited. However, given the special nature of the journal track, only papers that satisfy the quality criteria of journal papers and at the same time lend themselves to conference talks will be considered. Consequently, journal versions of previously published conference papers, or survey papers will not be considered for the special issue. Papers that do not fall into the eligible category may be rejected without formal reviews but can of course be resubmitted as regular papers. Authors are encouraged to adhere to the best practices of Reproducible Research (RR), by making available data and software tools for reproducing the results reported in their papers. For the sake of persistence and proper authorship attribution, we require the use of standard repository hosting services such as dataverse, mldata, openml, etc. for data sets, and mloss, bitbucket, github, etc. for source code. Authors who submit their work to the ECMLPKDD special issues of these journals commit themselves to present their paper at the ECMLPKDD 2018 conference if it is accepted. *Reviewing process* The journal track allows continuous submissions from the end of August 2017 to the end of January 2018. Papers will be processed and sent out for review after each of the following five cutoff dates: * August 27th, 2017 * October 1st, 2017 * November 5th, 2017 * December 10th, 2017 * January 28th, 2018 The deadline on each of these dates is midnight, Central European Time. We strive for a high quality and efficient review process. Each submission will be evaluated by three experienced reviewers including members of the Guest Editorial Board. Our goal is to arrive at an initial decision about 8 weeks after each cutoff date, though meeting this target may not always be possible. After the initial review phase, many papers will require substantial revisions, and the revised paper will be rereviewed, which extends the review process. Consequently, a paper’s chance of finishing the review cycle and being included in the ECMLPKDD 2018 special issue decreases with each subsequent cutoff date. Inclusion of the delayed papers in forthcoming special issues and conference editions is subject to approval of the respective Program and Journal track chairs. *Submission procedure* To submit to this track, authors have to make a journal submission to either the Springer Data Mining and Knowledge Discovery journal or the Springer Machine Learning journal, and select the type of submission to be for the ECMLPKDD 2018 special issue. It is recommended that submitted papers do not exceed 20 pages including references and appendices, formatted in the Springer journal style (svjour3, smallcondensed). This is a soft limit, but if a submission exceeds the limit, please provide a brief justification regarding the length in the cover letter. Arriving at an initial decisions for papers over 20 pages may take longer. Both journals require authors to include an information sheet (for Machine learning submissions) or a cover letter (up to 2 pages) as a supplementary material (for Data Mining and Knowledge Discovery submissions) that contains a short summary of their contribution and specifically address the following questions: * What is the main claim of the paper? Why is this an important contribution to the machine learning/data mining literature? * What is the evidence provided to support claims? Be precise. * Report 3-5 most closely related contributions in the past 7 years (authored by researchers outside the authors’ research group) and briefly state the relation of the submission to them. * Who are the most appropriate reviewers for the paper? Authors are required to suggest up to four candidate reviewers (especially if external to the Guest Editorial Board), including a brief motivation for each suggestion. * Optionally, list up to four researchers/potential reviewers with competing interests that should not be considered for reviewers. *To submit to the journals, please go to:* Submit to Machine Learning https://www.editorialmanager.com/mach Submit to Data Mining and Knowledge Discovery https://www.editorialmanager.com/dami *Contact* You can contact the Journal Track Chairs: jt_chairs at ecmlpkdd2018.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From newsletter at saso-conference.org Sat Jul 8 02:27:02 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Sat, 8 Jul 2017 02:27:02 +0200 Subject: =?utf-8?b?RXh0ZW5kZWQgRGVhZGxpbmU6IEZpZnRoIEludGVybmF0aW9uYWwgV29y?= =?utf-8?b?a3Nob3Agb24gU2VsZi1BZGFwdGl2ZSBhbmQgU2VsZi1PcmdhbmlzaW5n?= =?utf-8?b?IFNvY2lvLVRlY2huaWNhbCBTeXN0ZW1zIChTQVNPy4ZTVCksIFM=?= =?utf-8?b?ZXB0ZW1iZXIgMTggb3IgMjIsIFR1Y3NvbiwgQXJpem9uYSA=?= Message-ID: ************************************************************************* CALL FOR CONTRIBUTIONS Fifth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASOˆST) at the Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) University of Arizona, Tucson, AZ; 18-22 September 2017 http://mocca.uni.lu/sasost/ EXTENDED DEADLINE: July 12, 2017 ************************************************************************* # Call for Contributions The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. This aspect is becoming more and more evident with the increasing popularity of social network applications on the internet. This workshop will address all social aspects that influence the design of technical systems, covering different perspectives of this exciting research area from the computational modelling of social systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols. ## Topics SASOST systems require a highly interdisciplinary approach, and the establishment of a research community around the creation of such systems is one of the workshop's key objectives. For this purpose, the workshop brings together experts from areas such as distributed computer systems, complex systems, and the social sciences to present findings and elaborate on the topic in the following complementary topical sections as well as open panel discussion rounds. Relevant topics include but are not limited to: ** Computational modelling of social systems ** - Trust, norms and reputation management - Computational social science techniques - Social network analysis in information systems and collaboration platforms - Information spreading, opinion formation and collective user behaviour - Real-time prediction of collective phenomena like, e.g., information cascades in social media - Representation of and reasoning about computational laws - Effects of trust models and metrics on self-organising autonomous systems - Analysis of threats to self-organising and autonomous systems - Data-driven modelling of human and social aspects in software engineering ** Applications of social aspects in technical systems ** - Socio-aware overlays and adaptation of network protocols and topologies - Simulation and evaluation of computing systems using behavioural models - Trust-based approaches to deal with uncertainty in self-organising systems - Self-organising norm-governed systems - Socially adaptive, scalable content distribution - Real-time monitoring and prediction of collective user dynamics - Smart grids and cyber-physical systems - Utilisation of social structures for the scalable provision of distributed virtual environments and in application-level routing schemes for peer-to-peer, wireless ad-hoc or delay tolerant networks - Socially inspired algorithms and network topologies for distributed search, consensus, gossiping etc. ## Papers and Talks The organisers welcome the submission of short papers not exceeding 6 two-column pages in the IEEE Computer Society Press proceedings style. We solicit both original research papers as well as position papers. The submissions need to be previously unpublished and currently not under review elsewhere. Accepted papers will be published as a bundle with the main conference proceedings by IEEE Computer Society Press and will be submitted to the indexing companies. Furthermore, we encourage the submission of proposals for talks that present previously published work of special interest to the workshop community. Position statements encouraging discussions on the workshop's topics are also welcome. These proposals should also adhere to the two-column IEEE Computer Society Press proceedings style, not exceeding two pages. The workshop provides an excellent opportunity to discuss and share research results with a wider audience in an interdisciplinary environment. Each submission will be peer-reviewed by two to three members of the programme committee in a single-blind process. The decision will be based on the motivation of the research, the clarity of the contribution and the relevance of the research to the domain of self-adaptive and self-organising socio-technical systems. In particular, submissions that promise to fuel discussions, which bring together results and issues from different disciplines and which thus contribute to the strengthening of an interdisciplinary community, will be given preference. ## Important Dates Submission Deadline: July 12, 2017 Notification Due: July 21, 2017 Final Version Due: July 26, 2017 Workshop: September 18 or 22, 2017 From manna at mat.unical.it Mon Jul 10 00:23:02 2017 From: manna at mat.unical.it (manna at mat.unical.it) Date: Mon, 10 Jul 2017 00:23:02 +0200 Subject: CfP: PADL 2018 - 20th International Symposium on Practical Aspects of Declarative Languages Message-ID: <9b9b94fc7e473bcb9066e8b96fe54ddc.squirrel@www.mat.unical.it> [Apologies for cross-posting] Call for Papers =============== 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) http://popl18.sigplan.org/track/PADL-2018-papers Los Angeles, CA, USA, 8 - 9 January, 2018 Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home) The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: * Innovative applications of declarative languages * Declarative domain-specific languages and applications * Practical applications of theoretical results * New language developments and their impact on applications * Declarative languages and software engineering * Evaluation of implementation techniques on practical applications * Practical experiences and industrial applications * Novel uses of declarative languages in the classroom * Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2018 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the past PADL symposia. It will be co-located with the Symposium on Principles of Programming Languages (POPL 2018), in Los Angeles, CA, USA. Important Dates and Submission Guidelines ========================================= Abstract submission: September 3, 2017 Paper submission: September 10, 2017 Notification: October 9, 2017 Camera-ready: October 23, 2017 Symposium: January 8-9, 2017 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2018 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2018 will accept both technical and application papers: * Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. * Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. The proceedings of PADL 2018 will appear in the LNCS series of Springer Verlag ( www.springer.com/lncs ). Two papers accepted for publication at PADL'18 will be nominated for the Most Practical Paper award (one of them as the Student Best Paper), each in cash amount of 250 Euro. These two papers will be invited to submit an extended version of their contribution to the journal "Theory and Practice of Logic Programming" for rapid publication. The extended version should contain at least 30% new content compared to the published conference paper. The extended paper will undergo an additional review process. Program Committee ================= * Daan Leijen, Microsoft Research * Daniel Winograd-Cort, University of Pennsylvania * David Van Horn, University of Maryland * Edwin Brady, University of St. Andrews * Enrico Pontelli, New Mexico State University * Erika Abraham, RWTH Aachen University * Esra Erdem, Sabanci University * Francesco Calimeri, University of Calabria * Geoffrey Mainland, Drexel University * Grigore Rosu, University of Illinois at Urbana-Champaign * James Cheney, University of Edinburgh * Jurriaan Hage, Universiteit Utrecht * Karl Crary, Carnegie Mellon University * Konstantin Schekotihin, University of Klagenfurt * Lars Bergstrom, Mozilla Research * Lukasz Ziarek, SUNY Buffalo * Manuel Carro, Technical University of Madrid and UPM and IMDEA Software Institute * Marcello Balduccini, Saint Joseph's University * Marco Gavanelli, University of Ferrara * Marco Maratea, University of Genova * Martin Gebser, University of Potsdam * Mats Carlsson, SICS * Meera Sridhar, University of North Carolina Charlotte * Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center * Paul Tarau, University of North Texas * Paulo Oliva, Queen Mary University of London * Peter Schüller, Marmara University * Ricardo Rocha, University of Porto * Stefan Woltran, Vienna University of Technology * Stefania Costantini, University of L'Aquila * Wolfgang Faber, University of Huddersfield Publicity Chair: * Marco Manna, University of Calabria, Italy Program Chairs: * Nicola Leone, University of Calabria, Italy * Kevin Hamlen, University of Texas at Dallas, TX, USA Contacts ======== For additional information about papers and submissions, please write to the official conference email address, or contact the Program Chairs: * email: padl2018 at easychair.org * Nicola Leone University of Calabria, Italy https://www.mat.unical.it/leone/ * Kevin Hamlen University of Texas at Dallas, TX, USA http://www.utdallas.edu/~hamlen/ From grlmc at grlmc.com Mon Jul 10 05:47:20 2017 From: grlmc at grlmc.com (GRLMC) Date: Mon, 10 Jul 2017 05:47:20 +0200 Subject: TPNC 2017: 3rd call for papers Message-ID: <545102060a010b000652510b010b5a005000035751555256525708090f57555853590453000e030206520304000b51@grlmc_ip-zone_com-6> TPNC 2017: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2017   Prague, Czech Republic   December 18-20, 2017   Organized by:   Institute of Computer Science Czech Academy of Sciences   Faculty of Mathematics and Physics Charles University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2017/ ***************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2017 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2017 will take place in Prague, whose historic centre is UNESCO World Heritage Site and which is home to famous attractions like the Prague Castle, the Charles Bridge, etc. The venue will be:   Faculty of Mathematics and Physics Charles University Ke Karlovu 3 121 16 Praha 2   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   amorphous computing ant colonies artificial chemistry artificial immune systems artificial life bacterial foraging cellular automata chaos computing collision-based computing complex adaptive systems computing with DNA computing with words and perceptions developmental systems evolutionary computing fractal geometry fuzzy logic gene assembly in ciliates granular computing intelligent systems in-vivo computing membrane computing nanocomputing neural computing optical computing physarum machines quantum computing quantum information reaction-diffusion systems rough sets self-organizing systems swarm intelligence synthetic biology   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2017 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   Enrique Alba (University of Málaga), Natural Computing for Smart Cities   Carlos A. Coello Coello (CINVESTAV-IPN), tba   Thomas Stützle (Université Libre de Bruxelles), Automatic Generation of Swarm Intelligence Algorithms   PROGRAMME COMMITTEE:   Ajith Abraham (Machine Intelligence Research Labs, US) Uwe Aickelin (University of Nottingham, UK) Robert Babuska (Delft University of Technology, NL) Thomas Bäck (Leiden University, NL) Gilles Brassard (University of Montréal, CA) Erik Cambria (Nanyang Technological University, SG) Carlos Coello Coello (CINVESTAV-IPN, MX) David W. Corne (Heriot-Watt University, UK) Dipankar Dasgupta (University of Memphis, US) Kalyanmoy Deb (Michigan State University, US) Marco Dorigo (Université Libre de Bruxelles, BE) Andries Engelbrecht (University of Pretoria, ZA) Michel Gendreau (Polytechnique Montréal, CA) Deborah M. Gordon (Stanford University, US) Lawrence Hall (University of South Florida, US) Enrique Herrera-Viedma (University of Granada, ES) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Joshua Knowles (University of Birmingham, UK) Andrew Kusiak (University of Iowa, US) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) José M. Merigó Lindahl (University of Chile, CL) Radko Mesiar (Slovak University of Technology, SK) Risto Miikkulainen (University of Texas, Austin, US) Christos Ouzounis (Centre for Research and Technology Hellas, GR) Henri Prade (Paul Sabatier University, FR) Patrick Siarry (University of Paris-Est, FR) Andrzej Skowron (University of Warsaw, PL) John A. Smolin (IBM Thomas J. Watson Research Center, US) Thomas Stützle (Université Libre de Bruxelles, BE) Ponnuthurai N. Suganthan (Nanyang Technological University, SG) Johan Suykens (KU Leuven, BE) Guy Theraulaz (Paul Sabatier University, FR) Jon Timmis (University of York, UK) Xin‐She Yang (Middlesex University, UK) Yiyu Yao (University of Regina, CA) Lotfi A. Zadeh (University of California, Berkeley, US) Anton Zeilinger (University of Vienna, AT)   ORGANIZING COMMITTEE:   Carlos Martín-Vide (Tarragona, co-chair) Roman Neruda (Prague, co-chair) Manuel Jesús Parra Royón (Granada) David Silva (London) Miguel A. Vega-Rodríguez (Cáceres)   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, graphics, 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=tpnc2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://grammars.grlmc.com/TPNC2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: August 6, 2017 Notification of paper acceptance or rejection: September 6, 2017 Final version of the paper for the LNCS proceedings: September 16, 2017 Early registration: September 16, 2017 Late registration: December 4, 2017 Submission to the post-conference journal special issue: March 20, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   TPNC 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Akademie věd České republiky Univerzita Karlova v Praze Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Jul 10 16:51:35 2017 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 10 Jul 2017 10:51:35 -0400 (EDT) Subject: DL 2017 - Call for Participation Message-ID: <20170710145135.939E21700A94@cs.miami.edu> ------------------------------------------------------------------------------- CALL FOR PARTICIPATION 30th International Workshop on Description Logics, DL 2017 18 - 21 July 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 18 to 21 July 2017. ** Registration is now open ** ============================== Registration website: http://dl.kr.org/dl2017/registration/ Invited Talks ============= * Markus Krötzsch, Technical University of Dresden: Ontologies for Knowledge Graphs? * Andreas Pieris, University of Edinburgh: Query Rewriting under Existential Rules * Uli Sattler, University of Manchester: From Reasoning Problems to Non-standard Reasoning Problems and One Step Further Programme Details ================= * 30 long presentations, 14 short presentations and 18 posters * The complete list of accepted papers is available at http://dl.kr.org/dl2017/accepted-papers/ Student Grants ============== A limited number of student grants will be available for participation in DL 2017. Each grant will cover the student registration fee and may additionally include a contribution towards travel costs. For details please check https://project.inria.fr/dl2017/students/ Accommodation ============= There are many tourists visiting Montpellier in July, so please make sure to book your accommodation well in advance to ensure the best choice of options. Even if you are not sure to attend the workshop, you may nonetheless want to book a room in a hotel offering free cancellation. Organisation ============ * Alessandro Artale, Free University of Bozen-Bolzano (Programme co-Chair) * Birte Glimm, University of Ulm (Programme co-Chair) * Roman Kontchakov, Birkbeck, University of London (Programme co-Chair) * Meghyn Bienvenu, University of Montpellier (Workshop co-Chair) * Marie-Laure Mugnier, University of Montpellier (Workshop co-Chair) Resources ========= * Information about registration, travel information, etc., is available on the DL 2017 homepage: http://dl.kr.org/dl2017/ * The official description logic homepage is at http://dl.kr.org/ From Wiebe.Van-Der-Hoek at liverpool.ac.uk Mon Jul 10 23:56:02 2017 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Mon, 10 Jul 2017 21:56:02 +0000 Subject: TARK + SR 2017 in Liverpool: Call for Participation Message-ID: Call for Participation TARK & SR 2017 (co-located) Theoretical Aspects of Rationality and Knowledge (TARK 2017), 16th edition International workshop on Strategic Reasoning (SR 2017), 5th edition July 24-27, 2017 University of Liverpool, Liverpool, UK WEB PAGES http://tark17.csc.liv.ac.uk http://sr2017.csc.liv.ac.uk EARLY REGISTRATION DEADLINE Wednesday 5th July INVITED SPEAKERS Pierpaolo Battigalli , Università Bocconi, Italy Hans van Ditmarsch LORIA, France Edith Elkind , University of Oxford, UK Joe Halpern , Cornell University, USA Barteld Kooi , University of Groningen, the Netherlands Christian List , London School of Economics, UK Wojciech Penczek , Institute of Computer Science PAS & University of Natural Sciences and Humanities, Poland Michael Wooldridge , University of Oxford, UK ACCEPTED PAPERS (TARK) http://tark17.csc.liv.ac.uk/accepted.html ACCEPTED PAPERS (SR) http://sr2017.csc.liv.ac.uk/accepted.html SPONSORS EurAI University of Liverpool ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool Editor-in-Chief of Synthese http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk From service at dirf.org Tue Jul 11 06:55:19 2017 From: service at dirf.org (service at dirf.org) Date: Tue, 11 Jul 2017 10:25:19 +0530 Subject: RTIS 2017 In-Reply-To: References: <1424898422.9908303.1497650424262.JavaMail.zimbra@insa-lyon.fr> Message-ID: Second International Conference on Real-Time Intelligent Systems University of Macau, Macau & December 08-10, 2017 University of Hassan II, Casablanca, Morocco October 18-20, 2017 http://www.socio.org.uk/rtis http://www.springer.com/gp/book/9783319607436 http://www.springer.com/series/11156 (Springer's Advances in Intelligent Systems and Computing) The conference has- Doctoral Consortium DEMO Session Journal Track Mentorship Programme Ph.D. Dissertation Competition Proofreading translation program Real-Time Computing covers a broad spectrum of the intensively developing area of low-latency priority-driven system responsiveness under certain time constrains to essential and decisive human-computer interactions with constantly incoming data stream. Research on real-time intelligent systems is of a multi-disciplinary nature, exploiting concepts from the areas as diverse as signal processing technologies, computational intelligence, location systems, data processing, digital document processing and embedded system design. To accomplish its real-time performance, systematic analysis is carried out when the systems are working. Therefore, over the last few years real-time intelligent computing has radically transformed human life style. In the today's competitive and highly dynamic environment, analyzing data in real time is a must to understand in detail how the systems are processing the data and to reason the outputs and anticipate the trends in intelligent computing, has become critical. To leverage the full potential of the opportunity build complex real time systems, intense research is required and this conference will serve as one such platform to manifest the ongoing research in the real time intelligence system. The conference welcomes theoretically grounded, methodologically sound research papers from academia and industry that address variety of aspects and innovations related to real-time computing systems. The scope of the conference includes, but is not limited to the following areas: Streaming data, streaming engines Big Data systems and applications for high-velocity data Analysis in advanced domains such as energy, sensors, etc Artificial Intelligence Broadband Intelligence Cloud Computing and Intelligence Collaborative Intelligence Crowdsourcing and crowd intelligence Data capture in real-time Intelligent Database Systems Data mining Intelligent Data Analysis OLAP for real-time decision support Data quality and cleansing Intelligent Fuzzy Systems Event-driven analytics Visualizing real-time data and information Intelligent Soft Computing Privacy and security in Intelligence Architectures for Intelligence Internet of Things Intelligent Robotic Systems Smart Services and Platforms Intelligent Transportation Systems Mobile Smart Systems Trace-based intelligent real-time services (eye-tracking, image tracking) Real-time intelligent alert systems Machine translation in real time Multilingual information access Multiagent Intelligent Systems Intelligent Information Systems Adaptive vision algorithms Real-time Intelligent Network solutions Real-time distributed coding Real-time modelling user’s information needs Real-time noise removal systems Real-time intelligent communication Real-time remote access systems Decision support systems in real time Real-time multiprocessor systems The Proceedings will be published by Springer in the Proceedings of the 2nd International Conference on Real-Time Intelligent Systems, Volume 2 RTIS 2017. (http://www.springer.com/series/11156 ) Selected top papers presented will be published in the following journals. 1. Journal of Medical Internet Research (SCI & Scopus) 2. Virtual Reality (SCI & Scopus) 3. The Journal of Intelligent Systems (SCI & Scopus) 4. Future Internet (SCI & Scopus) 5. Machine Learning (SCI & Scopus) 6. Journal of Digital Information Management (Scopus) General Chairs Simon Fong, University of Macau, Macau Abderrahim Sekkaki, University Hassan II, Morocco Jolanta Mizera-Pietraszko, Opole University, Poland Program Chairs Abderrahim Sekkaki, UH2C, Casablanca, Morocco Mohamed Lahby UH2C, Casablanca, Morocco Pit Pichappan, Digital Information Research Lab., India Important Dates Paper Submission: July 25, 2017/August 10, 2017 (For Macau) Paper Notification: August 25, 2017/September 05, 2017 (For Macau) Camera ready: September 30, 2017/October 15, 2017 (For Macau) Registration: October 05, 2017/October 31, 2017 For (Macau) Conference Dates: October 18-20, 2017/December 08-10, 2017 (For Macau) Submissions at http://www.socio.org.uk/rtis/paper-submission/ Contact: rtis at socio.org.uk --------------------------------- From fscozzari at unich.it Tue Jul 11 09:44:07 2017 From: fscozzari at unich.it (Francesca Scozzari) Date: Tue, 11 Jul 2017 09:44:07 +0200 Subject: NSAD 2017 - Extended deadlines and Call for Presentations Message-ID: <7cb5b4ef-09a3-6697-25df-58899b82361d@unich.it> Numerical and Symbolic Abstract Domains (NSAD 2017) 7th International Workshop New York City, NY, USA - August 29, 2017 https://www.sci.unich.it/nsad2017/ ****** EXTENDED DEADLINES and CALL FOR PRESENTATIONS ****** 1-page abstract (for presentation): July 20, 2017 (AoE) --- NEW Regular paper submission: July 20, 2017 (AoE) --- EXTENDED ******************************** SCOPE Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.). The 7th International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field. TOPICS The program of NSAD 2017 will consist mainly of presentations of refereed papers. Contributions are welcomed on all aspects of abstract domains, including, but not limited to: numeric abstract domains symbolic abstract domains extrapolations and accelerations compositions and operations on abstract domains data structures and algorithms for abstract domains novel applications of abstract domains implementations practical experiments and comparisons implementations VENUE NSAD 2017 is co-located with SAS 2017 and takes place in the Forbes Building of the New York University. PUBLICATION NSAD 2017 proceedings will be published electronically in a volume of the Electronic Notes in Theoretical Computer Science series by ScienceDirect©, Elsevier. IMPORTANT DATES --- EXTENDED --- 1-page abstract (for presentation): July 20, 2017 (AoE) --- NEW Regular paper submission: July 20, 2017 (AoE) --- EXTENDED Notification: August 01, 2017 Final version: August 07, 2017 Workshop day: August 29, 2017 PROGRAM CHAIR Francesca Scozzari (Università di Chieti-Pescara, Italy) PROGRAM COMMITTEE Gianluca Amato (Università di Chieti-Pescara, Italy) Roberto Bagnara (University of Parma and BUGSENG, Italy) Arlen Cox (IDA Center for Computing Sciences, USA) Laure Gonnord (University of Lyon, France) Denis Gopan (GrammaTech, USA) Andy King (University of Kent, UK) Jorge A. Navas (SRI International, USA) Thomas Reps (University of Wisconsin-Madison and GrammaTech, USA) Axel Simon (Google, USA) LOCAL CHAIR Patrick Cousot (New York University, USA) SUBMISSION Submissions are invited in two categories: -- 1-page abstract (for presentation of ongoing work or already published papers) -- NEW! -- regular paper (not exceeding 12 pages including references) Authors of accepted 1-page abstracts will have the opportunity for short oral presentations at the workshop, but abstracts will not be included in the proceedings. Submitted regular papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines. Submitted papers may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion. Papers must be written and presented in English, and describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. All submitted papers will be peer-reviewed by the program committee. Authors of regular papers have the option to be part of the proceedings or not. By default, all accepted regular papers will be included in the proceedings. Submission website: https://easychair.org/conferences/?conf=nsad2017 From frank.loebe at informatik.uni-leipzig.de Wed Jul 12 03:19:57 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Wed, 12 Jul 2017 03:19:57 +0200 Subject: ODLS 2017: 3rd Call for Papers, by Jul 17 (!) (Ontologies and Data in Life Sciences, Sep 22-23, Bolzano, Italy; part of JOWO 2017) Message-ID: <201707120120.v6C1K3S5020506@isun.informatik.uni-leipzig.de> (apologies for cross-posting ... please distribute) ------------------------------------------------------- 3rd Call for Papers >> ODLS 2017 << Submission deadline: July 17, 2017 https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS Updates of 3rd to 2nd CfP + third JOWO Joint Keynote Speaker (A.Chella) + 1 additional PC member Updates of 2nd to 1st CfP + early registration deadline (Sep 08), + full JOWO dates (Sep 21-23) + selected contributions -> Journal of Biomedical Semantics + first 2 JOWO Joint Keynote Speakers (G.Guizzardi, T.Oakley) + first 26 confirmed PC members + link to registration information ------------------ Workshop on Ontologies and Data in Life Sciences (ODLS 2017) held as part of the Joint Ontology Workshops (JOWO 2017) September 22-23, 2017 Bolzano, Italy Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and often incomprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, application, and reuse present ever new challenges to existing methods of knowledge representation, data bases, and data analysis and retrieval. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, e.g. by high-throughput methods, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences range from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, philosophers, and applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share their knowledge and experience at ODLS. This year ODLS is part of the Joint Ontology Workshops (JOWO) [2], which yields a stimulating environment of further thematically close workshops, including joint sessions such as shared keynote talks, thereby raising interdisciplinary exchange to a new level. Topics ------ The following topics are all of equal relevance to the workshop, while the list is not exhaustive. Submissions regarding other related or similar topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of big data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- Submission of contributions: July 17, 2017 (Mon) Author notification: September 01, 2017 (Fri) Registration (early): September 08, 2017 (Fri) Camera-ready versions due: September 15, 2017 (Fri) ODLS Workshop: September 22-23, 2017 (Fri-Sat) JOWO Workshops: September 21-23, 2017 (Thu-Sat) Please NOTE: The deadlines include no room for extensions. Especially, the full amount of time available for preparing abstracts and papers is specified from the beginning, rather than declaring earlier dates in this call and granting an (initially unknown) deadline extension later. Submission Instructions ----------------------- Submissions to the workshop can be (i) extended abstracts of 2-5 pages OR (ii) papers of 6-12 pages. Any such length is equally welcome, including all references and a required abstract of at most 300 words. Papers are expected to present previously unpublished work, whereas extended abstracts may also cover recent work that has been accepted or presented elsewhere. Authors submit their contributions via EasyChair to JOWO 2017 [3], selecting "Ontologies and Data in Life Sciences" as the relevant track. [3] https://easychair.org/conferences/?conf=jowo2017 Contributions must be delivered in English, non-anonymously and as a single PDF file. The formatting for all workshops of JOWO 2017 shall comply with the IOS Press formatting guidelines for book authors. Templates [4] are available for LaTeX as well as Microsoft Word. Accepted papers and extended abstracts will be made freely available in a joint JOWO volume of CEUR Workshop Proceedings [5]. After the workshop, authors of selected original submissions will be invited to submit revised and extended versions to the Journal of Biomedical Semantics [6]. JOWO Joint Keynote Speakers --------------------------- * Antonio Chella, University of Palermo, Italy (title TBA - see [1] for updates) * Giancarlo Guizzardi, Free University of Bozen-Bolzano, Italy "'It's Patterns all the way down': Patterns, Anti-Patterns and Pattern-Languages for Next-Generation Ontology Engineering" * Todd Oakley, Best Western Reserve University, Cleveland, Ohio, USA "What We Think About When We Talk About Money: Social Ontology and the Amalgamated Mind" Scientific Organization ----------------------- ODLS 2017 is associated with the workgroup Ontologies in Medicine and Life Sciences (OBML) [7] within the German Informatics Society (GI), and it relates to the International Association for Ontology and its Applications (IAOA) [8] by being part of JOWO 2017 [2]. Scientific Organizers: * Martin Boeker, University of Freiburg, Germany * Heinrich Herre, University of Leipzig, Germany * Ludger Jansen, University of Rostock, Germany * Frank Loebe, University of Leipzig, Germany <-- main contact * Daniel Schober, Leibniz Institute of Plant Biochemistry, Halle(Saale), Germany Program Committee ----------------- * Adrien Barton, Sherbrooke University, Canada * Martin Boeker, University of Freiburg, Germany * Stefano Borgo, Institute of Cognitive Sciences and Technologies, National Research Council (ISTC-CNR), Trento, Italy * Jesualdo Tomas Fernandez-Breis, University of Murcia, Spain * Fred Freitas, Federal University of Pernambuco (UFPE), Recife, Brazil * George Gkoutos, University of Birmingham, UK * Anika Gross, University of Leipzig, Germany * Heinrich Herre, University of Leipzig, Germany * Amanda Hicks, University of Florida, Gainesville, Florida, USA * Robert Hoehndorf, King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi Arabia * Ludger Jansen, University of Rostock, Germany * Maria Keet, University of Cape Town, South Africa * Toralf Kirsten, University of Leipzig, Germany * Frank Loebe, University of Leipzig, Germany * Phillipp Lord, Newcastle University, UK * Wolfgang Mueller, HITS gGmbH, Heidelberg, Germany * Fabian Neuhaus, Otto von Guericke University Magdeburg, Germany * Mariana Neves, Federal Institute for Risk Assessment, Berlin, Germany * Axel Ngonga-Ngomo, University of Paderborn, Germany * Dietrich Rebholz-Schuhmann, Insight Centre for Data Analytics, Galway, Ireland * Daniel Schober, Leibniz Institute of Plant Biochemistry (IPB), Halle (Saale), Germany * Falk Schreiber, Monash University, Melbourne, Australia * Stefan Schulz, Medical University Graz, Austria * Aleksandra Sojic, Institute of Industrial Technologies and Automation, National Research Council (ITIA-CNR), Milano, Italy * Holger Stenzhorn, Saarland University Medical Center, Homburg, Germany * George Tsatsaronis, Elsevier, Amsterdam, The Netherlands * Dagmar Waltemath, University of Rostock, Germany Location and Registration ------------------------- The workshop is part of JOWO 2017 [2], which is hosted by the Free University of Bozen-Bolzano, Italy [9]. Local Chair: * Oliver Kutz, Free University of Bozen-Bolzano, Italy Full registration information is already available [10]. Links ----- [1] ODLS 2017 Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS [2] JOWO 2017 website http://www.iaoa.org/jowo/2017/ [3] JOWO 2017 conference in EasyChair https://easychair.org/conferences/?conf=jowo2017 [4] IOS Press templates for book authors http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ [5] CEUR Workshop Proceedings http://ceur-ws.org/ [6] Journal of Biomedical Semantics http://jbiomedsem.biomedcentral.com/ [7] OBML workgroup website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [8] IAOA website http://iaoa.org/ [9] Local organization website https://www.unibz.it/ [10] JOWO registration information http://www.iaoa.org/jowo/2017/registration/ From BoothR2 at cardiff.ac.uk Wed Jul 12 18:25:09 2017 From: BoothR2 at cardiff.ac.uk (Richard Booth) Date: Wed, 12 Jul 2017 16:25:09 +0000 Subject: CfP Special Issue of Argument & Computation on Applications of Argumentation In-Reply-To: References: Message-ID: APOLOGIES FOR CROSS-POSTING Dear colleague, We are organising a special issue of Argument & Computation on Applications of Argumentation. At this stage we invite abstracts (at most 1 page) by August 10, 2017. A selection of the submitted abstracts will be invited to proceed to full paper submissions. The tentative timeline is as follows: August 10 2017: Abstract submissions August 20 2017: Full paper selections and invitations December 31 2017: Full paper submission April 30 2018: Acceptance Decision August 31 2018: CRC All full paper submissions will be reviewed by three reviewers and are limited to 20 pages in IOS Press format (https://vtex-soft.github.io/texsupport.iospress-aac/). Due to a limit on the number of pages in the special issue, a selection might need to be made from among the accepted full papers. Papers excluded only due to the space limit will appear in a subsequent regular issue. Please email your abstract to Federico Cerutti (CeruttiF at cardiff.ac.uk) by August 10, 2017. Feel free to contact us if you have any questions. Best wishes, Richard Booth > Federico Cerutti > -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Tomasz.Kucner at oru.se Fri Jul 14 09:25:03 2017 From: Tomasz.Kucner at oru.se (Tomasz Kucner) Date: Fri, 14 Jul 2017 07:25:03 +0000 Subject: [meetings] Deadline extension: IROS 2017 Workshop on "Introspective Methods for Reliable Autonomy" (IMRA-2017) Message-ID: <5AF1BDBDD103AC4EA70A706E0EAE3E703167DDFF@mailboxo02.orunet.oru.se> ============================================================ Call for papers - Deadline extension IROS 2017 Workshop on "Introspective Methods for Reliable Autonomy" (IMRA-2017) http://mrolab.eu/imra.html http://www.iros2017.org/ September 24, 2017 Vancouver, Canada Submission deadline: July 31, 2017 ============================================================ As humans, understanding our own limitations, failures and shortcomings is a key for improvement and development. Correspondingly, equipping robots with a set of skills that allows them to assess the quality of their sensory data, internal models, used methods and state of the hardware is expected to greatly improve the overall performance of an autonomous system. The aim of this workshop is to discuss the following research question: How to assess the quality of internal models, methods and sensor data, used by robots and how to to respond to the this assessment? In other words, how to improve robots' introspective abilities? Research on introspection directly or indirectly relates to other research topics such as safety, active perception and mapping. Accordingly, development of introspection in robotics is expected to have a direct impact on a large variety of application areas (most notably service robots in long-term operation, and search and rescue robots). Introspection has a number of benefits for robotics: (i) can be used to estimate the likelihood of failure and prevent the failure, (ii) improves safety by assessing the internal state of the robot, (iii) can speed up the recovery and/or repair process by providing detailed information to a human operator or be a part of self-repair process, (iv) it is crucial to make decisions if it is safe to execute the assigned mission. ============================================================ Topics of interest Topics of contribution that are relevant to this workshop include, but are not limited to: 1) Internal assessment * Map quality assessment * Perception quality assessment * Classification quality assessment 2) Analysis * Failure analysis * Execution monitoring 3) Introspection-related actions * Active learning * Failure recovery * Reconfigurable robots * Planning with uncertainty ============================================================ Paper submission Unpublished original contributions may be submitted to the workshop. The criteria for acceptance is the work's relation to the topics of the workshop and technical quality. We also encourage submission of position papers that address the challenge(s) of introspection methods for reliable autonomy. Papers can be submitted until the submission deadline (see below) via EasyChair (https://easychair.org/conferences/?conf=imra2017). Submissions, to be uploaded as a PDF file, should be no longer than eight pages, including references. Papers should be formatted with the IEEE Conference Latex or Word style (http://ras.papercept.net/conferences/support/support.php). All papers will go through a single-blind peer review with at least two reviewers. Accepted papers will be presented during the workshop and published on the workshop website. ============================================================ Important Dates - Paper submission deadline: July 31, 2017 - Author notification: August 28, 2017 - Camera-ready submission: September 15, 2017 - Workshop date: September 24, 2017 ============================================================ List of invited speakers Martial Hebert - Carnegie Mellon University - USA (Confirmed) Oliver Brock - Technische Universitat Berlin - Germany (Confirmed) Rudolph Triebel - German Aerospace Center (DLR) - Germany (Confirmed) Leon Kester - TNO - Netherlands (Confirmed) Ingmar Posner - University of Oxford - UK (Confirmed) Andreas Birk - Jacobs University - Germany (Confirmed) Michael Ruhnke - Marble Robot Inc. - USA (Confirmed) Raymond Sheh - Curtin University - Australia (Confirmed) ============================================================ Workshop organisers Tomasz Piotr Kucner AASS Research Centre, School of Science and Technology, Orebro University Soren Schwertfeger STAR Lab, School of Information Science and Technology of ShanghaiTech University Martin Magnusson AASS Research Centre, School of Science and Technology, Orebro University Achim J. Lilienthal AASS Research Centre, School of Science and Technology, Orebro University -- ///////////////////////// Tomasz Piotr Kucner PhD Student AASS Research Centre, Dept. of Computer Science, Örebro University, SE - 70182 Örebro, Sweden Room: T1105, Phone: (+46/0) 19 - 30 1482 Email: tomasz.kucner at oru.se -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From marcello.balduccini at gmail.com Fri Jul 14 23:14:17 2017 From: marcello.balduccini at gmail.com (Marcello Balduccini) Date: Fri, 14 Jul 2017 17:14:17 -0400 Subject: KR 2018 Preliminary Call for Papers Message-ID: <201707142114.v6ELEHvn012740@coSAT.msgn> [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] PRELIMINARY CALL FOR PAPERS *** KR 2018 *** 16th International Conference on Principles of Knowledge Representation and Reasoning Tempe, Arizona (USA) October 30-November 2, 2018 reasoning.eas.asu.edu/kr2018/ Co-located with DL 2018 [dl.kr.org/] and NMR 2018 [www.kr.org/NMR], KR 2018 IMPORTANT DATES (Tentative) ----------------------- * Submission of title and abstract: 13 May 2018 * Paper submission deadline: 20 May 2018 * Author response period: 25-27 June 2018 * Notification: 11 July 2018 * Camera-ready papers due: 3-10 August 2018 * Conference date: 30 October-2 November 2018 ------------------------ Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Contrary to previous editions, KR 2018 will also feature an open call for workshop and tutorial proposals. The tentative deadline for submissions is 21 February 2018. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018. Please check the KR 2018 website for further information and updates. We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions: * full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate; * short papers describing applications, systems and/or demos, of up to 4 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page. TOPICS ------ Topics of interest include, but are not limited to: * Argumentation * Belief revision and update, belief merging, information fusion * Computational aspects of knowledge representation * Concept formation, similarity-based reasoning * Contextual reasoning * Description logics * Decision making * Explanation finding, diagnosis, causal reasoning, abduction * Inconsistency- and exception tolerant reasoning, paraconsistent logics * KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems * KR and game theory * KR and machine learning, inductive logic programming, knowledge discovery and acquisition * KR and natural language processing * KR and the Web, Semantic Web * Logic programming, answer set programming, constraint logic programming * Multi- and order-sorted representations and reasoning * Nonmonotonic logics, default logics, conditional logics * Philosophical foundations of KR * Ontology formalisms and models * Preference modeling and representation, reasoning about preferences, * preference-based reasoning * Qualitative reasoning, reasoning about physical systems * Reasoning about actions and change, action languages, situation calculus, dynamic logic * Reasoning about knowledge and belief, epistemic and doxastic logics * Spatial reasoning and temporal reasoning * Uncertainty, representations of vagueness, many-valued and fuzzy logics CONFERENCE CHAIRS ----------------- General: Frank Wolter (University of Liverpool, UK) Program: Michael Thielscher (The University of New South Wales, Australia) Francesca Toni (Imperial College London, UK) Local Organization: Joohyung Lee (Arizona State University, USA) Tran Cao Son (New Mexico State University, USA) Doctoral Consortium: Sebastian Rudolph (Technische Universit�t Dresden, Germany) Madalina Croitoru (University Montpellier II and INRIA, France) Workshop/tutorial Chairs: Sebastian Sardina (RMIT Melbourne, Australia) Ivan Varzinczak (Univ. Artois & CNRS, France) Sponsorship and Publicity: Marcello Balduccini (Saint Joseph's University, USA) Marco Maratea (University of Genova, Italy) From stefano.borgo at cnr.it Mon Jul 17 16:47:26 2017 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Mon, 17 Jul 2017 15:47:26 +0100 Subject: 3rd CALL FOR PAPERS, SHAPES 4.0, deadline July 28 Message-ID: <57203fb3-ee73-d60d-7b0d-f378e4deb03b@cnr.it> -- 3rd CALL FOR PAPERS -- SHAPES 4.0 — THE SHAPE OF THINGS @ JOWO 2017 September 21-23, Bolzano, Italy http://shapes.inf.unibz.it http://iaoa.org/jowo/2017/ *** Extented submission deadline: July 28 *** *** Keynotes *** Prof. Nicola Baroni Prof. Todd Oakley *** Description *** Shape, Form, and Structure are some of the most elusive notions and are pervasive in diverse disciplines from humanities (like literature studies, art history) to sciences (chemistry, biology, physics) and within these from the formal (mathematics, logic) to the empirical disciplines (engineering, cognitive science, architecture, environmental planning, design). Within domains such as computer science and artificial intelligence research, these notions are understood by mixing their common-sense meanings (e.g. to make sense of everyday perception and communication) and ad hoc technical specifications. Even in the different declinations of design the conception and sense of these notions change considerably. Several approaches have been proposed within the aforementioned disciplines to study the very notions of shape, form and structure from different viewpoints, yet a comprehensive treatment of these notions is lacking and no interdisciplinary perspective has emerged. -- Special focus of 2017: Patterns of Interaction -- In these years, due to the popularity of the multi-agent approaches, the explosion of research and application in robotics, the cyber-physical and Internet of Things views, as well as social turns in geography and cultural heritage, there is a rising interest in interaction and its forms. The understanding of the term interaction is challenging due to the different types of entities it might involve and to the many contexts where it may occur. Conceived quantitatively or qualitatively, interaction can be located among agents and systems, among societies and cultures, among languages and stimuli, among views and interpretations. It puts an emphasis on such diverse aspects like emergence on the one hand and repetition on the other. Furthermore, it suggests a conception of form which is intrinsically dynamic, linked with temporality and, of course, action. This time-based notion of shape/form/structure demands not only an analysis of spatial configurations, but of spatio-temporal occurrences. As interactions of colors make clear (e.g. see the studies of Josef Albers), these occurrences may not always be literal sequences, they can happen simultaneously, but there must be time and space for something to take place. From here, we can start asking: Which shapes do patterns of interaction have? Are patterns themselves static or dynamic? What does that mean? Are these meta-level shapes easier to formulate or formalize? Which patterns of (social) interaction are desirable? How to use them for play, planning, storytelling, collaboration and other creative purposes? *** SCOPE *** The Shapes workshop series is an interdisciplinary platform for the discussion of all topics connected to shape (broadly understood). We seek to facilitate an interdisciplinary discussion between researchers, practitioners and artists from all disciplines interested in representing shape, form and structure, and reasoning about them. This includes formal, cognitive, linguistic, engineering, philosophical and artistic aspects of space and vision as well as their application in the sciences and in the arts. -- SHAPES 4.0 solicits contributions in the form of -- a) extended abstracts of 4 to 6 pages (bibliography included) b) pieces of art (music, video, sculpture, scale models/images as well as documentations of these formats) together with about 2 to 3 pages textual description of the work. Contact the organizers at shapes.workshop at gmail.com if you need specific instructions. *** Important dates *** - July 17, 2017 - Submission of contributions (abstracts, pieces of art works) - Aug 25, 2017 - Acceptance/rejection notification - Sept 15, 2017 - Camera ready submission - Sept 21-23, 2017 - SHAPES 4.0 workshop (the precise date will be fixed soon) *** Submission details: *** Papers should be formatted following the IOS Press template. For those interested in having their work published in the proceedings, submissions must not be previously published or be under review at another venue. http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ Accepted papers will be published open-access in the joint JOWO proceedings. Please visit the workshop webpage http://shapes.inf.unibz.it for more information. Submission is via the Easychair submission system. To submit your paper, go to https://easychair.org/conferences/?conf=jowo2017 And select the track "SHAPES 4.0 - The Shape of Things" --- Previous JOWO Proceedings can be found here: http://ceur-ws.org/Vol-1517/ for JOWO 2015, http://ceur-ws.org/Vol-1660/ for JOWO 2016. and previous SHAPES proceedings here: SHAPES 3.0: http://ceur-ws.org/Vol-1616/ SHAPES 2.0: http://ceur-ws.org/Vol-1007/ SHAPES 1.0: http://ceur-ws.org/Vol-812/ *** Organisers *** Rossella Stufano Melone (Politecnico di Bari, Italy) Inge Hinterwaldner (Humboldt-Universität zu Berlin, Germany) Stefano Borgo (Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy) Kris Krois (Free University of Bolzano-Bozen, Italy) Oliver Kutz (Free University of Bolzano-Bozen, Italy) -- Contact -- shapes.workshop at gmail.com *** Previous editions *** SHAPES 3.0 http://www.shapes-research.org/ SHAPES 2.0 http://cindy.informatik.uni-bremen.de/cosy/events/shapes2/ SHAPES 1.0 http://cindy.informatik.uni-bremen.de/cosy/events/shapes/ From frank.loebe at informatik.uni-leipzig.de Tue Jul 18 01:58:16 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Tue, 18 Jul 2017 01:58:16 +0200 Subject: IAOA Summer Institute on Upper Ontologies: Final Call for Participation (Aug 8-11, 2017, Toronto, Canada) Message-ID: <201707172358.v6HNwK4k022752@isun.informatik.uni-leipzig.de> The International Association for Ontology and its Applications (IAOA) is announcing the 2017 Summer Institute: UPPER ONTOLOGIES August 8-11, 2017 Toronto, Ontario, Canada Website: http://ontologforum.org/index.php/SummerInstitute2017 == Final Call for Participation == While registrations for the Summer Institute were requested for July 17, 2017, we still have some seats left and invite further interested persons to participate. Please note that all registrations need to be made online via the registration page PRIOR TO ARRIVAL at the Summer Institute. There will be no option for late registrations on site. We will be very grateful if you register as early as possible, as this affects our preparations. Registration page: http://www.mie.utoronto.ca/events/iaoa-summer-institute-2017/ == Scope == Within the Applied Ontology community, upper ontologies are widely recognized as tools to support the tasks of ontology design and semantic integration. At the first Ontology Summit in 2006, the designers of several prominent upper ontologies were joined by key ontology technology participants, with the purpose of finding a means to relate the different ontologies to each other. In the decade since that meeting, the development and application of upper ontologies has continued, yet many challenges remain. The 2017 IAOA Summer Institute will explore the following topics: - What are the foundational choices and the practical motivations of present upper ontologies? - What is the range of concepts that should be covered in an upper ontology? - What are the relationships among upper ontologies? - How do we evaluate upper ontologies? - Using upper ontologies for semantic integration - Using upper ontologies for ontology design - Discussion of proposals for ISO 21838 (Top-Level Ontologies): content and consensus-building methodology == Preliminary Programme == DAY 1: Conceptual Underpinnings of Upper Ontologies Discussions will focus on the foundational choices of present upper ontologies, as well as the range of concepts that should be covered in an upper ontology. DAY 2: Applications of Upper Ontologies The second day will look at applications of upper ontologies, such as semantic integration and ontology design. We will also consider whether upper ontologies deliver on their purported benefits. DAY 3: Relationships among Upper Ontologies In light of the discussions about the applications of upper ontologies, the third day will identify limitations of existing upper ontologies and explore possible extensions. We will also discuss the relationships among the different upper ontologies. DAY 4: Synthesis The last day will look at what's in the future for upper ontologies. Further details and updates at http://ontologforum.org/index.php/SummerInstitute2017#Programme == Facilitators == * Stefano Borgo Institute of Cognitive Sciences and Technologies, Trento, Italy * Michael Gruninger University of Toronto, Canada * Nicola Guarino Institute of Cognitive Sciences and Technologies, Trento, Italy * Barry Smith University at Buffalo, New York, USA == Participation == Participants from all sectors of applied ontology are invited to interact from August 8 to 11, in Toronto, Canada. As always, the Summer Institute will challenge the state of the art through lively discussions and hands-on problem solving rather than lengthy presentations. --> Please REGISTER ONLINE and PRIOR TO ARRIVAL in order to participate. There will be no on-site registration. The earlier the registrations are received, the better we can prepare the event. Registration page: http://www.mie.utoronto.ca/events/iaoa-summer-institute-2017/ The registration fee is 500 CAD, which in USD or EUR likely amounts to a value in the range of 350-400 USD or 325-350 EUR, respectively. == Contact == Michael Gruninger http://stl.mie.utoronto.ca/gruninger.html From frank.loebe at informatik.uni-leipzig.de Tue Jul 18 16:18:46 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Tue, 18 Jul 2017 16:18:46 +0200 Subject: ODLS 2017: Final Call for Papers, by Jul 21 (!), updates until Jul 29 (Ontologies and Data in Life Sciences, Sep 22-23, Bolzano, Italy; part of JOWO 2017) Message-ID: <201707181418.v6IEIpv1010414@isun.informatik.uni-leipzig.de> (apologies for cross-posting ... please distribute) ------------------------------------------------------- Final Call for Papers >> ODLS 2017 << Submission deadline: July 17, 2017 [passed] Extended submission/registration: July 21, 2017 <- NEW Pre-review submission updates: July 29, 2017 <- NEW https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS >> Based on 3 requests for ca. 2 weeks more time << >> to submit and with room for further contributions << >> we invite further papers. EasyChair remains open << >> for new submissions or at least registrations of << >> submissions by providing an abstract until July 21. << >> Moreover, all paper authors can update their << >> contributions until July 29, 2017 (any time zone). << >> Bidding starts as of July 23, papers will then be << >> assigned to reviewers by July 31. << ------------------ Workshop on Ontologies and Data in Life Sciences (ODLS 2017) held as part of the Joint Ontology Workshops (JOWO 2017) September 22-23, 2017 Bolzano, Italy Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and often incomprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, application, and reuse present ever new challenges to existing methods of knowledge representation, data bases, and data analysis and retrieval. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, e.g. by high-throughput methods, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences range from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, philosophers, and applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share their knowledge and experience at ODLS. This year ODLS is part of the Joint Ontology Workshops (JOWO) [2], which yields a stimulating environment of further thematically close workshops, including joint sessions such as shared keynote talks, thereby raising interdisciplinary exchange to a new level. Topics ------ The following topics are all of equal relevance to the workshop, while the list is not exhaustive. Submissions regarding other related or similar topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of big data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- Submission of contributions: July 17, 2017 (Mon) [passed] Extended subm./registration: July 21, 2017 (Fri) <-- NEW Pre-review submission updates: July 29, 2017 (Sat) <-- NEW Author notification: September 01, 2017 (Fri) Registration (early): September 08, 2017 (Fri) Camera-ready versions due: September 15, 2017 (Fri) ODLS Workshop: September 22-23, 2017 (Fri-Sat) JOWO Workshops: September 21-23, 2017 (Thu-Sat) Please note: Despite declaring no room for deadline extensions beforehand, three requests for ca. 2 weeks more time in combination with remaining capacity for possibly accepting more submissions than received so far, we now admit for some overlap of the submission phase and the review period in that authors can still update their contributions during the bidding phase (starting Jul 23) of the reviewing process. Hence, new submissions can be made or at least need to be registered with an abstract until Friday, Jul 21, 2017. Submission Instructions ----------------------- Submissions to the workshop can be (i) extended abstracts of 2-5 pages OR (ii) papers of 6-12 pages. Any such length is equally welcome, including all references and a required abstract of at most 300 words. Papers are expected to present previously unpublished work, whereas extended abstracts may also cover recent work that has been accepted or presented elsewhere. Authors submit their contributions via EasyChair to JOWO 2017 [3], selecting "Ontologies and Data in Life Sciences" as the relevant track. [3] https://easychair.org/conferences/?conf=jowo2017 Contributions must be delivered in English, non-anonymously and as a single PDF file. The formatting for all workshops of JOWO 2017 shall comply with the IOS Press formatting guidelines for book authors. Templates [4] are available for LaTeX as well as Microsoft Word. Accepted papers and extended abstracts will be made freely available in a joint JOWO volume of CEUR Workshop Proceedings [5]. After the workshop, authors of selected original submissions will be invited to submit revised and extended versions to the Journal of Biomedical Semantics [6]. JOWO Joint Keynote Speakers --------------------------- * Antonio Chella, University of Palermo, Italy "Grounding ontologies in the external world" * Giancarlo Guizzardi, Free University of Bozen-Bolzano, Italy "'It's Patterns all the way down': Patterns, Anti-Patterns and Pattern-Languages for Next-Generation Ontology Engineering" * Todd Oakley, Best Western Reserve University, Cleveland, Ohio, USA "What We Think About When We Talk About Money: Social Ontology and the Amalgamated Mind" Scientific Organization ----------------------- ODLS 2017 is associated with the workgroup Ontologies in Medicine and Life Sciences (OBML) [7] within the German Informatics Society (GI), and it relates to the International Association for Ontology and its Applications (IAOA) [8] by being part of JOWO 2017 [2]. Scientific Organizers: * Martin Boeker, University of Freiburg, Germany * Heinrich Herre, University of Leipzig, Germany * Ludger Jansen, University of Rostock, Germany * Frank Loebe, University of Leipzig, Germany <-- main contact * Daniel Schober, Leibniz Institute of Plant Biochemistry, Halle(Saale), Germany Program Committee ----------------- * Adrien Barton, Sherbrooke University, Canada * Martin Boeker, University of Freiburg, Germany * Stefano Borgo, Institute of Cognitive Sciences and Technologies, National Research Council (ISTC-CNR), Trento, Italy * Jesualdo Tomas Fernandez-Breis, University of Murcia, Spain * Fred Freitas, Federal University of Pernambuco (UFPE), Recife, Brazil * George Gkoutos, University of Birmingham, UK * Anika Gross, University of Leipzig, Germany * Heinrich Herre, University of Leipzig, Germany * Amanda Hicks, University of Florida, Gainesville, Florida, USA * Robert Hoehndorf, King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi Arabia * Ludger Jansen, University of Rostock, Germany * Maria Keet, University of Cape Town, South Africa * Toralf Kirsten, University of Leipzig, Germany * Frank Loebe, University of Leipzig, Germany * Phillipp Lord, Newcastle University, UK * Wolfgang Mueller, HITS gGmbH, Heidelberg, Germany * Fabian Neuhaus, Otto von Guericke University Magdeburg, Germany * Mariana Neves, Federal Institute for Risk Assessment, Berlin, Germany * Axel Ngonga-Ngomo, University of Paderborn, Germany * Dietrich Rebholz-Schuhmann, Insight Centre for Data Analytics, Galway, Ireland * Daniel Schober, Leibniz Institute of Plant Biochemistry (IPB), Halle (Saale), Germany * Falk Schreiber, Monash University, Melbourne, Australia * Stefan Schulz, Medical University Graz, Austria * Aleksandra Sojic, Institute of Industrial Technologies and Automation, National Research Council (ITIA-CNR), Milano, Italy * Holger Stenzhorn, Saarland University Medical Center, Homburg, Germany * George Tsatsaronis, Elsevier, Amsterdam, The Netherlands * Dagmar Waltemath, University of Rostock, Germany Location and Registration ------------------------- The workshop is part of JOWO 2017 [2], which is hosted by the Free University of Bozen-Bolzano, Italy [9]. Local Chair: * Oliver Kutz, Free University of Bozen-Bolzano, Italy Full registration information is already available [10]. Links ----- [1] ODLS 2017 Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS [2] JOWO 2017 website http://www.iaoa.org/jowo/2017/ [3] JOWO 2017 conference in EasyChair https://easychair.org/conferences/?conf=jowo2017 [4] IOS Press templates for book authors http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ [5] CEUR Workshop Proceedings http://ceur-ws.org/ [6] Journal of Biomedical Semantics http://jbiomedsem.biomedcentral.com/ [7] OBML workgroup website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [8] IAOA website http://iaoa.org/ [9] Local organization website https://www.unibz.it/ [10] JOWO registration information http://www.iaoa.org/jowo/2017/registration/ From homola at fmph.uniba.sk Wed Jul 19 12:45:12 2017 From: homola at fmph.uniba.sk (Martin Homola) Date: Wed, 19 Jul 2017 12:45:12 +0200 Subject: WOMoCoE 2017: Deadlines extended Message-ID: <20170719104512.GB6285@fmph.uniba.sk> =============================================================== Last Call for Papers *** UPDATED DEADLINES *** 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WoMoCoE 2017) http://dai.fmph.uniba.sk/events/womocoe2017/ Co-located with: 16th International Semantic Web Conference (ISWC 2017), October 21-25, 2017, Vienna, Austria =============================================================== In the Semantic Web and Linked Data community, knowledge is rarely considered a monolithic and static unit. Instead, partitioning knowledge into distinct modular structures is central to organize knowledge bases. Moreover, representing and reasoning about context is essential for correct exploitation of modules and reasoning in changing situations. Finally, evolution of knowledge resources is an important factor influencing the meaningfulness of stored knowledge over time. Considering these emerging needs, the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) offers the ground to discuss current work on practical and theoretical aspects of modularity, contextuality and evolution of knowledge resources. The workshop aims to bring together an interdisciplinary audience interested in its topics both from a theoretical and formal point of view and from an applicational perspective. --------------------------------------------------------------- IMPORTANT DATES: *** UPDATED *** Abstracts deadline: 25 July 2017 Paper deadline: 28 July 2017 Notification: 24 August 2017 Camera ready: 14 September 2017 Workshop dates: 22 October 2017 --------------------------------------------------------------- INVITED SPEAKER: Pascal Hitzler, NCR Distinguished Professor and Director of Data Science, Department of Computer Science and Engineering, Wright State University, Dayton, Ohio, USA --------------------------------------------------------------- TOPICS: The workshop comprises, but is not strictly limited to, the following topics: = Modularity in the Semantic Web and Linked Data resources = - Modular ontology and knowledge representation languages - Modularity in reasoning: incremental and distributed reasoning - Modularity in ontology engineering: ontology modules reuse and publishing - Algorithms and implementations for module extraction - Ontology design patterns for modularity - Modularity in ontology and data visualization - Modularity in SW/LD applications - Theoretical and cognitive aspects of modularity = Representing and facilitating context in the Semantic Web and Linked Data resources = - Representing context in SW/LD resources - Ontologies for modelling contextual information - Capturing contextuality in SW/LD standards - Reasoning with contextual information and metadata - Matching, combining and disambiguating knowledge resources with contexts - Contextuality in SW/LD applications - Formal aspects of context acquisition, representation and interpretation. = Evolution of the Semantic Web and Linked Data resources = - Definitions and algorithms for belief change in ontologies, and SW/LD resources - Reasoning and planning with evolving ontologies and data sources - Evolution in ontology management: merging, versioning, alignment, integration - Fault diagnosis and repair in ontologies and data sources - LD archiving and versioning - Ontology transformation and ontology transformation patterns - Evolution of SW/LD in applications --------------------------------------------------------------- SUBMISSION: Submission of regular and position papers is possible: - Regular papers (12 pages in length including references) include research reports and surveys. - Position papers (6 pages in length including references) are intended for presentation of interesting new open issues and challenges, and opinions on the status of the field. WOMoCoE also welcomes reports on significant work in progress which has already achieved some interesting partial results, as well as papers recently submitted or published elsewhere as long as their topic is in line with the workshop. An extended abstract will be required and included in the proceedings for papers presented elsewhere. All papers must be formatted using the Springer LNCS style and submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=womocoe2017 Further information about paper submission at: http://dai.fmph.uniba.sk/events/womocoe2017/submission --------------------------------------------------------------- ORGANIZERS: - Loris Bozzato, Fondazione Bruno Kessler, Trento, Italy - Thomas Eiter, Vienna University of Technology, Austria - Martin Homola, Comenius University, Bratislava, Slovakia - Daniele Porello, Free University of Bolzano-Bozen, Italy --------------------------------------------------------------- PROGRAM COMMITTEE (tentative): - Grigoris Antoniou, University of Huddersfield - Stefano Borgo, ISTC-CNR, Trento - Eva Blomqvist, Linköping University - Valeria De Paiva, University of Birmingham - Chiara Del Vescovo, British Broadcasting Corporation - Javier D. Fernández, Vienna University of Economics and Business - Adila A. Krisnadhi, Wright State University & Universitas Indonesia - Oliver Kutz, Free University of Bozen/Bolzano - Vincenzo Maltese, University of Trento - Francisco Martin-Recuerda, UPM, Madrid - Till Mossakowski, University of Magdeburg - Thomas Schneider, University of Bremen - Luciano Serafini, Fondazione Bruno Kessler - Vojtech Svátek, Prague University of Economics - Jürgen Umbrich, Vienna University of Economics and Business - George Vouros, University of Piraeus --------------------------------------------------------------- CONTACT INFO: - Web: http://dai.fmph.uniba.sk/events/womocoe2017/ - Mail: womocoe2017 at easychair.org =============================================================== From r.s.miller at ucl.ac.uk Thu Jul 20 17:38:45 2017 From: r.s.miller at ucl.ac.uk (Miller, Rob) Date: Thu, 20 Jul 2017 15:38:45 +0000 Subject: Commonsense-2017: Final Call for Papers Message-ID: <3B217E15-3F66-40E8-855E-C77CB5683905@ucl.ac.uk> Thirteenth International Symposium on Commonsense Reasoning (Commonsense-2017): Final Call for Papers We invite submissions to Commonsense-2017, to be held in London at University College London, November 6-8, 2017. PAPER SUBMISSION DEADLINE: August 4, 2017 (see below) Endowing computers with common sense is one of the major long-term goals of Artificial Intelligence research. Commonsense knowledge and reasoning are relevant for many applications of current interest. Examples include robot and human collaboration, transparent machine-learning systems that can explain their conclusions, social media and story understanding software, and dialogue systems. The recent resurgence of interest in commonsense reasoning reflects a wider societal reaction to current technological advances, such as the fact that “next year a law will come into operation in [EU] member states which gives everyone a right to an explanation of any decision affecting them that has been reached algorithmically” [Guardian newspaper, 14 April 2017]. Approaches to acquiring commonsense knowledge and performing commonsense reasoning may incorporate semantics-based representation and inference, machine learning, natural language processing, computer vision, and/or cognitive science. The symposium aims to encourage cross-fertilization between these and other techniques. The synthesis of multiple approaches is challenging, but could jump-start progress on many outstanding problems of commonsense reasoning. We welcome a wide variety of submissions, including formal results, experimental results, demos, surveys, evaluations and comparisons of different approaches, and papers on methodological issues. While mathematical logic has traditionally been the primary lingua franca of the Symposium, we welcome all relevant and rigorous approaches to automating commonsense knowledge and reasoning. Topics of interest include, but are not limited to: * Semantics-based representations for specific commonsense domains, such as: - Time, change, action, causality - Commonsense physical and spatial reasoning - Legal, biological, medical, and other scientific reasoning incorporating elements of common sense - Mental states such as beliefs, intentions, and emotions - Social activities and relationships * Inference methods for commonsense reasoning, such as: - Logic programming - Probabilistic, heuristic, and approximate reasoning - Nonmonotonic reasoning, belief revision and argumentation - Abductive and inductive reasoning - Textual Entailment * Methods for creating commonsense knowledge bases, such as: - Statistical and corpus-based techniques, including both traditional machine learning and deep learning - Crowdsourcing - Hand-crafting domain theories - Hybrid methods * Applications of commonsense reasoning, especially interdisciplinary research in the following areas: - Natural language understanding (understanding discourse, question answering, semantic parsing) - Image understanding - Cognitive robotics and planning - Web-based applications (search, internet of things) - Support technologies (computer-aided instruction, home automation) * Discussions of the science of commonsense reasoning research, including: - Meta-theorems about commonsense theories and techniques - Relation to other fields, such as philosophy, linguistics, cognitive psychology, game theory, and economics - Challenge problem sets and benchmarking By default accepted papers will be published shortly after the symposium in the CEUR Workshop Proceedings series. Authors may however opt out of publishing in CEUR, e.g. if they wish to publish their paper at another venue. Authors will be asked to confirm their inclusion in CEUR Workshop Proceedings approximately two weeks after the symposium. All accepted papers will be made available on the commonsensereasoning.org website for the duration of the symposium. A special issue of Annals of Mathematics and Artificial Intelligence, which will include selected and extended papers from Commonsense-2017, is currently planned; journal submissions will be due in winter 2018. Important Dates - Submissions due: August 4, 2017 - Submission notification date: September 8, 2017 - Camera-ready versions due: September 22, 2017 - Symposium: November 6-8, 2017 Invited Speakers We are happy to announce two invited speakers for Commonsense 2017: - Murray Shanahan, Imperial College London - Sebastian Riedel, University College London Submissions - Submissions will be made through EasyChair, at: https://easychair.org/conferences/?conf=commonsense2017 - Papers are limited to 6 pages, prepared in IJCAI or AAAI format, using Letter or A4 sized paper, plus one additional page for references. Review Process Each paper will receive three blind peer reviews. Selection criteria include novelty, technical accuracy and rigor, significance and generalizability, relevance, and quality of writing. Program Chairs Andrew S. Gordon, University of Southern California Rob Miller, University College London Gyorgy Turan, University of Illinois at Chicago and University of Szeged Program Committee Eyal Amir, University of Illinois at Urbana-Champaign Chitta Baral, Arizona State University Vaishak Belle, University of Edinburgh Brandon Bennett, University of Leeds Gábor Berend, University of Szeged Nicola Bicocchi, Unversity of New Brunswick Antonis Bikakis, University College London Bert Bredeweg, University of Amsterdam Erik Cambria, Nanyang Technological University Cungen Cao, Chinese Academy of Sciences Nathanael Chambers, United States Naval Academy Ernest Davis, New York University Gerard de Melo, Rutgers University Valeria De Paiva, University of Birmingham Luke Dickens, University College London Esra Erdem, Sabanci University Nina Gierasimczuk, Technical University of Denmark Jonathan Gordon, USC Information Sciences Institute Catherine Havasi, Luminoso Technologies Jose Hernandez-Orallo, Universitat Politecnica de Valencia Jeff Horty, University of Maryland Daniela Inclezan, Miami University Naoya Inoue, Tohoku University Benjamin Johnston, University of Technology Sydney Antonis Kakas, University of Cyprus Gerhard Lakemeyer, RWTH Aachen University Henry Lieberman, Massachusetts Institute of Technology Vladimir Lifschitz, University of Texas Fangzhen Lin, Hong Kong University of Science and Technology Quan Liu, University of Science and Technology of China Loizos Michael, Open University of Cyprus Niloofar Montazeri, University of California Riverside Leora Morgenstern, Leidos Charlie Ortiz, Nuance Communications Sebastian Pado, Stuttgart University Theodore Patkos, Institute of Computer Science, FORTH Pavlos Peppas, University of Patras Dimitris Plexousakis, Institute of Computer Science, FORTH Chiaki Sakama, Wakayama University Steven Schockaert, Cardiff University Mark Steedman, University of Edinburgh Michael Thielscher, University of New South Wales Richmond Thomason, University of Michigan Lucy Vanderwende, Microsoft Research Laure Vieu, Institut de Recherche en Informatique de Toulouse Stefan Woltran, Technische Universität Wien Website: http://commonsensereasoning.org From Thomas.Agotnes at uib.no Sat Jul 22 09:22:59 2017 From: Thomas.Agotnes at uib.no (=?utf-8?Q?Thomas_=C3=85gotnes?=) Date: Sat, 22 Jul 2017 09:22:59 +0200 Subject: Second Chinese Conference on Logic and Argumentation (CLAR 2018) - first CFP Message-ID: <21B42BBA-5C8F-4525-8893-F7584B46D350@uib.no> The interplay between logic and argumentation has a long history, from ancient Aristotle’s logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China. CLAR 2018 takes place at Zhejiang University in Hangzhou, China, 16-17 June 2018. Proceedings will be published in Logic in Asia (Springer, Studia Logica Library). We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). Examples of research questions of interest are (not exclusively!): What are the roles of logic and/or argumentation in social networks? How to model legal reasoning, medical reasoning, etc. in logic and/or argumentation? How can we formalize reasoning in game theoretic situations? What are the logical principles, models and patterns of daily life argumentation? What are the logical theories, methods and techniques that can be of interest to researchers in formal argumentation? How can existing logics be represented within existing argumentation frameworks? What are the trade-offs between expressive power and computational complexity in logic and argumentation? How can we model the strength of arguments? How can we further develop and apply formal argumentation in AI? How to identify and formalize argumentation in natural language texts? We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work. Accepted full papers will be published in a volume of Springer's Logic in Asia series (Studia Logica Library). Accepted submissions of both types will be invited for presentation at the conference. Authors of accepted submissions will also be invited to submit extended versions to a special issue of Journal of Applied Logic, after the conference. More information at the website: http://www.xixilogic.org/events/clar2018 Important Dates: Paper submission deadline: 15 January 2018 Notification of acceptance: 5 March 2018 Camera-ready papers: 12 March 2018 Conference dates: 16-17 June 2018 Submissions: https://easychair.org/conferences/?conf=clar2018 Organizers: Thomas Ågotnes (thomas.agotnes at infomedia.uib.no) Beishui Liao (baiseliao at zju.edu.cn) Yì N. Wáng (ynw at xixilogic.org) From akshayss at cse.iitb.ac.in Sun Jul 23 08:15:37 2017 From: akshayss at cse.iitb.ac.in (Akshay S.) Date: Sun, 23 Jul 2017 11:45:37 +0530 Subject: FSTTCS 2017 --- LAST Call for Papers [***extended deadline July 31***] Message-ID: (apologies for multiple copies/cross posting) LAST CALL FOR PAPERS =============== 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) Kanpur, India, December 11 - 15, 2017 ---------------- *********************************************** ***** DEADLINE Extension to July 31, 2017 ***** *********************************************** Conference website: http://fsttcs.org/ Submission website: https://easychair.org/conferences/?conf=fsttcs2017 EXTENDED Paper submission deadline: Monday, July 31, 2017 (Anywhere on earth) Notification to Authors: Friday, September 22, 2017 Camera-ready deadline: Monday, October 16, 2017 Conference: December 11 - 15, 2017 Overview ---- The 37th Foundations of Software Technology and Theoretical Computer Science (FSTTCS) conference will take place at the Indian Institute of Technology, Kanpur, during December 11 (Mon) - 15 (Fri), 2017, under the auspices of the Indian Association for Research in Computing Science (IARCS). Submissions presenting original results in foundational aspects of Computer Science and Software Technology are invited. Representative areas include, but are not limited to, the following. - Algorithms and Data Structures - Algorithmic Graph Theory and Combinatorics - Approximation Algorithms - Automata and Formal Languages - Combinatorial Optimization - Communication Complexity - Computational Biology - Computational Complexity - Computational Geometry - Computational Learning Theory - Cryptography and Security - Game Theory and Mechanism Design - Logic in Computer Science - Model Theory, Modal and Temporal Logics - Models of Concurrent and Distributed Systems - Models of Timed, Reactive, Hybrid and Stochastic Systems - Parallel, Distributed and Online Algorithms - Parameterized Complexity - Principles and Semantics of Programming Languages - Program Analysis and Transformation - Proof Complexity - Quantum Computing - Randomness in Computing - Specification, Verification, and Synthesis - Theorem Proving, Decision Procedures, and Model Checking - Theoretical Aspects of Mobile and High-Performance Computing Invited Speakers ---- Sham Kakade (University of Washington, USA) Anca Muscholl (LaBRI & Universite' de Bordeaux, France) Devavrat Shah (MIT, USA) Vinod Vaikuntanathan (MIT CSAIL, USA) Thomas Wilke (Christian-Albrechts-Universitaet zu Kiel, Germany) Submission Information ---- Submissions must be in electronic form via EasyChair using the LIPIcs LaTeX style file. Submissions must not exceed 12 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed. More detailed submission instructions are provided on the FSTTCS 2017 submission page. Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. Program Committee ---- Alexandr Andoni (Columbia University), Arnab Bhattacharyya (IISc Bangalore), Eshan Chattopadhyay (IAS Princeton), Nicola Galesi (Sapienza Universita Roma, Italy), Sumit Ganguly (IIT Kanpur), Prateek Jain (MSR Bangalore), Rahul Jain (NUS, Singapore), Neeraj Kayal (MSR Bangalore), Satya Lokam (MSR Bangalore, co-chair), Daniel Lokshtanov (University of Bergen, Norway), Ruta Mehta (University of Illinois at Urbana-Champaign), Manoj Prabhakaran (IIT Bombay), Alon Rosen (IDC Herzliya, Israel), Alex Samorodnitsky (HUJI, Israel), Srikanth Srinivasan (IIT Bombay), Nikhil Srivastava (University of California, Berkeley), Justin Thaler (Georgetown University), Kasturi Varadarajan (University of Iowa), S Akshay (IIT Bombay), Christel Baier (TU Dresden), Stephanie Delaune (IRISA & CNRS Rennes), Tim French (UWA, Perth), Prasad Jayanti (Dartmouth College), Daniel Kroening (University of Oxford), Ranko Lazic (University of Warwick), Rupak Majumdar (MPI), Stephan Merz (INRIA Nancy & LORIA), Paritosh K. Pandya (TIFR, Mumbai), Pavithra Prabhakar (Kansas State University), R Ramanujam (IMSc Chennai, co-chair), Simona Ronchi Della Rocca (Universita di Torino), Sunil Simon (IIT Kanpur), Sonja Smets (University of Amsterdam), B Srivathsan (CMI, Chennai), Lidia Tendera (Uniwersytet Opolski), Nobuko Yoshida (Imperial College). From newsletter at saso-conference.org Mon Jul 24 15:14:02 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Mon, 24 Jul 2017 15:14:02 +0200 Subject: =?utf-8?b?U0FTTyAyMDE3IFJFR0lTVFJBVElPTjogVGhlIEVsZXZlbnRoIElFRUUg?= =?utf-8?b?SW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFNlbGYtQWRhcHRpdmUg?= =?utf-8?b?YW5kIFNlbGYtT3JnYW5pemluZyBTeXN0ZW1zIChTQVNPIDIwMTcpIA==?= Message-ID: ************************************************************************* SASO 2017 REGISTRATION The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) University of Arizona, Tucson, AZ; 18-22 September 2017 https://saso2017.telecom-paristech.fr/ Part of FAS* - Foundation and Applications of Self-* Computing Conferences Collocated with: The International Conference on Cloud and Autonomic Computing (ICCAC 2017) ************************************************************************* Registration for SASO 2017 is open now. The early bird registration ends August 6, 2017! Please register at: https://saso2017.telecom-paristech.fr/registration.html From Renate.Schmidt at manchester.ac.uk Wed Jul 26 17:50:00 2017 From: Renate.Schmidt at manchester.ac.uk (Renate Schmidt) Date: Wed, 26 Jul 2017 16:50:00 +0100 Subject: TABLEAUX 2017 - Call for Participation Message-ID: <20170726164650.3f5b4fb7@fennek-vb.localnet> CALL FOR PARTICIPATION TABLEAUX 2017, FroCoS 2017, ITP 2017 Brasilia, Brazil 25-29 September 2017 http://tableaux2017.cic.unb.br http://frocos2017.cic.unb.br http://itp2017.cic.unb.br *** Please register now *** Registration website: https://registration2017.cic.unb.br Early registration until 4th August Late registration until 2nd September More information can be found at the conferences websites: http://tableaux2017.cic.unb.br/#registration http://frocos2017.cic.unb.br/#registration http://itp2017.cic.unb.br/#registration *** Student Grants *** A limited number of travel grants is available for students who would not otherwise have resources to attend TABLEAUX/FroCoS/ITP, and whose attendance would benefit both the applicant and the event. Although priority is given to students with active role in the conferences/workshops, students in other situations are very much encouraged to apply. The grants are offered by Springer and by the organisation of the conferences. For details, see the full call at the conferences websites: http://tableaux2017.cic.unb.br/#grants http://frocos2017.cic.unb.br/#grants http://itp2017.cic.unb.br/#grants *** Invited Speakers *** - Carlos Areces (FaMAF-Cordoba/Argentina) - Wolfgang Bibel (Technische Universitaet Darmstadt, Germany) - Katalin Bimbo (University of Alberta, Edmonton, Germany) - Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands) - Reiner Haehnle (Technische Universitaet Darmstadt, Germany) - Moa Johansson (Chalmers University of Technology, Sweden) - Cezary Kaliszyk (Universitaet Innsbruck, Austria) - Leonardo Moura (RiSE, Microsoft, USA) - Cesare Tinelli (The University of Iowa, USA) - Renata Wasserman (IME/USP) *** Programme *** See: http://tableaux2017.cic.unb.br/#programme http://frocos2017.cic.unb.br/#programme http://itp2017.cic.unb.br/#programme *** Social Events *** The excursion will visit the Itamaraty Palace (Foreign Affairs Ministry). The building was designed by Oscar Niemeyer, the gardens by Burle Marx, and inside we can find the works by Athos Bulcao and Alfredo Volpi, among others. The conference dinner will take place at a location by the Paranoa Lake. *** Workshops *** - 12th Logical and Semantic Frameworks with Applications (LSFA 2017) http://lsfa2017.cic.unb.br/ 23 and 24 September - Fifth Workshop on Proof eXchange for Theorem Proving (PxTP) http://pxtp.github.io/2017/ 23 and 24 September - EPS - Encyclopedia of Proof Systems http://proofsystem.github.io/Encyclopedia/ 24 and 25 September - DaLí - Dynamic Logic: new trends and applications http://workshop.dali.di.uminho.pt/ 23 and 24 September *** Tutorials *** - Proof compressions and the conjecture NP = PSPACE Lew Gordeev, Edward Hermann Haeusler 23 September 2017 - General methods in proof theory for modal and substructural logics Bjoern Lellmann, Revantha Ramanayake 24 September 2017 - From proof systems to complexity bounds Anupam Das 25 September 2017 - PVS for Computer Scientists Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato 25 September 2017 *** Poster Session *** The joint poster session will be held on the 28th September. *** Venue *** All the events will be held at the Finatec building located within the University of Brasilia. Finatec - Fundacao de Empreendimentos Cientificos e Tecnologicos Campus Universitario Darcy Ribeiro Av. L3 Norte, Ed. Finatec Asa Norte, Brasilia - DF CEP 70910-900 *** Organisation *** TABLEAUX Programme Chairs: Renate A. Schmidt The University of Manchester, UK Claudia Nalon University of Brasilia, Brazil FroCoS Conference Chairs Clare Dixon University of Liverpool, UK Marcelo Finger University of Sao Paulo, Brazil ITP Conference Chairs Cesar Munoz NASA, USA Mauricio Ayala-Rincon University of Brasilia, Brazil Organising Committee Claudia Nalon University of Brasilia, Brazil Daniele Nantes Sobrinho University of Brasilia, Brazil Elaine Pimentel Federal University of Rio Grande do Norte, Brazil Joao Marcos Federal University of Rio Grande do Norte, Brazil From jsabater at iiia.csic.es Thu Jul 27 11:52:29 2017 From: jsabater at iiia.csic.es (Jordi Sabater Mir) Date: Thu, 27 Jul 2017 11:52:29 +0200 Subject: [AAMAS18] 1st CfP: International Conference on Autonomous Agents and Multiagent Systems (AAMAS-18) Message-ID: <316b6af6-63c1-7d29-7003-2e7738f5300c@iiia.csic.es> * *************************************************** AAMAS 2018: July 10-15, 2018 in Stockholm *************************************************** http://aamas18.ifaamas.org Important Dates --------------- Abstract Submission: 10th of November 2017 (23:59 UTC-12) Full Paper Submission: 14th of November 2017 (23:59 UTC-12) Rebuttal Phase: 9th-10th of January 2018 (23:59 UTC-12) Author Notification: 24th of January 2018 (23:59 UTC-12) AAMAS, the International Conference on Autonomous Agents and Multiagent Systems, is the leading scientific conference for research on autonomous agents and multiagent systems. It will be co-located with the International Joint Conference on Artificial Intelligence (IJCAI)/European Conference on Artificial Intelligence (ECAI) and the International Conference on Machine Learning (ICML). AAMAS 2018, the seventeenth edition in the AAMAS series, seeks the submission of high-quality papers limited to 8 pages in length, with any additional pages containing only bibliographic references. Reviews will be double blind; authors must avoid including anything that can be used to identify them. Submitting an abstract is required before submitting a full paper. All work must be original, that is, must not have appeared in conference proceedings, books, or journals and may not be under review for other archival conferences, books, or journals. In addition to submissions in the main track, AAMAS 2018 will solicit papers for the following special tracks: 1) Socially Interactive Agents 2) Robotics 3) Blue Sky Ideas 4) Industrial Applications 5) JAAMAS Submissions. The review process for the special tracks will be similar to the main track, but with program committee members specially selected for each track. All accepted papers for the special tracks will be included in the proceedings. At least one f the authors of each paper is required to register, attend, and present the paper at the conference. AAMAS 18 General Chairs: Elisabeth André (Universität Augsburg, Germany) Sven Koenig (University of Southern California, USA) AAMAS 18 Program Chairs: Mehdi Dastani (University of Utrecht, Netherlands) Gita Sukthankar (University of Central Florida, USA) AAMAS 18 Local Chair: Franziska Klügl (Örebro University, Sweden) The full AAMAS 2018 Call for Papers, along with descriptions of the special tracks and all topics of interest, can be found at: aamas18.ifaamas.org #aamas2018 * -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at ewell.cs.miami.edu Thu Jul 27 21:00:38 2017 From: geoff at ewell.cs.miami.edu (geoff at ewell.cs.miami.edu) Date: Thu, 27 Jul 2017 15:00:38 -0400 (EDT) Subject: TABLEAUX 2017, FroCoS 2017, ITP 2017 - Call for Participation Message-ID: <20170727190038.19166170059C@cs.miami.edu> CALL FOR PARTICIPATION TABLEAUX 2017, FroCoS 2017, ITP 2017 Brasilia, Brazil 25-29 September 2017 http://tableaux2017.cic.unb.br http://frocos2017.cic.unb.br http://itp2017.cic.unb.br *** Registration is now open *** Registration website: https://registration2017.cic.unb.br Early registration until 4th August Late registration until 2nd September More information can be found at the conferences websites: http://tableaux2017.cic.unb.br/#registration http://frocos2017.cic.unb.br/#registration http://itp2017.cic.unb.br/#registration *** Student Grants *** A limited number of travel grants is available for students who would not otherwise have resources to attend TABLEAUX/FroCoS/ITP, and whose attendance would benefit both the applicant and the event. Although priority is given to students with active role in the conferences/workshops, students in other situations are very much encouraged to apply. The grants are offered by Springer and by the organisation of the conferences. For details, see the full call at the conferences websites: http://tableaux2017.cic.unb.br/#grants http://frocos2017.cic.unb.br/#grants http://itp2017.cic.unb.br/#grants *** Invited Speakers *** - Carlos Areces (FaMAF-Cordoba/Argentina) - Wolfgang Bibel (Technische Universitaet Darmstadt, Germany) - Katalin Bimbo (University of Alberta, Edmonton, Germany) - Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands) - Reiner Haehnle (Technische Universitaet Darmstadt, Germany) - Moa Johansson (Chalmers University of Technology, Sweden) - Cezary Kaliszyk (Universitaet Innsbruck, Austria) - Leonardo Moura (RiSE, Microsoft, USA) - Cesare Tinelli (The University of Iowa, USA) - Renata Wasserman (IME/USP) *** Programme *** See: http://tableaux2017.cic.unb.br/#programme http://frocos2017.cic.unb.br/#programme http://itp2017.cic.unb.br/#programme *** Social Events *** Excursion to visit the Itamaraty Palace (Foreign Affairs Ministry). The building was designed by Oscar Niemeyer, the gardens by Burle Marx, and inside we can find the works by Athos Bulcao and Alfredo Volpi, among others. Conference dinner will take place in a location by the Paranoa Lake. *** Workshops *** - 12th Logical and Semantic Frameworks with Applications (LSFA 2017) http://lsfa2017.cic.unb.br/ 23 and 24 September - Fifth Workshop on Proof eXchange for Theorem Proving (PxTP) http://pxtp.github.io/2017/ 23 and 24 September - EPS - Encyclopedia of Proof Systems http://proofsystem.github.io/Encyclopedia/ 24 and 25 September - DaL� - Dynamic Logic: new trends and applications http://workshop.dali.di.uminho.pt/ 23 and 24 September *** Tutorials *** - Proof compressions and the conjecture NP = PSPACE Lew Gordeev, Edward Hermann Haeusler 23 September 2017 - General methods in proof theory for modal and substructural logics Bjoern Lellmann, Revantha Ramanayake 24 September 2017 - From proof systems to complexity bounds Anupam Das 25 September 2017 - PVS for Computer Scientists Cesar Munoz, Mauricio Ayala-Rincon, Mariano Moscato 25 September 2017 *** Poster Session *** The joint poster session will be held on the 28th September. *** Venue *** All the events will be held at the Finatec building located within the University of Brasilia. Finatec - Fundacao de Empreendimentos Cientificos e Tecnologicos Campus Universitario Darcy Ribeiro Av. L3 Norte, Ed. Finatec Asa Norte, Brasilia - DF CEP 70910-900 *** Organisation *** TABLEAUX Programme Chairs: Renate A. Schmidt The University of Manchester, UK Claudia Nalon University of Brasilia, Brazil FroCoS Conference Chairs Clare Dixon University of Liverpool, UK Marcelo Finger University of Sao Paulo, Brazil ITP Conference Chairs Cesar Munoz NASA, USA Mauricio Ayala-Rincon University of Brasilia, Brazil Organising Committee Claudia Nalon University of Brasilia, Brazil Daniele Nantes Sobrinho University of Brasilia, Brazil Elaine Pimentel Federal University of Rio Grande do Norte, Brazil Joao Marcos Federal University of Rio Grande do Norte, Brazil From C.Orasan at wlv.ac.uk Thu Jul 27 22:53:38 2017 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Thu, 27 Jul 2017 20:53:38 +0000 Subject: Reminder: 2 PhD studentships in Translation Technology References: <1498821460.7520.3.camel@wlv.ac.uk> Message-ID: <1501188817.8879.6.camel@wlv.ac.uk> [Apologies for cross-posting] 2 PhD studentships in Translation Technology Closing date 31st July 2017 The Research Group in Computational Linguistics (http://rgcl.wlv.ac.uk) at the University of Wolverhampton invites applications for TWO 3-year PhD studentships in the area of translation technology. These two PhD studentships are part of a university investment which also includes the appointment of a reader (the equivalent of associate professor) and a research fellow with the aim to strengthen the existing research undertaken by members of the group in this area. These funded student bursaries consist of a stipend towards living expenses (£14,500 per year) and remission of fees. We invite applications in the area of translation technology defined in the broadest sense possible and ranging from advanced methods in machine translation to user studies which involves using of technology in the translation process. We welcome proposals focusing on Natural Language Processing techniques for translation memory systems and translation tools in general. Given the current research interests of the group and its focus on computational approaches, we would be interested in topics including but not limited to: - Enhancing retrieval and matching from translation memories with linguistic information - The use of deep learning (and in general, statistical) techniques in translation memories - (Machine) translation of user generated content - The use of machine translation in cross-lingual applications - Phraseology and computational treatment of multi-word expressions in machine translation and translation memory systems - Quality estimation for translation professionals Other topics will be also considered as long as they align with the interests of the group. The application deadline is 31 July 2017 and the starting date of the PhD position is 1st October 2017 or any time as soon as possible after that. A successful applicant must have: - A good honours degree or equivalent in Computational Linguistics, Computer Science, Translation studies or Linguistics - A strong programming and statistical / Mathematical background or closely related areas (if relevant to the proposed topic). - Experience in Computational Linguistics / Natural Language Processing, including statistical, Machine Learning and Deep Learning, applications to Natural Language Processing. - Experience with translation technology Regardless of the proposed topic experience with programming languages such as Python, Java or R would be a plus. Applications must include: 1. A curriculum vitae indicating degrees obtained, courses covered, publications, relevant work experience and names of two referees that could be contacted if necessary 2. A research statement which outlines the topics of interest. More information about the expected structure of the research statement can be found at https://www.wlv.ac.uk/media/departments/star-office/documents/Guidelines-for-completion-of-Research-Statement.doc These documents will have to be sent by email before the deadline to Amanda Bloore (A.Bloore at wlv.ac.uk). Informal enquiries can be sent to Constantin Orasan (C.Orasan at wlv.ac.uk) The shortlisted applicants will be interviewed by phone/Skype shortly after the application deadline. Established by Prof Mitkov in 1998, the research group in Computational Linguistics delivers cutting-edge research in a number of NLP areas. The results from the latest Research Evaluation Framework confirm the research group in Computational Linguistics as one of the top performers in UK research with its research defined as ‘internationally leading, internationally excellent and internationally recognised’. The research group has recently completed successfully the coordination of the EXPERT project a successful EC Marie Curie Initial Training Network promoting research, development and use of data-driven technologies in machine translation and translation technology (http://expert-itn.eu) -- Dr. Constantin Orasan Reader in Computational Linguistics Coordinator of the EXPERT project Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics http://www.wlv.ac.uk/~in6093/ University of Wolverhampton, UK From unilog2018 at vichy-universite.com Fri Jul 28 12:32:46 2017 From: unilog2018 at vichy-universite.com (UNILOG2018) Date: Fri, 28 Jul 2017 10:32:46 +0000 Subject: VICHY JUNE 2018 - UNIVERSAL LOGIC - WORLD CONGRESS AND SCHOOL In-Reply-To: References: ,,,,,,,,,,,,,,, Message-ID: The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC will take place in Vichy, France, June 16-26, 2018 after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013 and Istanbul 2015: http://www.uni-log.org/vichy2018 Along these years UNILOG has been a leading international logical event with the participation of many famous logicians such as Wilfrid Hodges, Daniele Mundici, Saul Kripke, Jaakko Hintikka, Dov Gabbay, Arnon Avron, Benedikt Löwe, David Makinson, Yde Venema, Newton da Costa, Mike Dunn, Val Goranko, Yuri Gurevich, Janusz Czelakowski, Stephen Read, Sara Negri, Arnold Koslow, Peter Schröder-Heister, Gila Sher, Hiroakira Ono, John Corcoran, Hartry Field, Gerhard Jaeger, Ernest Lepore, Marcus Kracht, Melvin Fitting, Luciano Floridi, Patrick Blackburn, Jan Wolenski, Krister Segerberg, Dale Jacquette, Sun-Joo Shin, Jouko Väänänen, John Woods and many more. UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people. The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow a similar format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - Award of Logic Prizes from about 10 countries - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech). Vichy is a charming relaxing thermal city at the middle of France, developed by Napoleon III in the second half of the 19th century, who in particular created beautiful parks with species of trees from all over the world. Vichy, in the Duchy of Bourbon, a region full of castles, is a small city, where it is possible to go everywhere just by walking. The event will take place at the university campus nearby the Celestins spring, the banks of the Allier river (where it is possible to swim) and the city center. June is a very nice time to be in Vichy with lots of animations, including on June 21 a very lively musical day celebrating summertime. Deadline to submit an abstract: September 15, 2017 Looking forward to seeing you in Vichy in June 2018 Jean-Yves Beziau (University of Brazil, Rio de Janeiro and Ecole Normale Supérieure, Paris) Christophe Rey (University Clermont Auvergne, CNRS, LIMOS) Organizers of UNILOG'2018 ------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I LO G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 http://www.uni-log.org/vichy2018 [http://www.uni-log.org/unilog-2018-im/unilog-2018.jpg] UNILOG 2018 Vichy www.uni-log.org The event will take place at Vichy University Campus - 1 Avenue des Célestins - 03200 Vichy, France -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icaart at insticc.info Fri Jul 28 12:39:51 2017 From: icaart at insticc.info (icaart at insticc.info) Date: 28 Jul 2017 11:39:51 +0100 Subject: CFP ICAART 2018 - 10th Int.l Conf. on Agents and Artificial Intelligence (Funchal, Madeira/Portugal) Message-ID: <20170728103953.18122.45DBAF4BE9EE5506@insticc.info> SUBMISSION DEADLINE 10th International Conference on Agents and Artificial Intelligence Submission Deadline: July 31, 2017 http://www.icaart.org/ January 16 - 18, 2018 Funchal, Madeira, Portugal. ICAART is organized in 2 major tracks: - Agents - Artificial Intelligence Technically Co-sponsored by IEEE CIS. In Cooperation with APPIA, AEPIA, AIXIA, Iberamia, EUSFLAT, APRP, EurAI, IFSA, AAAI, ACM SIGAI. With the presence of internationally distinguished keynote speakers: Luc Steels, ICREA, Institute of Evolutionary Biology (UPF-CSIC) Barcelona, Spain Virginia Dignum, Delft University of Technology, Netherlands Eduard Hovy, Carnegie Mellon University, United States Luís Antunes, Universidade de Lisboa, Portugal A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICAART Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icaart.org/ e-mail: icaart.secretariat at insticc.org From icpram at insticc.info Fri Jul 28 12:40:03 2017 From: icpram at insticc.info (icpram at insticc.info) Date: 28 Jul 2017 11:40:03 +0100 Subject: CFP ICPRAM 2018 - 7th Int.l Conf. on Pattern Recognition Applications and Methods (Funchal, Madeira/Portugal) Message-ID: <20170728104004.18122.3ADC2B129D5431D2@insticc.info> SUBMISSION DEADLINE 7th International Conference on Pattern Recognition Applications and Methods Submission Deadline: July 31, 2017 http://www.icpram.org/ January 16 - 18, 2018 Funchal, Madeira, Portugal. ICPRAM is organized in 2 major tracks: - Theory and Methods - Applications In Cooperation with AAAI, AIXIA, APRP, INNS. With the presence of internationally distinguished keynote speakers: Rita Cucchiara, University of Modena and Reggio Emilia, Italy Edwin Hancock, York University, United Kingdom Xiaoyi Jiang, University of Münster, Germany Alfred Bruckstein, Technion, Israel A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICPRAM Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icpram.org/ e-mail: icpram.secretariat at insticc.org From anni-yasmin.turhan at tu-dresden.de Fri Jul 28 12:41:04 2017 From: anni-yasmin.turhan at tu-dresden.de (Anni-Yasmin Turhan) Date: Fri, 28 Jul 2017 12:41:04 +0200 Subject: CFP: Joint International Semantic Technology Conference (JIST 2017) -- deadline extension! Message-ID: <597B14C0.4060802@tu-dresden.de> FINAL CALL FOR PAPERS The 7th Joint International Semantic Technology Conference (JIST 2017) http://www.ict.griffith.edu.au/aist/jist2017 November 10-12, 2017 (Fri - Sun) Gold Coast, Australia The mission of the Joint International Semantic Technology Conference (JIST) is to bring together researchers in Semantic Technology research community and other areas of semantic related technologies to present their innovative research results or novel applications of semantic technologies. In this announcement: 1. Important Dates (deadlines extended) 2. Recommendation to SCI Journals 3. Call for Papers (including a new special track) 4. Submission Guide 5. Organization ============================================================= 1. Important Dates - Abstract submission: 23:59 (Hawaii Time), August 8, 2017 - Full paper submission: 23:59 (Hawaii Time), August 15, 2017 - Notification of Acceptance: September 15, 2017 - Camera-ready Deadline: September 30, 2017 - Conference: November 10-12, 2017 ============================================================= 2. Recommendation to SCI Journals A number of best papers accepted at JIST 2017 will be invited to present at the Meet the Editor session of SCI indexed journals, including International Journal on Semantic Web and Information Systems (IJSWIS), for fast-track publication in a special issue in these journals. Up to five papers will be selected and published. An indicative timeline is given below: - Manuscript revision proposal: mid November 2017 - Submission of revised manuscript: mid January 2018 - Notification of acceptance: mid March 2018 - Publication: second half 2018 ============================================================= 3. Call for Papers -------------------------------------------------------------- Call for Research Track Papers -------------------------------------------------------------- JIST 2017 research track solicits submissions of original research work on semantic technologies. Topics of interest include, but are not limited to: - Ontology and reasoning - Knowledge Graph - Linked Data - Big Data and semantics, exchange and integration - Data streams and the Internet of Things - Machine learning and information extraction on the Semantic Web - Semantic Web services and processes - Trust, privacy, and security on the Semantic Web - Social Semantic Web - Natural language processing and semantics - Semantic multimedia - Novel applications of semantic technologies -------------------------------------------------------------- Call for In-Use Track Papers -------------------------------------------------------------- Quality shared resources such as public ontologies, datasets and software are highly valuable to the research community, hence, JIST 2017 in-use track also calls for submissions of public, shared resources of interest to the Semantic Web community. Topics of interest include, but are not limited to: - Description of an implemented application - Description of concrete problems - Analysis and evaluation of semantic tools - Lessons learned and best practices - Linked Data, open data and vocabularies in production use - Semantic resources - Semantic technology in new application domains -------------------------------------------------------------- Call for Special Track Papers -------------------------------------------------------------- The philosophy behind Special Tracks is to facilitate the proactive participation of researchers from certain fields or communities who have linked the semantic technology with their research fields. Special Tracks accept 8-page short papers that will be reviewed in the same way as the Research Track papers and will be included in the Proceedings if accepted. In JIST 2017, we have two special tracks. Special Track on Energy-awareness & Semantic Technologies: As semantic technologies gain momentum, their impact on resources and society increases. Energy-consumption is one of the main challenges of 21st century. The potential contribution of semantic technologies towards this problem is twofold. On the one hand semantic technologies can assist in energy management as they are often the core of context-aware, self-adaptive applications. For instance, ontologies are used to integrate heterogeneous sources such as sensors or reasoners are employed in grid management applications. On the other hand, the efficiency of semantic technologies is still mainly assessed by running times. While computational and cognitive complexity are investigated, work on their energy-consumption is still in its infancy. However, assessing and managing their energy-consumption is a vital prerequisite for for their usefulness on mobile devices, for instance. The special track calls for contributions regarding, but not limited to: - energy-adaptive semantic technologies - measurement frameworks for energy consumption of semantic technologies - application of semantic technologies for energy management - ontologies for energy management - semantic technologies for power or grid management Special Track on Semantic Processing for Knowledge Graphs: Semantic technologies such as Linked Data promote publication of various data and knowledge on the web with semantic links among them. They form huge sized knowledge bases called Knowledge Graphs in a large variety of domains. An important technical feature of Knowledge Graphs is their rich semantics. This special track focuses on semantics of Knowledge Graphs, especially on how to use their semantics towards practical applications. Topics of interest include but are not limited to: - Semantic processing and reasoning for Knowledge Graph - Application using semantics of Knowledge Graph - Modelling of semantics for Knowledge Graph - Development of Knowledge Graph (Ontology, Linked Data) -------------------------------------------------------------- Call for Poster & Demo Papers -------------------------------------------------------------- JIST 2017 cordially invites you to submit Poster and Demo papers. For details please check our website: http://www.ict.griffith.edu.au/aist/jist2017 ============================================================= 4. Submission Submissions to JIST 2017 should describe original, significant research on semantic technologies. JIST 2017 will not accept submissions that are under review for or have already been published in or accepted for publication in a journal or another conference. Submissions to JIST 2017 are expected to present their claimed contribution, with clear evidence to support their claims. All submissions will be critically reviewed by at least three members of the program committee. To assess submissions, reviewers will judge their relevance to semantic technologies, their originality, the technical soundness of their proposed approach and the readability of the submission. JIST 2017 submissions are not anonymous. Submissions must be in PDF format, using the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). Submissions must be no longer than *16* pages for the Research and In-Use Tracks, and no longer than *8* pages for the Special Tracks. Submissions that exceed these limits may be rejected without review. Submissions to the In-Use Track that are less than 16 pages can be considered. Accepted papers will be published in an LNCS proceedings. At least one author of each accepted paper must register for the conference and present the paper there. Papers can be submitted electronically via https://easychair.org/conferences/?conf=jist2017. Please select the corresponding tracks when you submit your paper(s). ============================================================= 5. Organization General Chairs - Thepchai Supnithi, National Electronics and Computer Technology Center, Thailand - Kewen Wang, Griffith University, Australia Program Chairs - Anni-Yasmin Turhan, Dresden University of Technology, Germany - Zhe Wang, Griffith University, Australia Organized by: JIST Steering Committee Program Committee: Fernando Bobillo, University of Zaragoza, Spain Chantana Chantrapornchai, Kasetsart University, Thailand Huajun Chen, Zhejiang University, China Gong Cheng, Nanjing University, China Stefan Dietze, L3S Research Center, Germany Dejing Dou, University of Oregon, USA Jianfeng Du, Guangdong University of Foreign Studies, China Alessandro Faraotti, IBM, Italy Zhiyong Feng, Tianjin University, China Marcelo Finger, Universidade de Sao Paulo, Brazil Naoki Fukuta, Shizuoka University, Japan Volker Haarslev, Concordia University, Canada Armin Haller, Australian National University, Australia Wei Hu, Nanjing University, China Eero Hyvönen, Aalto University, Finland Ryutaro Ichise, National Institute of Informatics, Japan Ernesto Jimenez-Ruiz, University of Oxford, UK Takahiro Kawamura, Japan Science and Technology Agency, Japan Evgeny Kharlamov, University of Oxford, UK Martin Kollingbaum, University of Aberdeen, UK Kouji Kozaki, Osaka University, Japan Adila A. Krisnadhi, Wright State University & Universitas Indonesia, Indonesia Michael John Lawley, CSIRO Australian E-Health Research Centre, Australia Yuan-Fang Li, Monash University, Australia Juanzi Li, Tsinghua University, China Yuefeng Li, Queensland University of Technology, Australia Wei Liu, The University of Western Australia, Australia Yinglong Ma, North China Electric Power University, China Yue Ma, Université Paris Sud, France Theofilos Mailis, National Technical University of Athens, Greece Maria Vanina Martinez, Universidad Nacional del Sur in Bahia Blanca, Argentina Eduardo Mena, University of Zaragoza, Spain Riichiro Mizoguchi, Japan Advanced Institute of Science and Technology, Japan Trina Myers, James Cook University, Australia Jeff Z. Pan, University of Aberdeen, UK Guilin Qi, Southeast University, China Edelweis Rohrer, Universidad de la República, Uruguay Tong Ruan, ECUST, China Jun Shen, University of Wollongong, Australia Sa-Kwang Song, KISTI, Korea Giorgos Stoilos, Athens University of Economics and Business, Greece Umberto Straccia, ISTI-CNR, Italy Jing Sun, The University of Auckland, New Zealand Kerry Taylor, Australian Bureau of Statistics & Australian National University, Australia Anni-Yasmin Turhan, Dresden University of Technology, Germany Zhe Wang, Griffith University, Australia Xin Wang, Tianjin University, China Haofen Wang, Shenzhen Gowild Robotics Co. Ltd, China Shenghui Wang, OCLC Research, Netherlands Guohui Xiao, Free University of Bozen-Bolzano, Italy Bin Xu, Tsinghua University, China Xiaowang Zhang, Tianjin University, China Amal Zouaq, University of Ottawa, Canada From icores at insticc.info Fri Jul 28 16:22:20 2017 From: icores at insticc.info (icores at insticc.info) Date: 28 Jul 2017 15:22:20 +0100 Subject: CFP ICORES 2018 - 7th Int.l Conf. on Operations Research and Enterprise Systems (Funchal, Madeira/Portugal) Message-ID: <20170728142222.18543.6C4E93F4FA63562E@insticc.info> SUBMISSION DEADLINE 7th International Conference on Operations Research and Enterprise Systems Submission Deadline: July 31, 2017 http://www.icores.org/ January 24 - 26, 2018 Funchal, Madeira, Portugal. ICORES is organized in 2 major tracks: - Methodologies and Technologies - Applications In Cooperation with EurAgEng. With the presence of internationally distinguished keynote speakers: Aharon Ben-Tal, Technion, Israel Institute of Technology, Israel Aaron Burciaga, Accenture, United States Abdelkader Sbihi, EM Normandie, France A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICORES Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 100 033 Fax: +351 265 520 186 Web: http://www.icores.org/ e-mail: icores.secretariat at insticc.org From jj at udc.es Sat Jul 29 00:54:37 2017 From: jj at udc.es (Juan =?utf-8?Q?Jes=C3=BAs?= Romero Cardalda) Date: Sat, 29 Jul 2017 00:54:37 +0200 (CEST) Subject: CFP. Evomusart 2018. International Conference on Computational Intelligence in Music, Sound, Art and Design In-Reply-To: <1443639114.10174624.1501282355417.JavaMail.zimbra@udc.es> References: <1387966128.9529076.1500932222334.JavaMail.zimbra@udc.es> <1446339417.9825469.1501116653451.JavaMail.zimbra@udc.es> <549059452.9825483.1501116691075.JavaMail.zimbra@udc.es> <1886311857.10174291.1501281877306.JavaMail.zimbra@udc.es> <1192941695.10174323.1501281984394.JavaMail.zimbra@udc.es> <996774833.10174332.1501282018441.JavaMail.zimbra@udc.es> <2068410070.10174578.1501282214680.JavaMail.zimbra@udc.es> <1443639114.10174624.1501282355417.JavaMail.zimbra@udc.es> Message-ID: <1704271588.10174657.1501282477628.JavaMail.zimbra@udc.es> Please distribute (Apologies for multiple posting) ------------------------------------------------ Call for papers for the 7th EVOMUSART conference ------------------------------------------------ The 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Parma in 4-6 April 2018, 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: 1 November 2017 Notification to authors: 3 January 2018 Camera-ready deadline: 15 January 2018 Evo*: 4-6 April 2018 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/evomusart18/ (which should be online soon). The deadline for submission is 1 November 2017, and acceptance notification on 3 January 2018. 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. Topics of interest include, but are not limited to: Generation: * 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. * Robotic-Based Evolutionary Art and Music; * Other related artificial intelligence or generative techniques in the fields of Computer Music, Computer Art, etc.; Theory: * Computational Aesthetics, Experimental Aesthetics; Emotional Response, Surprise, Novelty; * Representation techniques; * Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; * Validation methodologies; * Studies on the applicability of these techniques to related areas; * New models designed to promote the creative potential of biologically inspired computation; Computer Aided Creativity and computational creativity: * Systems in which computational intelligence is used to promote the creativity of a human user; * New ways of integrating the user in the evolutionary cycle; * Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artefacts; * Collaborative distributed artificial art environments; Automation: * Techniques for automatic fitness assignment * Systems in which an analysis or interpretation of the artworks is used in conjunction with computational intelligence techniques to produce novel objects; * Systems that resort to computational intelligence approaches to perform the analysis of image, music, sound, sculpture, or some other types of artistic object or resource. More information on the submission process of evoMUSART 2018 can be found at http://www.evostar.org/2018/cfp_evomusart.php Past Evomusart papers can be found http://evomusart-index.dei.uc.pt/ We look forward to seeing you in Parma in 2018! The evoMUSART 2018 organisers From grlmc at grlmc.com Sat Jul 29 20:37:02 2017 From: grlmc at grlmc.com (GRLMC) Date: Sat, 29 Jul 2017 20:37:02 +0200 Subject: SLSP 2017: call for posters Message-ID: <545102060a010b00065f590b04055a53065053580608525906520150020000555550060f050d525002520757030404@grlmc_ip-zone_com-6> SLSP 2017: 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 Statistical Language and Speech Processing (SLSP 2017) invites researchers to submit poster presentations. SLSP 2017 will be held in Le Mans (France) on October 23-25, 2017. See  http://grammars.grlmc.com/SLSP2017/ 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 statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 16, 2017 Notification of poster acceptance or rejection: September 23, 2017 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2017 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/LNAI proceedings volume of SLSP 2017. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2015 impact factor: 1.324). REGISTRATION At least one author of each accepted poster must register to the conference by October 9, 2017. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, coffee breaks, 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 complexis at insticc.info Mon Jul 31 17:15:35 2017 From: complexis at insticc.info (complexis at insticc.info) Date: 31 Jul 2017 16:15:35 +0100 Subject: CFP COMPLEXIS 2018 - 3rd Int.l Conf. on Complexity, Future Information Systems and Risk (Funchal, Madeira/Portugal) Message-ID: <20170731151536.14889.602B86EC43DE19D7@insticc.info> SUBMISSION DEADLINE 3rd International Conference on Complexity, Future Information Systems and Risk Submission Deadline: October 16, 2017 http://www.complexis.org/ March 20 - 21, 2018 Funchal, Madeira, Portugal. COMPLEXIS is organized in 7 major tracks: - Complexity in Informatics, Automation and Networking - Complexity in Biology and Biomedical Engineering - Complexity in Social Sciences - Complexity in Computational Intelligence and Future Information Systems - Complexity in EDA, Embedded Systems, and Computer Architecture - Network Complexity - Complexity in Risk and Predictive Modeling In Cooperation with IFSR, EATCS. With the presence of internationally distinguished keynote speakers: Ernesto Estrada, University of Strathclyde, United Kingdom A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, COMPLEXIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.complexis.org/ e-mail: complexis.secretariat at insticc.org From iceis at insticc.info Mon Jul 31 17:54:14 2017 From: iceis at insticc.info (iceis at insticc.info) Date: 31 Jul 2017 16:54:14 +0100 Subject: CFP ICEIS 2018 - 20th Int.l Conf. on Enterprise Information Systems (Funchal, Madeira/Portugal) Message-ID: <20170731155415.15940.3A1115C41F953ECA@insticc.info> SUBMISSION DEADLINE 20th International Conference on Enterprise Information Systems Submission Deadline: October 18, 2017 http://www.iceis.org/ March 21 - 24, 2018 Funchal, Madeira, Portugal. ICEIS is organized in 6 major tracks: - Databases and Information Systems Integration - Artificial Intelligence and Decision Support Systems - Information Systems Analysis and Specification - Software Agents and Internet Computing - Human-Computer Interaction - Enterprise Architecture In Cooperation with SWIM, AAAI. With the presence of internationally distinguished keynote speakers: Alexander Brodsky, George Mason University, United States Plamen Angelov, Lancaster University, United Kingdom A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICEIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.iceis.org/ e-mail: iceis.secretariat at insticc.org