From geoff at cs.miami.edu Thu Jun 1 15:02:51 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 1 Jun 2017 09:02:51 -0400 (EDT) Subject: TABLEAUX/FroCoS/ITP - Call for Posters Message-ID: <20170601130251.2C868121486@mcclellan.cs.miami.edu> TABLEAUX/FroCoS/ITP 25-29 SEPTEMBER 2017 BRASILIA BRASIL **Call for Posters** TABLEAUX/FroCoS/ITP 2017 will have a poster session, which is intended for descriptions of works in progress, student projects and relevant research being published elsewhere. Submissions should be in English, in the form of at most one page abstract, ENTCS format containing title and authors name with affiliation. The files should be sent directly to Elaine Pimentel (elaine.pimentel at gmail.com). The deadline for posters submission is June 15, 2017. The notification will be sent to authors June 30th. Proceedings of this session will not be published. Formatting instructions for posters will be made available soon. For more information please contact the local organizers: Elaine Pimentel (elaine.pimentel at gmail.com) Daniele Nantes (daniele.nantes at gmail.com) http://tableaux2017.cic.unb.br http://frocos2017.cic.unb.br http://itp2017.cic.unb.br From danieleporello at gmail.com Thu Jun 1 17:10:54 2017 From: danieleporello at gmail.com (Daniele Porello) Date: Thu, 1 Jun 2017 17:10:54 +0200 Subject: Call for Papers - WOMOCOE 2017@ISWC Workshop on Ontology Modularity, Contextuality, and Evolution, Vienna (Austria) Message-ID: =============================================================== 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. --------------------------------------------------------------- IMPORTANT DATES (tentative): Abstracts deadline: 17 July 2017 Paper deadline: 21 July 2017 Notification: 24 August 2017 Camera ready: 14 September 2017 Workshop dates: 21 or 22 October 2017 (date TBA) --------------------------------------------------------------- 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 =============================================================== -- Daniele Porello http://www.danieleporello.net Facoltà di Scienze e Tecnologie Informatiche Libera Università di Bolzano, Piazza Domenicani 3, 39100, Bolzano -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From danieleporello at gmail.com Thu Jun 1 17:50:39 2017 From: danieleporello at gmail.com (Daniele Porello) Date: Thu, 1 Jun 2017 17:50:39 +0200 Subject: =?UTF-8?Q?Call_for_Papers=3A_First_Workshop_on_EPISTEMOLOGY_IN_O?= =?UTF-8?Q?NTOLOGIES_=E2=80=94_EPINON_2017?= Message-ID: Call for Papers First Workshop on EPISTEMOLOGY IN ONTOLOGIES — EPINON 2017 Epistemological Foundations of Ontologies and Ontologies of Epistemology. Bolzano, 21st — 23th September 2017. Webpage: http://www.loa.istc.cnr.it/workshops/epinon2017/home.html Part of The Joint Ontology Workshops, Episode III, JOWO 2017 ( http://www.iaoa.org/jowo/JOWO-2017/) DESCRIPTION: Formal ontologies and knowledge representation mainly focus on characterising how a given domain is structured, i.e., they identify a set of concepts, entities, and relations together with the constraints that hold for this domain. The structure of the characterisation is usually intended to reflect the point of view of significant experts or a realist view of how things about a particular domain are. The aim of this workshop is to explore an epistemological stance in formal ontology and knowledge representation and focus on the assessment of the modelling provided by the ontology designer. In particular, we are interested in fostering the discussion about two intertwined research directions: (1) EPISTEMOLOGY OF ONTOLOGY. We are interested in promoting discussions about the epistemological foundations of formal ontologies and of knowledge representation. A number of timely important problems are related to this point, for instance: the investigations of cognitively adequate ontological representations, the investigations on the provenance of data, the problem of the reliability of the source of information (both human and artificial, e.g. sensors), the problem of the epistemic reliability of the classification provided by ontology users, the problem of finding epistemically and cognitively well-founded rationales for the integration of ontological representations withother representational formats (e.g. deep neural networks, vector space models etc.). (2) ONTOLOGY OF EPISTEMOLOGY. We are interested in formal and ontological approaches to the definitions of the concepts that are relevant to the assessment of the perspective of the ontology designer. Problems related to this direction include: ontology of general epistemological concepts (e.g. proof, argument, explanation, epistemic reliability, trust), ontology of cognitive concepts (perception, reasoning, sensations), ontology of data and measurements. AUDIENCE: We aim to address to an interdisciplinary audience, by inviting scholars in philosophy, computer science, logic, conceptual modelling, knowledge representation, and cognitive science to contribute to the discussion. TOPICS of interest include but are not restricted to: Epistemological Foundation of Ontologies: - Cognitive foundations of ontologies (e.g. connection with conceptual spaces, diagrammatic representations, mental models, prototypes, image schemas, scripts etc.). - Logical foundations of ontologies (non-classical logics in ontologies). - Empirical foundations of ontologies: ontologies driven from observations, measurements, tests, and in general from data acquired using empirical procedures - Representation of different perspectives on the same domain: contexts, granularity, resolution, ontological levels. - Quantitative approaches/analyses, probabilities, uncertainty, and ontologies. - Neural networks and ontological modelling. - Integration of ontologies with different formats and levels of representation (e.g. neuralsymbolic integration) - Inductive reasoning in ontologies. - Ontological Extensions of Cognitive Architectures Ontological Foundation of Epistemology: - Ontology of propositional attitudes (Knowledge, Belief, etc.) - Ontology of cognitive theories (e.g. conceptual spaces, image schemas, patterns, prototypes) - Ontology of data, observations, and sensors (provenance, trust, quality, reliability) - Ontological approaches to sensor data analysis and data elaboration - Ontology of truth-makers INVITED SPEAKERS: TBA SUBMISSION GUIDELINES. We welcome two types of submissions: - RESEARCH ARTICLES (8-14 pages) for presenting original unpublished work, not submitted to nor accepted for any other venue. - EXTENDED ABSTRACTS (2-4 pages) for presenting brief descriptions of ongoing research and projects, preliminary approaches, or descriptions of related previously published research. Submission should be uploaded via Easy Chair link : TBA, Please select the track EPINON. SUBMISSION TEMPLATE. Submitted papers must not exceed 14 pages (including the bibliography) and must include an abstract of no more than 300 words. Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ Papers should be uploaded via Easy Chair following this link (select the track "Epistemology in Ontologies"). PUBLICATION. Articles and abstracts will be published by CEUR workshop proceedings. (For the previous editions of the JOWO proceedings, see http://www.iaoa.org/jowo/JOWO-2017/) IMPORTANT DATES: July 17, 2017 - Submission of contributions to workshops September 1, 2017 - Workshop paper acceptance notification September 15, 2017 - Deadline for final camera ready copy. September 21, 22, and 23 - JOWO. CONFERENCE VENUE: Free University of Bozen-Bolzano. CONTACT: epinon2017 at gmail.com PROGRAM COMMITEE: John Bateman – University of Bremen, Germany. Francesco Berto – University of Amsterdam, Netherlands. Tarek Richard Besold – University of Bremen, Germany. Massimiliano Carrara – University of Padua, Italy. Fabrice Correia – University of Neuchâtel, Switzerland. Roberta Ferrario – Institute of Cognitive Sciences and Technologies (ISTC-CNR), Trento, Italy. Marcello Frixione – University of Genoa, Italy. Alessandro Giordani – Catholic University of the Sacred Heart, Milan, Italy. Davide Grossi – University of Liverpool, UK. Giancarlo Guizzardi – Free University of Bolzano-Bozen, Italy. Maria Hedblom – Magdeburg University, Germany. Heinrich Herre – University of Leipzig, Germany. Gilles Kassel – Université de Picardie - Jules Vernes, France. Adila Alfa Krisnadhi – Universitas Indonesia. Emiliano Lorini – Institut de Recherche en Informatique de Toulouse (IRIT-CNRS), France. Kevin Mulligan – University of Geneva, Switzerland. Alessandro Oltramari – Bosch Research and Technology Center, Pittsburgh, USA. Rafael Peñaloza – Free University of Bolzano-Bozen, Italy. Simon Scheider – Utrecht University, Netherlands. Nicolas Troquard – Free University of Bolzano-Bozen, Italy. Tuomas Tahko – University of Helsinki, Finland. Laure Vieu – Institut de Recherche en Informatique de Toulouse (IRIT-CNRS), France. ORGANIZING COMMITTEE: Daniele Porello, Free University of Bolzano-Bozen, Antonio Lieto, University of Turin. Claudio Masolo, ISTC-CNR. -- Daniele Porello http://www.danieleporello.net Facoltà di Scienze e Tecnologie Informatiche Libera Università di Bolzano, Piazza Domenicani 3, 39100, Bolzano -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Fri Jun 2 10:17:21 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Fri, 2 Jun 2017 10:17:21 +0200 Subject: IAOA Summer Institute on Upper Ontologies: Call for Participation (Aug 8-11, 2017, Toronto, Canada) Message-ID: <201706020817.v528HR1Z000090@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 http://ontologforum.org/index.php/SummerInstitute2017 Programme: 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 Facilitators Nicola Guarino (Institute of Cognitive Sciences and Technologies) Barry Smith (University at Buffalo) Michael Gruninger (University of Toronto) 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. The registration fee will be 500 CAD (350 Euros). A limited number travel and attendance grants are available for students. Registration page: http://www.mie.utoronto.ca/events/iaoa-summer-institute-2017/ Contact: Michael Gruninger http://stl.mie.utoronto.ca/gruninger.html From dilian at csc.kth.se Fri Jun 2 11:17:54 2017 From: dilian at csc.kth.se (Dilian Gurov) Date: Fri, 2 Jun 2017 11:17:54 +0200 Subject: Logic Colloquium 2017: Call for Registration and Participation In-Reply-To: <3de8de5e-b606-a496-bec3-f69f9342cc2b@csc.kth.se> References: <3de8de5e-b606-a496-bec3-f69f9342cc2b@csc.kth.se> Message-ID: <5584edc5-303c-35f8-e5e4-07315c9ddfd6@csc.kth.se> ================================================== Logic Colloquium 2017: Call for Registration and Participation August 14-20, 2017, Stockholm, Sweden https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ** Deadline for early registration: June 9, 2017 ** ================================================== The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017, at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology. LC2017 will be co-located with several other logic-related events, all taking place at Stockholm University: - the 3rd Nordic Logic Summer School, NLS2017, August 7-11 - the 26th EACSL Annual Conference on Computer Science Logic, CSL2017, August 20-24 - Workshop on Logic and Algorithms in Computational Linguistics 2017, LACompLing2017, August 16-19 - Workshop on Logical Aspects of Multi-Agent Systems, LAMAS2017, August 25 - Workshop on Logic and Automata Theory in memory of Zoltan Esik, August 25 There will be a joint session of CSL2017 and LC2017 in the morning of August 20. Further information about all events can be found at: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 INVITED SPEAKERS ============= Plenary speakers: --------- - David Aspero (University of East Anglia) - Alessandro Berarducci (Pisa) - Elisabeth Bouscaren (Paris 11) - Christina Brech (Sao Paolo) - Sakae Fuchino (Kobe University) - Denis Hirschfeldt (University of Chicago) - Wilfrid Hodges (British Academy, UK) - Emil Jerabek (Prague) - Per Martin-Löf (Stockholm University) - Dag Prawitz (Stockholm University) - Sonja Smets (University of Amsterdam) Tutorial speakers: --------- - Patricia Bouyer-Decitre (LSV ENS Cachan) - Mai Gehrke (Paris 7) LC-CSL joint session highlight speakers: -------------------- - Veronica Becher (University of Buenos Aires) - Pierre Simon (UC Berkeley) - Phokion Kolaitis (University of California Santa Cruz and IBM Research - Almaden) - Wolfgang Thomas (RWTH Aachen) Schoenfield Lecture: speaker TBA Special session invited speakers: listed below. SPECIAL SESSIONS ============= *Category theory and type theory in honour of Per Martin-Löf on his 75th birthday* ----------------------------------------- Dates: August 17-19, 2017 Speakers: ------ - Thierry Coquand (Göteborg University) - Richard Garner (Macquarie University, Sidney) - André Joyal (University of Quebec, Montreal) - Vladimir Voevodsky (Institute of Advanced Study, Princeton) *Computability* -------- Organizers: Verónica Becher and Denis Hirschfeldt Speakers: ----- - Emmanuel Jeandel (University of Lorraine, France) - Klaus Meer (Brandenburg University of Technology, Cottbus-Senftenberg, Germany) - Arno Pauly (Clare college, Cambridge University) - Theodore Slaman (University of California, Berkeley) - Mariya Soskova (Sofia University, Bulgaria) - Keita Yokoyama (University of California, Berkeley) *History of Logic* -------- Organiser: Valentin Goranko Speakers: ----- - Wilfrid Hodges (British Academy, UK) - Peter Øhrstrøm (Aalborg University, Denmark) - Jan von Plato (University of Helsinki, Finland) *Model Theory* -------- Organizers: Alessandro Berarducci, Elisabeth Bouscaren and Pierre Simon Speakers: ----- - Martin Bays (University of Münster) - Zaniar Ghadernezhad (University of Freiburg) - Tomás Ibarlucía (University of Paris Diderot (Paris 7)) - Franziska Jahnke (University of Münster) - Vincenzo Mantova (University of Leeds) - Rizos Sklinos (Université Claude Bernard, Lyon) *Philosophical Logic* ----------- Organizer: Mirna Dzamonja Speakers: ----- - Michele Friend (Gerorge Washington University) - Juliette Kennedy (Helsinki University) - Benedikt Loewe (University of Amsterdam and Hamburg) - Sara Negri (Helsinki University) - Davide Rizza (University of East Anglia) - Giambattista Formica (Pontifical Urbaniana University, Rome) *Proof Theory* -------- Organizers: Jan von Plato and Andreas Weiermann Speakers: ----- - Fernando Ferreira (University of Lisbon) - Anton Freund (University of Leeds) - Annika Kanckos (University of Helsinki) - Kentaro Sato (University of Bern) - Anton Setzer (Swansea University) - Silvia Steila (University of Bern) *Set Theory* -------- Organizers: Christina Brech and Assaf Rinot Speakers: ----- - William Chen (Ben Gurion University, Israel) - Brent Cody (Virginia Commonwealth University, USA) - Ashutosh Kumar (Hebrew University, Jerusalem) - Giorgio Laguzzi (Freiburg University) - Yann Pequignot (University of California, Los Angeles) - Sandra Uhlenbrock (University of Vienna, Austria) CONTRIBUTED TALKS: ------------ The call for submissions is already closed. There will be about 140 contributed talks, given in 6 parallel sessions. SOCIAL PROGRAMME: ----------- The social programme of LC 2017 will include a reception at Stockholm City Hall on August 14, a boat trip excursion on August 16, and a conference dinner on August 17. REGISTRATION ---------------------- The early registration fee, for students and participants from developing countries, is 1400 SEK including VAT (approx. 140 Euros) per participant, and includes coffee breaks and conference materials. For all others, the early registration fee is 2000 SEK including VAT. Late registration is 2800 SEK for regular fee participants, and 2000 SEK for reduced fee participants. Note: 500 SEK fee deduction when registering for CSL2017 at the same time. The registration fee does not cover accommodation, but there will be special offers at hostels and hotels (in the range 700 -1200 SEK per night for single rooms) available. Link for the registration page: https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2/logic-in-stockholm-2017-august-7-25-1.718739 IMPORTANT DATES -------------------------------------------------------- Main event: August 14-19, 2017 Joint session with CSL2017: August 20, 2017 Early registration deadline: June 9, 2017 Late registration deadline: August 1, 2017 -------------------------------------------------------- PROGRAMME COMMITTEE ------------------- - Rod Downey (University of Wellington) - Mirna Dzamonja (PC chair, University of East Anglia) - Ali Enayat (University of Gothenburg) - Fernando Ferreira (University of Lisbon) - Valentin Goranko (Stockholm University) - Martin Hils (University of Münster) - Sara Negri (University of Helsinki) - Assaf Rinot (Bar-Ilan University) - Igor Walukiewicz (University of Bordeaux) LOCAL ORGANISING COMMITTEE -------------------- - Stefan Buijsman, Department of Philosophy, Stockholm University - Mads Dam, Department of Theoretical Computer Science, KTH - Jacopo Emmenegger, Department of Mathematics, Stockholm University - Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University - Dilian Gurov, Department of Theoretical Computer Science, KTH - Sven-Ove Hansson, Department of Philosophy, KTH Royal Institute of Technology - Eric Johannesson, Department of Philosophy, Stockholm University - Vera Koponen, Department of Mathematics, Uppsala University - Johan Lindberg, Department of Mathematics, Stockholm University - Roussanka Loukanova, Department of Mathematics, Stockholm University - Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University - Anders Lundstedt, Department of Philosophy, Stockholm University - Karl Nygren, Department of Philosophy, Stockholm University - Peter Pagin, Department of Philosophy, Stockholm University - Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University - Dag Westerståhl, Department of Philosophy, Stockholm University CONTACTS AND ENQUIRIES -------------------- For enquiries on scientific and programme issues, send email to: Mirna Dzamonja (M.Dzamonja at uea.ac.uk) For enquiries on organising matters, send email to: lc2017 at philosophy.su.se SPONSORS ----------------- Association for Symbolic Logic Stockholm University The GS Magnusson Foundation Prover Technology Stockholm City Hall From jpg at ruc.dk Fri Jun 2 12:05:42 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 2 Jun 2017 10:05:42 +0000 Subject: LOPSTR 2017: 2nd Call for Papers Message-ID: Please distribute, apologies for multiple postings. ] ==================================================================== LOPSTR 2017: 2nd Call for Papers ==================================================================== 27th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2017 https://www.sci.unich.it/lopstr17/ University of Namur, Namur, Belgium October 10 – 12, 2017 (co-located with PPDP 2017) ==================================================================== DEADLINES: Abstract submission: June 6, 2017 Paper/Extended abstract submission: June 13, 2017 ==================================================================== INVITED SPEAKERS: to be announced ==================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017) will be held at the University of Namur, Belgium; previous symposia were held in Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2017 will be co-located with PPDP 2017 (International Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: Jun 6, 2017 Paper/Extended abstract submission: Jun 13, 2017 Notification: July 25, 2017 Camera-ready (for electronic pre-proceedings): tba, 2017 Symposium: October 10-12, 2017 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact authors email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2017: [http://www.easychair.org/conferences/?conf=lopstr2017] (can be accessed also through the LOPSTR 2017 web site). Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Roberto Bagnara, University of Parma and BUGSENG, Italy Sabine Broda, University of Porto, Portugal Henning Christiansen, Roskilde University, Denmark Emanuele De Angelis, University of Chieti-Pescara, Italy Daniel De Schreye, KU Leuven, Belgium Maribel Fernandez, King's College London, UK Laurent Fribourg, CNRS, ENS Paris-Saclay, France Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arie Gurfinkel, University of Waterloo, Canada Geoff Hamilton, Dublin City University, Ireland Gerda Janssens, KU Leuven, Belgium Bishoksan Kafle, University of Melbourne, Australia Andy King, University of Kent, UK Jacopo Mauro, University of Oslo, Norway Jose F. Morales, IMDEA Software Institute, Spain Jorge A. Navas, SRI International, USA Corneliu Popeea, CQSE GmbH, Germany Francesca Scozzari, University of Chieti-Pescara, Italy Theresa Swift, NOVALINKS, Universidade Nova de Lisboa, Portugal Alicia Villanueva, Universitat Politècnica de València, Spain Program Chairs Fabio Fioravanti, University of Chieti-Pescara, Italy John Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Spain Organizing Committee Wim Vanhoof (Université de Namur, Namur, Belgium, Local Organizer) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming From manuel.hermenegildo at imdea.org Sun Jun 4 00:57:11 2017 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Sun, 4 Jun 2017 00:57:11 +0200 Subject: 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11) Message-ID: <22835.16071.934239.825783@gargle.gargle.HOWL> (Apologies for multiple postings) ------------------------------------------------------------------- CALL FOR PAPERS 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with CADE 2017 August 7, 2017 - Gothenburg, Sweden *** Submission dealine: June 11, 2017 *** ------------------------------------------------------------------- Web site: http://software.imdea.org/Conferences/hcvs17 Invited speakers: - Christoph Weidenbach, Max-Planck-Institut fuer Informatik - Arie Gurfinkel, University of Waterloo Deadlines: - Paper submission: June 11, 2017 - Paper notification: July 3, 2017 - Workshop: August 7, 2017 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows three previous meetings: HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. PC Chairs: - Alberto Griggio (Fondazione Bruno Kessler) - Manuel V. Hermenegildo (IMDEA Software Institute and T.U. Madrid) Program Committee: - Nikolaj Bjorner (Microsoft Research) - Mats Carlsson (SICS) - Grigory Fedyukovich (University of Washington) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University) - Pierre Ganty (IMDEA Software Institute) - Gopal Gupta (U.T. Dallas) - Michael Leuschel (University of Duesseldorf) - Pedro Lopez-Garcia (CSIC) - David Monniaux (University of Grenoble) - Jorge A. Navas (SRI International) - Maurizio Proietti (IASI-CNR) - Philipp Ruemmer (Uppsala University) - Andrey Rybalchenko (Microsoft Research) - Valerio Senni (ALES - UTRC) Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2017. -- ------------------------------------------------------------------------- Manuel Hermenegildo manuel.hermenegildo at imdea.org ------------------------------------------------------------------------- From stefano.borgo at cnr.it Sun Jun 4 10:54:18 2017 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Sun, 4 Jun 2017 10:54:18 +0200 Subject: 1st CFP: SHAPES 4.0 - The Shape of Things @ JOWO 2017 In-Reply-To: <6D29C1D6-369A-48FE-B4B9-741275DE7F7B@unibz.it> References: <6D29C1D6-369A-48FE-B4B9-741275DE7F7B@unibz.it> Message-ID: -- 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/ *** Submission deadline: July 17 *** *** 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 grlmc at grlmc.com Sun Jun 4 18:41:24 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 04 Jun 2017 18:41:24 +0200 Subject: SLSP 2017: extended deadline June 18 Message-ID: <545102060a010b00045056050e025a535753545703075458025508090107005950515103015b010a010203540e5700@grlmc_ip-zone_com-6> SLSP 2017: extended deadline June 18*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: June 18 ***** ------------------------------------------------------------------------------   **********************************************************************************   5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2017   Le Mans, France   October 23-25, 2017   Organized by:   Computer Science Lab (LIUM) University of Le Mans   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2017/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be:   Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2017 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Haizhou Li (National University of Singapore), Recent Advances in Singing Synthesis   Bhiksha Raj (Carnegie Mellon University), An Introduction to Neural Networks   Paolo Rosso (Technical University of Valencia), Author Profiling in Social Media: The Impact of Emotions in Discourse Analysis   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Laurent Besacier (Grenoble Informatics Laboratory, FR) Paul Buitelaar (National University of Ireland, Galway, IE) Felix Burkhardt (Telekom Innovation Laboratories, DE) Xavier Carreras (Xerox Research Centre Europe, FR) Francisco Casacuberta (Technical University of Valencia, ES) Ciprian Chelba (Google, US) Eng Siong Chng (Nanyang Technological University, SG) Jennifer Chu-Carroll (Elemental Cognition, US) Doug Downey (Northwestern University, US) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National University of Distance Education, ES) Keikichi Hirose (University of Tokyo, JP) Gerhard Jäger (University of Tübingen, DE) Gareth Jones (Dublin City University, IE) Joseph Keshet (Bar-Ilan University, IL) Tomi Kinnunen (University of Eastern Finland, FI) Lun-Wei Ku (Academia Sinica, TW) Kong Aik Lee (Institute for Infocomm Research, SG) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Suresh Manandhar (University of York, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Ruslan Mitkov (University of Wolverhampton, UK) Marie-Francine Moens (KU Leuven, BE) Seiichi Nakagawa (Toyohashi University of Technology, JP) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Cécile Paris (CSIRO, AU) Fuchun Peng (AISense Inc., US) Pascal Perrier (Grenoble Institute of Technology, FR) Leon Rothkrantz (Delft University of Technology, NL) Horacio Saggion (Pompeu Fabra University, ES) Murat Saraçlar (Boğaziçi University, TR) Holger Schwenk (Facebook, FR) Brad Story (University of Arizona, US) Karin Verspoor (University of Melbourne, AU) Stephan Vogel (Qatar Computing Research Institute, QA) Xiaojun Wan (Peking University, CN) Phil Woodland (University of Cambridge, UK) Chuck Wooters (Semantic Machines, US) François Yvon (LIMSI-CNRS, FR)   ORGANIZING COMMITTEE:   Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans)   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=slsp2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2015 impact factor: 1.324) 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/SLSP2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 18, 2017 – EXTENDED – Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   POSTAL ADDRESS:   SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Université du Maine Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From manuel.hermenegildo at imdea.org Tue Jun 6 10:57:01 2017 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Tue, 6 Jun 2017 10:57:01 +0200 Subject: 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11) Message-ID: <22838.28253.399065.541317@gargle.gargle.HOWL> (Apologies for multiple postings) ------------------------------------------------------------------- CALL FOR PAPERS 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with CADE 2017 August 7, 2017 - Gothenburg, Sweden *** Submission dealine: June 11, 2017 *** ------------------------------------------------------------------- Web site: http://software.imdea.org/Conferences/hcvs17 Invited speakers: - Christoph Weidenbach, Max-Planck-Institut fuer Informatik - Arie Gurfinkel, University of Waterloo Deadlines: - Paper submission: June 11, 2017 - Paper notification: July 3, 2017 - Workshop: August 7, 2017 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows three previous meetings: HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. PC Chairs: - Alberto Griggio (Fondazione Bruno Kessler) - Manuel V. Hermenegildo (IMDEA Software Institute and T.U. Madrid) Program Committee: - Nikolaj Bjorner (Microsoft Research) - Mats Carlsson (SICS) - Grigory Fedyukovich (University of Washington) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University) - Pierre Ganty (IMDEA Software Institute) - Gopal Gupta (U.T. Dallas) - Michael Leuschel (University of Duesseldorf) - Pedro Lopez-Garcia (CSIC) - David Monniaux (University of Grenoble) - Jorge A. Navas (SRI International) - Maurizio Proietti (IASI-CNR) - Philipp Ruemmer (Uppsala University) - Andrey Rybalchenko (Microsoft Research) - Valerio Senni (ALES - UTRC) Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2017. -- ------------------------------------------------------------------------- Manuel Hermenegildo manuel.hermenegildo at imdea.org ------------------------------------------------------------------------- From riccardo.zese at unife.it Wed Jun 7 15:32:47 2017 From: riccardo.zese at unife.it (Riccardo Zese) Date: Wed, 7 Jun 2017 15:32:47 +0200 Subject: CFP: [DEADLINE EXTENSION] PLP 2017 - Probabilistic logic programming 2017 Message-ID: * Please accept our apologies if you receive multiple copies of this call * We have extended the submission deadline for the PLP-2017 Workshop on Probabilistic Logic Programming. Papers are now due June 18. PLP-2017: The Fourth Workshop on Probabilistic Logic Programming ---------------------------------------------------------------- A workshop of the 27th International Conference on Inductive Logic Programming 7 September 2017 Orléans, France http://stoics.org.uk/plp/plp2017/ Deadline for submissions: 18 June 2017 Overview ----- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After three successful editions of this workshop at ICLP 2014 in Vienna, ICLP 2015 in Cork and ILP 2016 in London, the fourth edition of PLP is held at the ILP conference in Orléans. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----- Submissions will be managed via EasyChair. Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ----- Papers due: Sun, 11th June 2017 -> 18th June 2017 (extended) Notification to authors: Tue, 11th July 2017 Camera ready version due: Tue, 25th July 2017 Workshop data: Thu, 7th September 2017 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----- Arjen Hommersom (Open University, The Netherlands) Samer Abdallah (University College London) Programme Committee ----- Christian Theil Have (Copenhagen University, Denmark) [co-chair] Riccardo Zese (University of Ferrara, Italy) [co-chair] Samer Abdallah (University College London) Elena Bellodi (University of Ferrara, Italy) Fabio Cozman (University of Sao Paulo, Brasil) Yoshitaka Kameya (Meijo University, Japan) Matthias Nickles (NUI Galway, Ireland) Aline Paes (Universidade Federal Fluminense, Brazil) Taisuke Sato (NII/SONAR, Japan) Herbert Wiklicky (Imperial College London, UK) Theresa Swift (CENTRIA, Portugal) Senior Committee ----- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Riccardo Zese, PhD ENDIF - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From s.linker at liverpool.ac.uk Wed Jun 7 16:40:05 2017 From: s.linker at liverpool.ac.uk (Sven Linker) Date: Wed, 7 Jun 2017 15:40:05 +0100 Subject: Final Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017 Message-ID: <63c49c4f-869d-a30b-3c70-302497096ec0@liverpool.ac.uk> (Apologies for duplicates) ================================================================== Final Call for Papers ================================================================== Workshop on Formal Verification of Autonomous Vehicles https://sites.google.com/site/fvav2017/ 19th September 2017 University of Turin, Italy (co-located with iFM 2017, http://ifm2017.di.unito.it/) ================================================================== ------------------------------------------------------------------ Important Dates: - Paper Submission: Monday, 18th June 2017 - Notification: Monday, 10th July 2017 - Workshop: Tuesday, 19th September 2017 ------------------------------------------------------------------ Objectives and Scope: Current technology is at reach to develop road vehicles that can act fully autonomously. One of the recognised major difficulties is to make the systems safe, as autonomy requires not only avoidance of misbehaviour but also assurance of availability and reliability. This fact has been acknowledged both within the academic society, in the form of an increasing interest in this topic, and within industry, by generally agreeing that these vehicles adhere to the highest levels of international standards, e.g., SIL3/SIL4 for IEC 61508, and ASIL D for ISO 26262. These levels imply the consideration of various formal methods in the development, including static code analysis, model checking, and formal specification and verification. However, incorporating formal methods into the design of autonomous vehicles presents significant new challenges, particularly due to the complex integration of discrete and continuous controllers. The main challenges associated with the formal design of autonomous vehicles includes modelling, specification, verification and synthesis. The aim of this workshop is to bring together researchers from the formal verification community that are developing formal methods for autonomous vehicles and industrial researchers working, e.g., in the area of control theory or robotics, interested in applying verification techniques for designing and developing of autonomous vehicles. Topics of interest of the workshop include, but are not limited to: * formal models for autonomous systems * languages and logics for specification and verification * interactive and automated theorem proving * model checking * agent programming languages * real-time and hybrid systems * program synthesis * quantitative and probabilistic verification * requirement analysis * verification for learning approaches * run-time verification * applications, implementations and case studies ------------------------------------------------------------------ Submission Guideline: Accepted papers will appear in the conference proceedings published in the Electronic Proceedings in Theoretical Computer Science (EPTCS) and must be prepared according to the EPTCS guidelines for authors (see http://info.eptcs.org/). Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page: https://easychair.org/conferences/?conf=fvav2017 The page limitations mentioned below include all text, figures and references. At least one author of each accepted paper must attend FVAV 2017 to present. There are two categories of papers which can be submitted: regular and short papers. Papers in each category will be reviewed by at least 3 members of the Programme Committee. * *Regular Papers* (up to 15 pages, including references) should present original unpublished results. We welcome theoretical papers, applications of formal methods in industrial practise, system descriptions and case studies within the context of autonomous vehicles. * *Short Papers* (up to 7 pages, including references) may present novel but not necessarily thoroughly worked out ideas, and problem statements. ------------------------------------------------------------------ Invited Speaker: Werner Damm (OFFIS Oldenburg, Germany) (https://www.offis.de/en/offis/person/werner-damm.html) ------------------------------------------------------------------ Organisation: Programme Committee: * Matthias Althoff (Technische Universität München, Germany) * Mikael Asplund (Linköping University, Sweden) * Georgios Fainekos (Arizona State University, US) * Michael Fisher (University of Liverpool, UK) * Christoph Gladisch (Bosch, Germany) * Cornel Izbasa (Opensynergy, Germany) * Owen McAree (Sheffield University, UK) * Helen Monkhouse (Horiba-Mira, UK) * Ernst-Rüdiger Olderog (Carl von Ossietzky University Oldenburg, Germany) * Patrizio Pelliccione (Chalmers University of Technology, Sweden) * S. Ramesh (General Motors, US) * Nick Reed (TRL, UK) * Shinichi Shiraishi (Toyota Info Technology Center, US) Programme Chairs: * Lukas Bulwahn (BMW Car IT GmbH, Germany) * Maryam Kamali (University of Liverpool, UK) * Sven Linker (University of Liverpool, UK) From newsletter at saso-conference.org Thu Jun 8 16:12:55 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Thu, 8 Jun 2017 16:12:55 +0200 Subject: =?utf-8?b?Q2ZEUyBFeHRlbmRlZCBEZWFkbGluZTogU0FTTyAyMDE3IC0gSUVFRSBJ?= =?utf-8?b?bnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU2VsZi1BZGFwdGl2ZSBh?= =?utf-8?b?bmQgU2VsZi1Pcmdhbml6aW5nIFN5c3RlbXMsIFNlcHRlbWJlciAxOC0y?= =?utf-8?b?MiwgVHVjc29uLCBBcml6b25h?= Message-ID: ==== Call For Doctoral Symposium Submissions ==== ==== Extended Deadline ==== Foundations and Applications of Self* Systems (FAS*) is the umbrella for two closely related but independent conferences, the International Conference on Self-Adaptive and Self-Organizing Systems (SASO) and the International Conference on Cloud and Autonomic Computing (ICCAC). The FAS* Doctoral Symposium provides an international forum for PhD students working in research areas addressed by FAS*. In this forum, PhD students will get unique opportunities to subject their research to the scrutiny of external experts, gain experience in the presentation of research, connect to peers and experts addressing similar problems, and get advice from a panel of internationally leading researchers. Different from the technical tracks of the conference, the FAS* Doctoral Symposium focuses on the specific needs of young researchers at the beginning of their career. As such, emphasis will be placed on a critical and constructive feedback that shall help participants to successfully conclude their PhD studies. PhD students working in any area addressed by the FAS* conferences are invited to submit a Doctoral Symposium paper in which they describe the key motivation and objectives of their research project, and reflect on the methodology as well as the current status of their PhD studies. Complementing the thematic focus of FAS*, we particularly solicit contributions in the following areas: - Engineering of self-organizing and self-adaptive systems - Complex cyber-physical and socio-technical systems - Self-* approaches in massive-scale decentralized systems - Application of self-* in robotics and spatial computing - Autonomic and cloud computing - Scalable and applied machine learning / data mining ==== Important Dates ==== Extended submission deadline: June 17, 2017 Extended notifications due: July 8, 2017 Camera-ready copy due: July 12, 2017 Conference date: September 18-22, 2017 ==== Submission Instructions ==== Submissions should have a length of max. two pages (not including references) and be formatted according to the IEEE Computer Society Press proceedings style guide. Authors should submit their papers using the EasyChair installation of the main conference, which is available at: https://easychair.org/conferences/?conf=saso2017 Please note that only single-author submissions are accepted, which focus on the topic of the doctoral work. The name of the supervisor should be clearly marked below the author’s name in the paper. Submissions should further adhere to the following structure: - Motivation: motivate the open problem that you want to address and briefly summarize existing approaches along with their deficiencies. - Objectives: describe the key objectives of your PhD project and argue how achieving them will solve the open problem outlined in the motivation. - Methodology: outline what methodology you will adopt to meet the objectives of your project. Clearly state on what existing works your work will build. - Research Plan: describe what preliminary results – if any – you have already achieved and summarize your plans for future work. Please add a rough schedule that allows to judge whether your research plan is feasible. Authors of accepted papers shall prepare a final, camera ready version of the paper, taking into account all feedback from reviewers, and formatted according to the IEEE Computer Society Press proceedings style guide. Doctoral Symposium papers will be advertised in the final program, and will be submitted to IEEE Xplore as part of the SASO proceedings. Papers will also be made available in the IEEE Digital Library. ==== Review Process==== Each submission will be reviewed by at least two Doctoral Symposium experts that cover the different areas of interest of the conference. Submissions will be evaluated based on their relevance, the motivation and quality of the proposed research, as well as the suitability of the chosen methodology. Authors of accepted papers will have different opportunities to present their project at the conference. Besides a full presentation during the PhD Symposium session, an “Elevator Pitch Session” will be organized during the main conference, where authors get the chance to briefly showcase their research. In addition, the Best Doctoral Symposium paper will be selected and the award will be presented during the main conference. Finally, selected authors will have the additional chance to present their work via a poster in the poster session of the main conference. ==== Contact Information ==== Any inquiries related to the Doctoral Symposium should be directed to: Jean Botev (jean.botev at uni.lu) https://saso2017.telecom-paristech.fr/committees.html From nataliia.stulova at imdea.org Thu Jun 8 18:24:55 2017 From: nataliia.stulova at imdea.org (Nataliia Stulova) Date: Thu, 08 Jun 2017 18:24:55 +0200 Subject: 2nd Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems Message-ID: [ Please distribute, apologies for multiple postings. ] ************************************************************************ CICLOPS 2017: Second Call for Papers 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems 28th August 2017 Melbourne, Australia https://software.imdea.org/Conferences/CICLOPS2017/ Co-located with ICLP'17, CP'17, and SAT'17. ************************************************************************ Important Dates =============== Abstract Submission: 11 June 2017 Paper Submission: 18 June 2017 Author Notification: 10 July 2017 Camera-ready Copy: 23 July 2017 Dates are intended as Anywhere on Earth. Aims and Scope ============== This workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and other systems based on logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction. Topics include, but are not limited to: * Sequential implementation schemes (abstract machines, translation to other languages, etc.). * Implementation of concurrent and distributed logic and constraint programming systems. * Implementation of type inference and type checking systems for logic and constraint programming languages. * Compile-time analysis and its application to code generation. * Balance between compile-time effort and run-time machinery, dynamic compilation. * Interaction between high-level optimizations / transformations / specialization and low-level issues. * Memory management and garbage collection issues. * Indexing techniques and optimizations for large size programs. * Optimizations for program generated logic and constraint programs. * Implementation of logic engines in functional and object oriented languages. * Embedding of logic and constraint programming engines in multi-paradigm systems. * Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.). * Implementation of theorem provers, proof assistants and logic based natural language processing systems. * Implementation of object and agent-oriented extensions to logic and constraint programming languages. * Object and module systems. * Design and implementation of declarative I/O concepts for logic and constraint programming languages. * Implementations and ports of logic and constraint programming systems for mobile phones and netbooks. * Documenting, debugging, testing, and profiling tools for logic and constraint programming systems. * Novel compilation methods to modern hardware (e.g. GPUs). Workshop Goals ============== Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems. Paper Submissions ================= The workshop will welcome all short papers that are technically sound and on-topic, including contributions to theory, reports of interesting applications, reports of work in progress, experience papers, suggestions for new challenging problems, system descriptions, comparison and discussion papers, and improvements to known results/proofs/implementations. All papers must be written in English and should not exceed 15 pages. We welcome also shorter submissions, e.g., extended abstracts and short papers, of at least 3 pages. For all accepted papers, at least one author is required to attend the workshop and give a presentation of 30 minutes including discussion. Submissions must be made in Springer's LNCS format (https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines) via the page: https://easychair.org/conferences/?conf=ciclops2017. A program committee consisting of members from different research groups in the area will review the submissions on EasyChair. Papers will be reviewed by at least two, and usually three, referees. Proceedings =========== The informal workshop proceedings will be available on-line at the Computing Research Repository after the workshop. An electronic copy will also be distributed during the conference. Program Committee ================= Paul Bone (Mozilla) Mats Carlsson (SICS) Michael Hanus (CAU Kiel) Jose F. Morales (IMDEA Software Institute) - chair Paulo Moura (CRACS & INESC TEC) Joachim Schimpf (Coninfer Ltd) David Schneider (Heinrich Heine University Düsseldorf) Tom Schrijvers (KU Leuven) Nataliia Stulova (IMDEA Software Institute) - chair Theresa Swift (NOVALINKS, Universidade Nova de Lisboa) Tuncay Tekle (Stony Brook University) Jan Wielemaker (VU University Amsterdam) Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center) Contact ======= ciclops2017 at software.imdea.org Organizers ========== Nataliia Stulova Jose F. Morales IMDEA Software Institute, Madrid, Spain From jpg at ruc.dk Fri Jun 9 12:04:33 2017 From: jpg at ruc.dk (John Patrick Gallagher) Date: Fri, 9 Jun 2017 10:04:33 +0000 Subject: LOPSTR 2017: Final Call for Papers - DEADLINE EXTENSION Message-ID: [ Please distribute, apologies for multiple postings. ] ==================================================================== LOPSTR 2017: Final Call for Papers - NOTE DEADLINE EXTENSION ==================================================================== 27th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2017 https://www.sci.unich.it/lopstr17/ University of Namur, Namur, Belgium October 10 – 12, 2017 (co-located with PPDP 2017) ==================================================================== DEADLINES (extended): Abstract submission: June 18, 2017 Paper/Extended abstract submission: June 25, 2017 ==================================================================== INVITED SPEAKERS: to be announced ==================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017) will be held at the University of Namur, Belgium; previous symposia were held in Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester. LOPSTR 2017 will be co-located with PPDP 2017 (International Symposium on Principles and Practice of Declarative Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates (NOTE: EXTENDED DEADLINES FOR SUBMISSION) Abstract submission: Jun 18, 2017 Paper/Extended abstract submission: Jun 25, 2017 Notification: July 25, 2017 Camera-ready (for electronic pre-proceedings): tba, 2017 Symposium: October 10-12, 2017 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact authors email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2017: [http://www.easychair.org/conferences/?conf=lopstr2017] (can be accessed also through the LOPSTR 2017 web site). Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee Roberto Bagnara, University of Parma and BUGSENG, Italy Sabine Broda, University of Porto, Portugal Henning Christiansen, Roskilde University, Denmark Emanuele De Angelis, University of Chieti-Pescara, Italy Daniel De Schreye, KU Leuven, Belgium Maribel Fernandez, King's College London, UK Laurent Fribourg, CNRS, ENS Paris-Saclay, France Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain Arie Gurfinkel, University of Waterloo, Canada Geoff Hamilton, Dublin City University, Ireland Gerda Janssens, KU Leuven, Belgium Bishoksan Kafle, University of Melbourne, Australia Andy King, University of Kent, UK Jacopo Mauro, University of Oslo, Norway Jose F. Morales, IMDEA Software Institute, Spain Jorge A. Navas, SRI International, USA Corneliu Popeea, CQSE GmbH, Germany Francesca Scozzari, University of Chieti-Pescara, Italy Theresa Swift, NOVALINKS, Universidade Nova de Lisboa, Portugal Alicia Villanueva, Universitat Politècnica de València, Spain Program Chairs Fabio Fioravanti, University of Chieti-Pescara, Italy John Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Spain Organizing Committee Wim Vanhoof (Université de Namur, Namur, Belgium, Local Organizer) In cooperation with: The European Association for Theoretical Computer Science The European Association for Programming Languages and Systems The Association for Logic Programming From ianni at mat.unical.it Fri Jun 9 19:34:16 2017 From: ianni at mat.unical.it (Giovambattista Ianni) Date: Fri, 9 Jun 2017 19:34:16 +0200 Subject: 13th Reasoning Web Summer School (RW 2017): PARTICIPATION STILL OPEN Message-ID: <476033f1-c295-15a8-0f03-392694ed4b22@mat.unical.it> ************************************************************ CALL FOR APPLICATIONS - PARTICIPATION TOKENS STILL AVAILABLE The 13th Reasoning Web Summer School (RW 2017) London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 ************************************************************ co-located with: - RuleML+RR: International Joint Conference on Rules and Reasoning London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org - RuleML+RR Doctoral Consortium http://2017.ruleml-rr.org/doctoral-consortium/ - DecisionCAMP 2017 London, U.K., July 13-14, 2017 http://2017.ruleml-rr.org/decisioncamp-2017 - 11th International Rule Challenge London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org/calls/international-rule-challenge/ The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. The school is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2017, the theme of the school is: "Semantic Interoperability on the Web" As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. Most lecturers will also be present for the duration of the school to interact and establish contacts with the students. The summer school is co-located with RuleML+RR, a conference that joins the well-known RuleML and RR event series, DecisionCAMP 2017, and the 11th International Rule Challenge, hence, there will be a great opportunity for students to also attend some major events in the area. In addition, RuleML+RR will also include a Doctoral Consortium and students of RW are particularly encouraged to also apply to the Doctoral consortium of RuleML+RR. Participants to the school will be delivered on request a certificate of attendance indicating the number of hours of lectures. With this certificate, some institutions may assign official credits for the PhD program. == LECTURES == - Andrea Calì (Birkbeck University of London, U.K.) "Ontology querying: Datalog strikes back" - Thomas Eiter (Technical University of Wien, Austria) "Answer Set Programming with External Source Access" - Thomas Lukasiewicz (University of Oxford, U.K.) "Uncertainty Reasoning for the Semantic Web" - Marco Montali (Free University of Bolzano/Bozen, Italy) "Ontology-based Data Access for Log Extraction in Process Mining" - Axel Polleres (Vienna University of Economics & Business, Austria) "Challenges for Semantic Data Integration on the Web of Open Data" - Marie-Christine Rousset (University Grenoble-Alpes, Institut Universitaire de France) "Datalog revisited for reasoning in Linked Data" - Torsten Schaub (University of Potsdam, Germany and Inria, Bretagne Atlantique, Rennes, France) "A Tutorial on Hybrid Answer Set Solving" - Juan Sequeda (Capsenta, USA) "Integrating Relational Databases with the Semantic Web" - Giorgos Stamou (National Technical University of Athens, Greece) "Ontological query answering over semantic data" == LECTURE NOTES == The course material used during the summer school will be published within Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == HOW TO APPLY == A limited number of participation tokens is still available and will be assigned on a first come, first served basis. The attendees can ask to participate by submitting a brief statement of interest to rw2017 at easychair.org Approval and instructions on how to complete registration will follow. == SCHOOL FEES == The fee for attending the school is 370 GBPs. The fee covers school registration, coffee breaks, and a copy of the school volume published as Springer LNCS proceedings. Joint Registration to RW and RuleML+RR is also possible, with a fee of 485 GBPs. Students that plan to participate to both RW and RuleML+RR have to indicate it in their application. == SCHOOL VENUE == Birkbeck, University of London, Malet St, London WC1E 7HX, UK == STUDENT ACCOMMODATIONS == University of London offers accommodations in its student residences. Prices start from 47 GPBs per night. For details visit http://staycentral.london.ac.uk/accommodation/ All listed locations are within a walking distance of 15-20 minutes from the school venue. == COMMITTEE == *Chairs Giovambattista Ianni, Università della Calabria Domenico Lembo, Sapienza Università di Roma *Scientific Advisory Board Leopoldo Bertossi, Carleton University Wolfgang Faber, University of Huddersfield Birte Glimm, Universität Ulm Georg Gottlob, Oxford University Steffen Staab, University of Koblenz-Landau == CONTACT == For further information, contact the school chairs (rw2017 at easychair.org) -- Prof. Giovambattista Ianni, DeMaCS - UNICAL, Rende, Italy From ruy at cin.ufpe.br Sat Jun 10 17:11:17 2017 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Sat, 10 Jun 2017 12:11:17 -0300 Subject: 24th WoLLIC 2017 - Call for Participation Message-ID: [Please circulate. Apologies for multiple copies] Call for Participation WoLLIC 2017 24th Workshop on Logic, Language, Information and Computation July 18-21, 2017 University College London (UCL), London, UK SPECIAL SESSION: Screening of Navajo Math Circles (Directed by George Paul Csicsery, 2016, 58min) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) IN COOPERATION WITH ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) ORGANISATION Department of Computer Science, University College London, London, UK School of Electronic Engineering and Computer Science, Queen Mary College, London, UK Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Computer Science, University College London, London, UK INVITED SPEAKERS Hazel Brickhill (Bristol) (University of Bristol) Michael Detlefsen (University of Notre Dame) Alexander Kurz (University of Leicester) Frederike Moltmann (New York University) David Pym (University College London) Nicole Schweikardt (Humboldt Universität) Fan Yang (Delft University) Boris Zilber (University of Oxford) STUDENT GRANTS ASL sponsorship of WoLLIC 2017 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2017). See http://www.aslonline.org/studenttravelawards.html for details. PROGRAMME COMMITTEE Matthias Baaz (University of Technology, Vienna, Austria) John Baldwin (University of Illinois at Chicago, USA) Dana Bartozová (Universidade de São Paulo, Brazil) Agata Ciabattoni (University of Technology, Vienna, Austria) Walter Dean (University of Warwick, UK) Erich Grädel (RWTH Aachen, Germany) Volker Halbach (University of Oxford, UK) Juliette Kennedy (Helsinki University, Finland) (Chair) Dexter Kozen (Cornell University, USA) Janos Makowsky (Technion - Israel Institute of Technology, Israel) Larry Moss (indiana University, USA) Alessandra Palmigiano (Delft University, The Netherlands) Mehrnoosh Sadrzadeh (Queen Mary, UK) Sonja Smets (Amsterdam University, The Netherlands) Asger Törnquist (Københavns Universitet, Denmark) Rineke Verbrugge (University of Groningen, The Netherlands) Andrés Villaveces (Universidad Nacional, Colombia) Philip Welch (University of Bristol, UK) STEERING COMMITTEE Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. ORGANISING COMMITTEE Alexandra Silva (Univ College London, UK) (Local co-chair) Mehrnoosh Sadrzadeh (Queen Mary, UK) (Local co-chair) Paulo Oliva (Queen Mary, UK) James Brotherston (Univ College London, UK) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2017/ ACCEPTED PAPERS Fausto Barbero, Lauri Hella and Raine Rönnholm. Independence-Friendly logic without Henkin quantification. Fedor Pakhomov. Solovay completeness without fixed points. Paola Bruscoli and Lutz Strassburger. On the length of Medial-Switch-Mix derivations. Almudena Colacito and George Metcalfe. Proof Theory and Ordered Groups. Rohit Parikh. An Epistemic Generalization of Rationalizability. Lev Beklemishev. On the reflection calculus with partial conservativity operators. Arnold Beckmann and Jean Jose Razafindrakoto. Total Search Problems in Bounded Arithmetic and Improved Witnessing. Flavio Ferrarotti, Senén González and Jose Turull-Torres. On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. Michał Tomasz Godziszewski and Joel David Hamkins. Computable quotient presentations of models of arithmetic and set theory. Nathanael L. Ackerman and Cameron E. Freer. On the Computability of Graph Turing Machines. Ian Mackie. A Geometry of Interaction Machine for Gödel's System T. Zhaohui Luo and Serguei Soloviev. Dependent Event Types. Igor Sedlar. Substructural logics with a reflexive transitive closure modality. Stepan Kuznetsov. The Lambek calculus with iteration: two variants. Willem Conradie, Andrew Craig, Alessandra Palmigiano and Zhiguang Zhao. Constructive canonicity for lattice-based fixed point logics. Karin Cvetko Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis and Benjamin Blundell. Non-commutative logic for compositional distributional semantics. Daniyar Shamkanov. Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. Vít Punčochář. Knowledge is a Diamond. Gijs Wijnholds. Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. Zhiguang Zhao. Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. Marcin Mostowski and Marek Czarnecki. Concrete mathematics. Finitistic approach to foundations. Denis I. Saveliev and Nikolai L. Poliakov. On two concepts of ultrafilter extensions of first-order models and their generalizations. Yury Savateev and Daniyar Shamkanov. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs. Sérgio Marcelino and Carlos Caleiro. Disjoint fibring of non-deterministic matrices. Fei Liang, Giuseppe Greco, Andrew Moshier and Alessandra Palmigiano. Multi-type display caculus for Semi De Morgan Logic. Dan Marsden, Fabrizio Genovese, Bob Coecke and Martha Lewis. Applications of Generalized Relations in Linguistics and Cognition. Bjørn Kjos-Hanssen. Shift registers fool finite automata. Giuseppe Greco and Alessandra Palmigiano. Lattice logic properly displayed. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From beziau100 at gmail.com Sun Jun 11 01:46:45 2017 From: beziau100 at gmail.com (jean-yves beziau) Date: Sun, 11 Jun 2017 01:46:45 +0200 Subject: VICHY 2018 - The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC 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 the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - 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 (Federal University of Rio de Janeiro and CNPq) 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Jun 11 19:06:05 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 11 Jun 2017 19:06:05 +0200 Subject: TPNC 2017: 2nd call for papers Message-ID: <545102060a010b00055454010e0a5a5c0002515801020459025708075200570401570605000a035109515954070b50@grlmc_ip-zone_com-6> TPNC 2017: 2nd 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:   tba   PROGRAMME COMMITTEE: (to be completed)   Ajith Abraham (Machine Intelligence Research Labs, US) 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) 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) 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) 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) 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 griggio at fbk.eu Mon Jun 12 12:16:03 2017 From: griggio at fbk.eu (Alberto Griggio) Date: Mon, 12 Jun 2017 12:16:03 +0200 Subject: *DEADLINE EXTENSION*: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <20170612101603.9FAA715F5B0@kyrene.fbk.eu> (apologies for multiple copies) *DEADLINE EXTENSION - SUBMISSION OPEN UNTIL JUNE 18* Call for Papers 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with CADE 2017 August 7, 2017 - Gothenburg, Sweden http://software.imdea.org/Conferences/hcvs17 Invited speakers: - Christoph Weidenbach, Max-Planck-Institut fuer Informatik - Arie Gurfinkel, University of Waterloo Submission deadlines: - Paper submission: *EXTENDED TO* June 18, 2017 - Paper notification: July 3, 2017 - Workshop: August 7, 2017 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows three previous meetings: HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Nikolaj Bjorner (Microsoft Research) - Mats Carlsson (SICS) - Grigory Fedyukovich (University of Washington) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University) - Pierre Ganty (IMDEA Software Institute) - Alberto Griggio (Fondazione Bruno Kessler - chair) - Gopal Gupta (U.T. Dallas) - Manuel V. Hermenegildo (T.U. Madrid and IMDEA Software Institute - chair) - Michael Leuschel (University of D�sseldorf) - Pedro Lopez-Garcia (CSIC) - David Monniaux (University of Grenoble) - Jorge A. Navas (SRI International) - Maurizio Proietti (IASI-CNR) - Philipp Ruemmer (Uppsala University) - Andrey Rybalchenko (Microsoft Research) - Valerio Senni (ALES - UTRC) Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2017. From woltran at dbai.tuwien.ac.at Mon Jun 12 15:43:20 2017 From: woltran at dbai.tuwien.ac.at (Stefan Woltran) Date: Mon, 12 Jun 2017 15:43:20 +0200 (CEST) Subject: [FLoC'18/ICLP'18] Last Call for Workshops Message-ID: [apologies for cross posting] FLoC 2018 --- The 2018 Federated Logic Conference 6-19 July 2018 Oxford, England UK http://www.floc2018.org/ CALL FOR WORKSHOPS The Seventh Federated Logic Conference (FLoC 2018) will host the following nine conferences and affiliated workshops. CAV (30th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: Hana Chockler hana.chockler at kcl.ac.uk CSF (31st IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Cas Cremers cas.cremers at cs.ox.ac.uk FM (23rd International Symposium on Formal Methods) http://www.fmeurope.org/?page_id=221 Workshop chair: Helen Treharne H.Treharne at surrey.ac.uk FSCD (3rd International Conference on Formal Structures for Computation and Deduction) http://fscdconference.org/ Workshop chair: Paula Severi pgs11 at le.ac.uk ICLP (35th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Stefan Woltran woltran at dbai.tuwien.ac.at IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chair: Alberto Griggio griggio at fbk.eu ITP (9th International Conference on Interactive Theorem Proving) http://itp2017.cic.unb.br Workshop chair: Assia Mahboubi Assia.Mahboubi at inria.fr LICS (33rd Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.rwth-aachen.de/ Workshop chair: Patricia Bouyer bouyer at lsv.ens-cachan.fr SAT (21st International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: Martina Seidl martina.seidl at jku.at SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2018. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Each proposal should consist of the following two parts. 1) A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2) An organisational part including: - contact information for the workshop organizers; - proposed affiliated conference; - estimate of the number of workshop participants; - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) - potential invited speakers; - procedures for selecting papers and participants; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre, mid or post FLoC). The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. Proposals should be submitted through EasyChair: https://easychair.org/conferences/?conf=floc2018workshops Please see the Workshop Guidelines page: http://www.floc2018.org/workshop-guidelines/ for further details and FAQ. IMPORTANT DATES Submission of workshop proposals deadline: June 19, 2017 Notification: July 31, 2017 Pre-FLoC workshops: Saturday & Sunday, July 7-8, 2018 Mid-FLoC workshops: Friday July 13, 2018 Post-FLoC workshops: Wednesday & Thursday, July 18-19, 2018 See the FLoC calendar (http://www.floc2018.org/calendar/) for the FLoC conference and workshop dates. Note 1: mid-FLoC workshops are expected be one day in duration, however we can consider two-day workshops under exceptional circumstance (details should be included in the proposal). Note 2: since FM is a three-day conference (see calendar), FM-affiliated workshops may be held on 17-18 July. CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: gethin.norman at glasgow.ac.uk FLoC 2018 WORKSHOP CHAIR Gethin Norman University of Glasgow From serge.autexier at dfki.de Thu Jun 15 07:51:01 2017 From: serge.autexier at dfki.de (Serge Autexier) Date: Thu, 15 Jun 2017 07:51:01 +0200 (CEST) Subject: CICM 2017 - Call for Participation / Posters / Work in Progress Message-ID: <20170615055101.EE6B0142F6E7@gigondas-5.fritz.box> [Apologies for multiple copies] Call for Participation 10th Conference on Intelligent Computer Mathematics - CICM 2017 - 17-21 July 2017 University of Edinburgh, Scotland http://www.cicm-conference.org/2017 *** Accepted Papers *** The programme for CICM 2017, which will be held in Edinburgh is now available: http://www.cicm-conference.org/2017/cicm.php?event=&menu=talks *** Work in Progress Submissions *** We invite work-in-progress submissions, with the aim of providing a forum for the presentation of original work that is not yet suitable for submission as a full paper in a research track. This includes emerging trends work. Although length is not limited, we recommend 5 pages. Submit your paper by 23 June 2017 in the "Work in Progress” track via Easychair: https://easychair.org/conferences/?conf=cicm2017 Please add a keyword for the intended topical track MKM, DML, Calculemus or Systems and Projects. Author notification will be sent by 27 June. *** Posters Submissions *** In addition, we solicit for posters that will not be peer reviewed, but will be screened for relevance to the conference. You can submit an abstract for a poster by 23 June 2017 via EasyChair at: https://easychair.org/conferences/?conf=cicm2017. Author notification will be sent by 27 June. *** Invited Speakers *** - Alan Bundy (University of Edinburgh) - Przemysław Chojecki (Polish Academy of Sciences) - Grant Olney Passmore (Aesthetic Integration) **** Conference Tracks *** * Calculemus (Chair: Matthew England, University of Coventry) * Digital Mathematical Libraries (DML) (Chair: Olaf Teschke, Humboldt University of Berlin) * Mathematical Knowledge Management (MKM) (Chair: Florian Rabe, Jacobs University Bremen) * Systems & Projects (Chair: Osman Hasan, NUST Pakistan) * Doctoral Programme (Chair: Adnan Rashid, NUST Pakistan) *** Co-located Workshops *** * 12th Workshop on Mathematical User Interface (MathUI 2017) http://www.cicm-conference.org/2017/cicm.php?event=mathui * 28th OpenMath Workshop http://www.cicm-conference.org/2017/cicm.php?event=openmath *** Registration *** Early Registration: Until 30 June 2017 For more details, see: http://www.cicm-conference.org/2017/cicm.php?event=&menu=registration *** Local Information *** Information about the venue, accommodation, travel, visa requirements, etc. can be found at: http://dream.inf.ed.ac.uk/events/cicm2017 *** CICM 2017 Organisers *** * General Program Chair: Herman Geuvers (Radboud University) * Workshops Chair: Petros Papapanagiotou (University of Edinburgh) * Publicity Chair: Serge Autexier (DFKI Bremen) * Local arrangements: Jacques Fleuriot and Suzanne Perry (University of Edinburgh) From s.linker at liverpool.ac.uk Thu Jun 15 18:14:18 2017 From: s.linker at liverpool.ac.uk (Sven Linker) Date: Thu, 15 Jun 2017 17:14:18 +0100 Subject: Deadline Extension! -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017 Message-ID: <208b9678-aa89-39ee-de13-5b4f16027c49@liverpool.ac.uk> (Apologies for duplicates) ================================================================== DEADLINE EXTENSION ================================================================== Workshop on Formal Verification of Autonomous Vehicles https://sites.google.com/site/fvav2017/ 19th September 2017 University of Turin, Italy (co-located with iFM 2017, http://ifm2017.di.unito.it/) ================================================================== ------------------------------------------------------------------ Important Dates: - Paper Submission: *NEW DEADLINE* Monday, 26th June 2017 - Notification: *NEW DATE* Monday, 17th July 2017 - Workshop: Tuesday, 19th September 2017 ------------------------------------------------------------------ Objectives and Scope: Current technology is at reach to develop road vehicles that can act fully autonomously. One of the recognised major difficulties is to make the systems safe, as autonomy requires not only avoidance of misbehaviour but also assurance of availability and reliability. This fact has been acknowledged both within the academic society, in the form of an increasing interest in this topic, and within industry, by generally agreeing that these vehicles adhere to the highest levels of international standards, e.g., SIL3/SIL4 for IEC 61508, and ASIL D for ISO 26262. These levels imply the consideration of various formal methods in the development, including static code analysis, model checking, and formal specification and verification. However, incorporating formal methods into the design of autonomous vehicles presents significant new challenges, particularly due to the complex integration of discrete and continuous controllers. The main challenges associated with the formal design of autonomous vehicles includes modelling, specification, verification and synthesis. The aim of this workshop is to bring together researchers from the formal verification community that are developing formal methods for autonomous vehicles and industrial researchers working, e.g., in the area of control theory or robotics, interested in applying verification techniques for designing and developing of autonomous vehicles. Topics of interest of the workshop include, but are not limited to: * formal models for autonomous systems * languages and logics for specification and verification * interactive and automated theorem proving * model checking * agent programming languages * real-time and hybrid systems * program synthesis * quantitative and probabilistic verification * requirement analysis * verification for learning approaches * run-time verification * applications, implementations and case studies ------------------------------------------------------------------ Submission Guideline: Accepted papers will appear in the conference proceedings published in the Electronic Proceedings in Theoretical Computer Science (EPTCS) and must be prepared according to the EPTCS guidelines for authors (see http://info.eptcs.org/). Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page: https://easychair.org/conferences/?conf=fvav2017 The page limitations mentioned below include all text, figures and references. At least one author of each accepted paper must attend FVAV 2017 to present. There are two categories of papers which can be submitted: regular and short papers. Papers in each category will be reviewed by at least 3 members of the Programme Committee. * *Regular Papers* (up to 15 pages, including references) should present original unpublished results. We welcome theoretical papers, applications of formal methods in industrial practise, system descriptions and case studies within the context of autonomous vehicles. * *Short Papers* (up to 7 pages, including references) may present novel but not necessarily thoroughly worked out ideas, and problem statements. ------------------------------------------------------------------ Invited Speaker: Werner Damm (OFFIS Oldenburg, Germany) (https://www.offis.de/en/offis/person/werner-damm.html) ------------------------------------------------------------------ Organisation: Programme Committee: * Matthias Althoff (Technische Universität München, Germany) * Mikael Asplund (Linköping University, Sweden) * Georgios Fainekos (Arizona State University, US) * Michael Fisher (University of Liverpool, UK) * Christoph Gladisch (Bosch, Germany) * Cornel Izbasa (Opensynergy, Germany) * Owen McAree (Sheffield University, UK) * Helen Monkhouse (Horiba-Mira, UK) * Ernst-Rüdiger Olderog (Carl von Ossietzky University Oldenburg, Germany) * Patrizio Pelliccione (Chalmers University of Technology, Sweden) * S. Ramesh (General Motors, US) * Nick Reed (TRL, UK) * Shinichi Shiraishi (Toyota Info Technology Center, US) Programme Chairs: * Lukas Bulwahn (BMW Car IT GmbH, Germany) * Maryam Kamali (University of Liverpool, UK) * Sven Linker (University of Liverpool, UK) From youakim.badr at insa-lyon.fr Sat Jun 17 00:00:24 2017 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Sat, 17 Jun 2017 00:00:24 +0200 (CEST) Subject: ACM MEDES 2017 (Bangkok, Thailand): Submission deadline has been extended Message-ID: <1424898422.9908303.1497650424262.JavaMail.zimbra@insa-lyon.fr> Please distribute widely and accept our apologies for cross-posting * *************** CALL FOR PAPERS *************** (Extended version: June 26th, 2017) *** Extended versions of selected papers will be published in Journal of Intelligent Information Systems, published by Springer *** The 9th International ACM Conference on Management of Digital EcoSystems (MEDES'17) In-Cooperation with ACM, ACM SIGAPP and IFIP WG 2.6 http://sigappfr.acm.org/MEDES/17/ November 7-10, 2017 Bangkok, Thailand Description and Objectives --------------------------- In the world of the Internet of Things (IoT), the rapid growth and exponential use of digital components leads to the emergence of intelligent environments namely "digital ecosystems" connected to the web and composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. With the help of the computational intelligence, these digital ecosystems can exhibit new self-* properties (such as self-management, self-healing and self-configuration) environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying web-based resources mainly comprehend big data management, innovative services, smart and self-* properties platforms. Due to the multi-disciplinary nature of digital ecosystems, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative, intelligent and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as big data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International Conference on Management of Digital EcoSystems (MEDES),previously named "The International Conference on Management of Emergent Digital EcoSystems", aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. MEDES 2017 calls for full papers presenting interesting recent results or novel ideas in all areas of Emergent Digital EcoSystems. At the same time, the conference calls for short papers presenting interesting and exciting recent results or novel thought-provoking ideas that are not quite ready, and preferably include a system demonstration. Topics ------- MEDES 2017 seeks contributions in the following areas: - Digital Ecosystem Infrastructure - Data & Knowledge Management - Computational and Collective Intelligence - Semantic Computing - Software ecosystems for software engineering - Big Data - Services - Trust, Security & Privacy - Software Engineering - Internet of Things and Intelligent Web - Cyber Physical Systems - Social and Collaborative Platforms - Human-Computer Interaction - Open Source - Applications (Logistics, Energy, Healthcare, Environment, Smart Cities, Digital Humanities, Robotics, etc.) - Complex Systems and Networks Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. The submitted paper should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. After the preliminary notification date, authors rebut by evidence and arguments all reviewer inquiries and their comments. Based on the rebuttal feedback, reviewers notify authors with the final decision. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library and DBLP. Important Dates ---------------- - Submission Deadline: June 26th, 2017 - Notification of Acceptance: July 25th, 2017 - Camera Ready: September 1st, 2017 - Paper Registration: September 1st, 2017 - Conference Dates: 7-10 November 2017 Advisory Chairs ---------------- Yannis Manolopoulos, Aristotle University of Thessaloniki, Greece Ernesto Damiani, Universita' degli Studi di Milano, Italy Conference Chairs ---------------- Richard Chbeir, University of Pau and Adour Countries, France Asanee Kawtrakul, Kasetsart University, Thailand Program Chairs ---------------- William Grosky, University of Michigan-Dearborn, USA Toshikazu Kato, Chuo University, Tokyo, Japan Ali Ouni, Osaka University, Osaka, Japan International Program Committee -------------------------------- (Please check the web site for the full list) From wjamroga at in.tu-clausthal.de Sat Jun 17 20:55:26 2017 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Sat, 17 Jun 2017 20:55:26 +0200 Subject: ESSLLI 2018: Final Call for Tutorials and Workshop Proposals (extended deadline!) Message-ID: <71253c5f-c912-1679-58b9-cd97dde847ac@in.tu-clausthal.de> ******************************************************************** * *** Final Call for Course and Workshop Proposals *** * * * * 30th European Summer School in Logic, Language and Information * * ESSLLI 2018 * * 6-17 August, 2018, Sofia, Bulgaria * * http://esslli2018.folli.info/ * * * * *** Extended deadline: 25 June 2017 *** * ******************************************************************** IMPORTANT DATES 25 June 2017: Proposal submission deadline 15 September 2017: Notification SUBMISSION PORTAL Please submit your proposals here: https://easychair.org/conferences/?conf=esslli2018 TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI 2018 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI programme committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking complete coverage of travel and accommodation expenses from other sources. The organizers want to point at the possibility of an EACSL sponsorship, mentioned at the end of this call CATEGORIES Each proposal should fall under one of the following categories. * FOUNDATIONAL COURSES * Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. * INTRODUCTORY COURSES * Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. * ADVANCED COURSES * Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. * WORKSHOPS * Workshops focus on specialized topics, usually of current interest. Workshops organizers are responsible for soliciting papers and selecting the workshop programme. They are also responsible for publishing proceedings if they decide to have proceedings. PROPOSAL GUIDELINES Course and workshop proposals should follow closely the following guidelines to ensure full consideration. Course and Workshop proposals can be submitted by no more than two lecturers/organizers and they are presented by no more than these two lecturers/organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals must be submitted in PDF format via: https://easychair.org/conferences/?conf=esslli2018 and include all of the following: a. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) b. General proposal information: Title, category c. Contents information: Abstract of up to 150 words Motivation and description (up to two pages) Tentative outline Expected level and prerequisites Appropriate references (e.g. textbooks, monographs, proceedings, surveys) d. Practical information: Relevant preceding meetings and events, if applicable Potential external funding for participants EACSL SPONSORSHIP The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal. PROGRAMME COMMITTEE Chair: Laura Kallmeyer (Heinrich-Heine-Universitaet Duesseldorf, Germany) Local co-chair: Galia Angelova (IICT-BAS, Sofia, Bulgaria) Language and Computation: Noah Goodman (Stanford University, USA) Barbara Plank (University of Groningen, The Netherlands) Language and Logic: Márta Abrusán (CNRS, IRIT Toulouse & IJN Paris, France) Robert Levine (Ohio State University, USA) Logic and Computation: Wojciech Jamroga (Polish Academy of Sciences, Warsaw, Poland) Elena Ravve (Ort Braude College, Karmiel, Israel) FURTHER INFORMATION: Please send any queries you may have to laura dot kallmeyer at gmail dot com, or to the relevant Area Chairs. -- Prof. Dr. Wojciech Jamroga Associate Professor Institute of Computer Science, Polish Academy of Sciences http://krak.ipipan.waw.pl/~wjamroga/ From frank.loebe at informatik.uni-leipzig.de Sun Jun 18 13:03:09 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Sun, 18 Jun 2017 13:03:09 +0200 Subject: IAOA Summer Institute on Upper Ontologies: Call for Participation (Aug 8-11, 2017, Toronto, Canada) Message-ID: <201706181103.v5IB3DAX010608@isun.informatik.uni-leipzig.de> The International Association for Ontology and its Applications (IAOA) is announcing the 2017 Summer Institute: UPPER ONTOLOGIES --> !! REGISTER by July 17, 2017 !! August 8-11, 2017 Toronto, Ontario, Canada Website: http://ontologforum.org/index.php/SummerInstitute2017 Updates in this call: + preliminary programme + 1 facilitator + registration deadline: July 17, 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. --> REGISTER BY July 17, 2017 in order to participate. 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 riccardo.zese at unife.it Sun Jun 18 17:04:40 2017 From: riccardo.zese at unife.it (Riccardo Zese) Date: Sun, 18 Jun 2017 17:04:40 +0200 Subject: CFP: [DEADLINE EXTENSION] PLP 2017 - Probabilistic logic programming 2017 In-Reply-To: References: Message-ID: * Please accept our apologies if you receive multiple copies of this call * We have extended the submission deadline for the PLP-2017 Workshop on Probabilistic Logic Programming. Papers are now due June 21. PLP-2017: The Fourth Workshop on Probabilistic Logic Programming ------------------------------ ---------------------------------- A workshop of the 27th International Conference on Inductive Logic Programming 7 September 2017 Orléans, France http://stoics.org.uk/plp/plp2017/ Deadline for submissions: 21 June 2017 Overview ----- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After three successful editions of this workshop at ICLP 2014 in Vienna, ICLP 2015 in Cork and ILP 2016 in London, the fourth edition of PLP is held at the ILP conference in Orléans. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----- Submissions will be managed via EasyChair. Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ----- Papers due: Sun, 11th June 2017 -> 21st June 2017 (extended) Notification to authors: Tue, 11th July 2017 Camera ready version due: Tue, 25th July 2017 Workshop data: Thu, 7th September 2017 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----- Arjen Hommersom (Open University, The Netherlands) Samer Abdallah (University College London) Programme Committee ----- Christian Theil Have (Copenhagen University, Denmark) [co-chair] Riccardo Zese (University of Ferrara, Italy) [co-chair] Samer Abdallah (University College London) Elena Bellodi (University of Ferrara, Italy) Fabio Cozman (University of Sao Paulo, Brasil) Yoshitaka Kameya (Meijo University, Japan) Matthias Nickles (NUI Galway, Ireland) Aline Paes (Universidade Federal Fluminense, Brazil) Taisuke Sato (NII/SONAR, Japan) Herbert Wiklicky (Imperial College London, UK) Theresa Swift (CENTRIA, Portugal) Senior Committee ----- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Riccardo Zese, PhD ENDIF - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 <+39%200532%20974827> -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From grlmc at grlmc.com Sun Jun 18 22:41:28 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 18 Jun 2017 22:41:28 +0200 Subject: DeepLearn 2017: registration deadline July 14 Message-ID: <545102060a010b00055e5203060a5a52525553050202035400050804060657545053000304080507565f560b0f5358@grlmc_ip-zone_com-6> DeepLearn 2017: registration deadline July 14*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Regular registration deadline: July 14, 2017 ---   ********************************************************   SCOPE:   DeepLearn 2017 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 2 keynote lectures, 30 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes.   ADDRESSED TO:   In principle, graduate students, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners who want to keep themselves updated on recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   REGIME:   In addition to keynotes, 3-4 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   Palacio Euskalduna Avda. Abandoibarra, 4 48011 Bilbao, Spain   KEYNOTE SPEAKERS:   Li Deng (Citadel), Recent Advances in Unsupervised Deep Learning   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter & Alexander Ihler (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Citadel), [introductory/advanced] An Overview of Deep Learning for Speech, Image, Text, and Multi-modal Processing   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Precision Medicine and Biomedical informatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Wild   Li Erran Li (Columbia University), [intermediate/advanced] Deep Reinforcement Learning: Recent Advances and Frontiers   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Generative Modeling and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   INDUSTRIAL SESSION:   A specific session will be devoted to demonstrations of practical uses of deep learning in industrial processes. Companies/people interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   ORGANIZING COMMITTEE:   Pablo García Bringas (co-chair) José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/registration.php   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue will be complete. It is much recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Mon Jun 19 11:33:14 2017 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Mon, 19 Jun 2017 11:33:14 +0200 Subject: 2nd CfP: DKB 2017 & KIK 2017: Dynamics of Knowledge & Belief / KI & Kognition, Dortmund (Germany), 26 Sep 2017 Message-ID: <7e2421d6-7797-3c47-4844-e0a40abf7ed4@hs-harz.de> 2nd CALL FOR PAPERS 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 01, 2017 Notification of Authors: July 31, 2017 Camera-ready Paper: August 15, 2017 Challenge submission: September 01, 2017 Workshop & Challenge: September 26, 2017 (exact day to be confirmed) 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 joxe.aizpurua at gmail.com Mon Jun 19 13:07:37 2017 From: joxe.aizpurua at gmail.com (Joxe Inaxio Aizpurua) Date: Mon, 19 Jun 2017 12:07:37 +0100 Subject: Ph.D. position at the University of Strathclyde, Glasgow, U.K. Message-ID: * Please accept our apologies if you receive multiple copies * *Optimising Maritime System Operations through Asset Health Prognostics* The Institute for Energy and Environment (Department of Electronic and Electrical Engineering) in collaboration with the Maritime Safety Research Centre (Department of Naval Architecture, Ocean and Marine Engineering) at the University of Strathclyde (Glasgow, Scotland, U.K.), offers a Ph.D. position in the area of prognostics and health management methods for reliability, availability, maintainability and safety (RAMS) of maritime systems. *PhD Research Description* Safety and reliability are at the heart of sustainable marine operations. Effective risk management and maintenance planning throughout a vessel’s lifecycle is an intricate task due to the complexity and dynamic nature of modern vessels. Thanks to the modern technologies and increased monitoring systems on-board ships, there is room to optimize system operations and improve risk management and maintenance planning through risk monitoring and prognostics and health management (PHM) applications. Namely, it is possible to link system-level vessel operational parameters with component-level PHM indicators so as to plan an optimized system operation strategy and extend the useful life of the vessel’s components. The main focus of this project will be on the use and development of PHM methods for optimized system operation. This will involve the development and application of data analytics, artificial intelligence and RAMS methods. Particular cases of interest are predictive monitoring capabilities of electrical components and the power and speed management of vessel’s propulsion machinery assuring the engine’s safe operation. The Institute for Energy and Environment has an extensive experience of developing and delivering PHM applications for a number of industrial partners and the Maritime Safety Research Centre is engaged in a number of industrial research projects with a focus on on-board risk management. Additionally, so as to maximize the outcomes of the project, the candidate will be closely working with DNV GL and Royal Caribbean Cruises Ltd so as to develop an industry focused application of the project. The PhD thesis will be completed in the University of Strathclyde, in a nurturing environment with excellent, well-established prospects for professional career development. We are looking for candidates with Engineering or Management Science background to start as soon as possible. The successful candidate will be highly motivated, independent and yet anexcellent team player, well organised, and result-oriented. The ideal candidate will have the following: · A Masters or First Class Honours degree (or equivalent) in Engineering (marine, mechanical, electrical) or a related Management Science area. · Experience with reliability engineering and system safety and/or prognostics and health management methods. · Experience with artificial intelligence methods. · Programming skills: Matlab, R, Python, C++. *Working conditions* Full-time status as a PhD-candidate for a period of 3 years. Funding for UK/EU Students. Funding amount: the funding covers Home-Scotland/EU student tuition fees and stipend (£14653 per year) in line with University rates (A student from the rest of the UK may be considered for a partial grant). *Information and applying* For more information and informal questions about the project, please contact Professor Stephen McArthur: s.mcarthur at strath.ac.uk; *Deadline* Application closing date 14/07/2017. Prompt application is advised, as this position is only available until a suitable candidate is found. -- *Joxe Aizpurua.* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijwa at dline.info Mon Jun 19 12:52:37 2017 From: ijwa at dline.info (ijwa at dline.info) Date: Mon, 19 Jun 2017 16:22:37 +0530 Subject: ICDIM 2017 In-Reply-To: <1424898422.9908303.1497650424262.JavaMail.zimbra@insa-lyon.fr> References: <1424898422.9908303.1497650424262.JavaMail.zimbra@insa-lyon.fr> Message-ID: Twelfth International Conference on Digital Information Management (ICDIM 2017) Kyushu University, Fukuoka, Japan September 12-14, 2017 www.icdim.org Technically and Financially co-sponsored by TEMS, IEEE ICDIM 2017 hosts the following co-located workshops during the conference. Third Workshop on Internet of Everything (IoE) Third International Workshop on 'Future Big Data' (FBD 2017) Third Workshop on Intelligent Information Systems (IIS 2017) Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) , Thunder Bay (2010), Melbourne (2011), Macau (2012), Islamabad (2013), Thailand (2014) Republic of Korea (South Korea)(2015) and Porto (2016), the Twelfth event is being organized at Kyushu University, Fukuoka, Japan in 2017. The International Conference on Digital Information Management is a multidisciplinary conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology. Digital Information technologies are gaining maturity and rapid momentum in adoption across disciplines. The digital community is producing new ways of using digital information technologies for integrating and making sense out of various data ranging from real/live streams and simulations to analytics data analysis, in support of mining of knowledge. The conference will feature original research and industrial papers on the theory, design and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations. The Twelfth International Conference on Digital Information Management will be held during September 12-14, 2017 at Fukuoka, Japan The topics in ICDIM 2017 include but are not confined to the following areas. Information Retrieval Data Grids, Data and Information Quality Big Data Management Temporal and Spatial Databases Data Warehouses and Data Mining Web Mining including Web Intelligence and Web 3.0 E-Learning, eCommerce, e-Business and e-Government Natural Language Processing XML and other extensible languages Web Metrics and its applications Enterprise Computing Semantic Web, Ontologies and Rules Human-Computer Interaction Artificial Intelligence and Decision Support Systems Knowledge Management Ubiquitous Systems Peer to Peer Data Management Interoperability Mobile Data Management Data Models for Production Systems and Services Data Exchange issues and Supply Chain Data Life Cycle in Products and Processes Case Studies on Data Management, Monitoring and Analysis Security and Access Control Information Content Security Mobile, Ad Hoc and Sensor Network Security Distributed information systems Information visualization Web services Quality of Service Issues Multimedia and Interactive Multimedia Image Analysis and Image Processing Video Search and Video Mining Cloud Computing Intelligence Systems Artificial Intelligence Applications + Proceedings - All the accepted papers will appear in the proceedings published by IEEE. - All papers will be fully indexed by IEEE Xplore. - All the ICDIM papers are indexed by DBLP. General Chair Taketoshi Ushiama (Kyushu University, Japan) Honorary Chair Toyohide Watanabe (Nagoya Industrial Science Research Institute, Japan) Organizing Chair Manabu Ohta (Okayama University, Japan) Local Arrangement Chair Toki Takeda (NTT, Japan) Program Chairs Ramiro Smano Robles, Instituto Superior de Engenharia do Porto Rua, Portugal Yao-Liang Chung, National Taiwan Ocean University, Taiwan Hung-Yuan Chung, National Central University, Taiwan Important Dates Full Paper Submission July 8, 2017 Notification of Authors August 5, 2017 Registration Due September 1, 2017 Camera Ready Due September 1, 2017 Workshops/Tutorials/Demos September 13, 2017 Main conference September 12-14, 2017 Submissions at- http://icdim.org/submission.html Contact: conference at icdim.org ------------------------------------------------------------------------------------------------ From calimeri at mat.unical.it Mon Jun 19 21:09:34 2017 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Mon, 19 Jun 2017 21:09:34 +0200 Subject: CALL FOR APPLICATIONS - PARTICIPATION TOKENS STILL AVAILABLE Message-ID: ************************************************************ CALL FOR APPLICATIONS - PARTICIPATION TOKENS STILL AVAILABLE The 13th Reasoning Web Summer School (RW 2017) London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 ************************************************************ co-located with: - RuleML+RR: International Joint Conference on Rules and Reasoning London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org - RuleML+RR Doctoral Consortium http://2017.ruleml-rr.org/doctoral-consortium/ - DecisionCAMP 2017 London, U.K., July 13-14, 2017 http://2017.ruleml-rr.org/decisioncamp-2017 - 11th International Rule Challenge London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org/calls/international-rule-challenge/ The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. The school is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2017, the theme of the school is: "Semantic Interoperability on the Web" As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. Most lecturers will also be present for the duration of the school to interact and establish contacts with the students. The summer school is co-located with RuleML+RR, a conference that joins the well-known RuleML and RR event series, DecisionCAMP 2017, and the 11th International Rule Challenge, hence, there will be a great opportunity for students to also attend some major events in the area. In addition, RuleML+RR will also include a Doctoral Consortium and students of RW are particularly encouraged to also apply to the Doctoral consortium of RuleML+RR. Participants to the school will be delivered on request a certificate of attendance indicating the number of hours of lectures. With this certificate, some institutions may assign official credits for the PhD program. == LECTURES == - Andrea Calì (Birkbeck University of London, U.K.) "Ontology querying: Datalog strikes back" - Thomas Eiter (Technical University of Wien, Austria) "Answer Set Programming with External Source Access" - Thomas Lukasiewicz (University of Oxford, U.K.) "Uncertainty Reasoning for the Semantic Web" - Marco Montali (Free University of Bolzano/Bozen, Italy) "Ontology-based Data Access for Log Extraction in Process Mining" - Axel Polleres (Vienna University of Economics & Business, Austria) "Challenges for Semantic Data Integration on the Web of Open Data" - Marie-Christine Rousset (University Grenoble-Alpes, Institut Universitaire de France) "Datalog revisited for reasoning in Linked Data" - Torsten Schaub (University of Potsdam, Germany and Inria, Bretagne Atlantique, Rennes, France) "A Tutorial on Hybrid Answer Set Solving" - Juan Sequeda (Capsenta, USA) "Integrating Relational Databases with the Semantic Web" - Giorgos Stamou (National Technical University of Athens, Greece) "Ontological query answering over semantic data" == LECTURE NOTES == The course material used during the summer school will be published within Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == HOW TO APPLY == A limited number of participation tokens is still available and will be assigned on a first come, first served basis. The attendees can ask to participate by submitting a brief statement of interest to rw2017 at easychair.org Approval and instructions on how to complete registration will follow. == SCHOOL FEES == The fee for attending the school is 370 GBPs. The fee covers school registration, coffee breaks, and a copy of the school volume published as Springer LNCS proceedings. Joint Registration to RW and RuleML+RR is also possible, with a fee of 485 GBPs. Students that plan to participate to both RW and RuleML+RR have to indicate it in their application. == SCHOOL VENUE == Birkbeck, University of London, Malet St, London WC1E 7HX, UK == STUDENT ACCOMMODATIONS == University of London offers accommodations in its student residences. Prices start from 47 GPBs per night. For details visit http://staycentral.london.ac.uk/accommodation/ All listed locations are within a walking distance of 15-20 minutes from the school venue. == COMMITTEE == *Chairs Giovambattista Ianni, Università della Calabria Domenico Lembo, Sapienza Università di Roma *Scientific Advisory Board Leopoldo Bertossi, Carleton University Wolfgang Faber, University of Huddersfield Birte Glimm, Universität Ulm Georg Gottlob, Oxford University Steffen Staab, University of Koblenz-Landau == CONTACT == For further information, contact the school chairs (rw2017 at easychair.org) -- Prof. Giovambattista Ianni, DeMaCS - UNICAL, Rende, Italy From Thomas.Agotnes at uib.no Tue Jun 20 05:11:34 2017 From: Thomas.Agotnes at uib.no (=?utf-8?Q?Thomas_=C3=85gotnes?=) Date: Tue, 20 Jun 2017 11:11:34 +0800 Subject: Call for submissions: Big Data, Reasoning and Decision Making (BRaD 2017), Hangzhou, China Message-ID: <10E2AF7D-1EBB-4817-B26F-A814C28466EC@uib.no> The International Workshop on Big Data, Reasoning and Decision Making (BRaD 2017) will take place at Zhejiang University, Hangzhou, P.R. China on 29-30 September, 2017. Website: http://www.xixilogic.org/events/brad2017 The purpose of this workshop is to gather researchers and practitioners in multi-disciplinary fields (including logic, artificial intelligence, cognitive science, etc), to discuss research related to knowledge acquisition, representation, reasoning and decision making in the context of Big Data. We invite submissions of abstracts (500-1000 words) to brad201709 at 126.com by 1 August 2017. Important Dates: Abstract submission deadline 1 August 2017 Notification of acceptance 5 August 2017 Workshop 29-30 September 2017 Invited speakers: Thomas Ågotnes (University of Bergen) Jan Broersen (Universiteit Utrecht) Kim Plunkett (Oxford University) Chris Reed (University of Dundee) This workshop is organized by the BRaD (Big Data, Reasoning and Decision-Making) group at Zhejiang University and the Center for the Study of Learning and Cognitive Science at Zhejiang University. From C.Orasan at wlv.ac.uk Tue Jun 20 08:57:41 2017 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Tue, 20 Jun 2017 06:57:41 +0000 Subject: Extended submission deadline: 39th Translating and the Computer Conference (TC39), 16-17 Nov 2017, London Message-ID: <034C0B87CC091D46B6CF0FD17E97B38301D26D84CB@Exchmbx10I02.unv.wlv.ac.uk> [apologies for cross-posting] 39th Translating and the Computer Conference (TC39), 16-17 November 2017, London CALL FOR PROPOSALS - DEADLINE EXTENDED TO 6 JULY 2017 The International Association for Advancement in Language Technology (AsLing) is delighted to announce the forthcoming 39th edition of the annual Translating and the Computer Conference (TC39) on 16 and 17 November 2017 in London. The TC conference series has emerged as a leading forum for users, developers and vendors of Translation Technology tools. It is a distinctive event where translators, interpreters, researchers and business people, from translation companies, international organisations, universities and research labs, as well as freelance professionals, come together to exchange ideas and learn about the latest developments in translation and interpretation technologies. TC conferences feature presentations and posters, panel discussions and workshops. In addition, the conference welcomes two distinguished experts as keynote speakers. In 2017 our keynotes will be given by Roberto Navigli (Università degli Studi di Roma "La Sapienza") and Alex Waibel (Carnegie Mellon University, Pittsburgh, and Karlsruher Institut für Technologie). This call invites submissions of extended abstracts for papers, posters and workshop proposals to be given at the TC39 conference. Conference topics CAT tools (e.g. Translation Memory systems), Terminology Management tools, Machine Translation (e.g. statistical MT, neural MT, rule-based MT). We particularly welcome contributions addressing these technologies in relation to the following themes: appropriate use, quality assessment and quality control, post-editing, customisation, interoperability and integration of different systems and tools, crowd-sourcing, Natural Language Processing for translation and interpreting, as well as translation and interpreting workflow and management. Other important topics include training (including university translation programmes and the effect of rapid change in the translation industry), tools and resources for interpreters and translators, enhancing collaboration between translators and translation companies, and mobile technologies to support translators' and interpreters' work. The emphasis of TC39 will be on the new and emerging language technologies, tools and resources which can support the work of interpreters. Submission guidelines Proposals for original unpublished papers and posters on all aspects of translation and interpretation technologies are invited, as well as workshop proposals. Papers and posters may report on research, commercial translation and interpretation products or user experience. Proposals should be submitted via the START conference submission system at https://www.softconf.com/i/tc2017 or, in exceptional circumstances and subject to prior confirmation by the conference organisers, may be sent by email to . Further information is available on the Conference website at http://www.asling.org/tc39 . Schedule The conference schedule is as follows: 6 July 2017 - extended deadline for abstracts of papers and posters and workshop proposals 1 August 2017 - all authors notified of decisions 2 October 2017 - speakers' full papers and posters to be submitted for inclusion in the e-proceedings 3 November 2017 - speakers' presentations to be submitted 16-17 November 2017 - conference takes place in London Organising and Programme Committees Organising Committee: Joanna Drugan, University of East Anglia João Esteves-Ferreira, Tradulex, International Association for Quality Translation (conference chair) Juliet Macan, Language technology consultant (conference chair) Ruslan Mitkov, University of Wolverhampton (conference chair) Olaf-Michael Stefanov, United Nations (ret), JIAMCATT (conference chair) Jean-Marie Vande Walle, Belgian Court of Auditors Programme Committee: Anne Aboh Dauvergne, United Nations Juanjo Arevallillo, Hermes Traducciones and Universidad Alfonso X el Sabio de Madrid Wilker Aziz, Universiteit van Amsterdam Sheila Castilho, Adapt Centre, Dublin City University David Chambers, AsLing Honorary Member Eleanor Cornelius, University of Johannesburg and FIT Council Gloria Corpas Pastor, Universidad de Málaga David Filip, CNGL / ADAPT - Trinity College, Dublin Sarah Griffin-Mason, Institute of Translation and Interpreting and University of Portsmouth Camelia Ignat, Research Centre of the European Union Joss Moorkens, Dublin City University Bruno Pouliquen, World Intellectual Property Organization Antonio Toral, Rijksuniversiteit Groningen Paola Valli, Università degli Studi di Trieste Nelson Verástegui, International Telecommunications Union (ret) David Verhofstadt, International Atomic Energy Agency Further information and contact details Registration fees and other relevant information about venue, accommodation, conference sponsors and keynote speakers will be published on the Conference website as soon as they are available. For further information, please email . AsLing Association internationale pour la promotion des technologies linguistiques International Association for Advancement in Language Technology -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Tomasz.Kucner at oru.se Tue Jun 20 09:24:14 2017 From: Tomasz.Kucner at oru.se (Tomasz Kucner) Date: Tue, 20 Jun 2017 07:24:14 +0000 Subject: Fwd: [meetings] CFP: IROS 2017 Workshop on "Introspective Methods for Reliable Autonomy" (IMRA-2017) References: <5AF1BDBDD103AC4EA70A706E0EAE3E7031609E1E@mailboxo02.orunet.oru.se> Message-ID: <5AF1BDBDD103AC4EA70A706E0EAE3E703160AE59@mailboxo02.orunet.oru.se> ============================================================ Call for papers 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 15, 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 15, 2017 - Author notification: August 21, 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 geoff at cs.miami.edu Tue Jun 20 14:19:30 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 20 Jun 2017 08:19:30 -0400 (EDT) Subject: GCAI 2017 in Miami - Call for Papers Message-ID: <20170620121930.B0E53121489@mcclellan.cs.miami.edu> The 3rd Global Conference on Artificial Intelligence (GCAI 2017) Miami, USA, 18-22 October 2017 http://easychair.org/smart-program/GCAI2017/ (Abstracts: 30 June, Papers: 7 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: 30 June, 2017 + Submission: 7 July, 2017 + Notification: 11 August, 2017 + Final version: 25 August, 2017 + Early registration deadline: tba + Workshops: 18 October 2017 + 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 Benzmüller (Freie Universität 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 (Université de Haute Alsace) Gerhard Friedrich (Alpen-Adria-Universität 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 Universität Berlin) Jérôme Lang (CNRS, LAMSADE, Université 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 Stützle (Université Libre de Bruxelles (ULB)) Martin Theobald (Université du Luxembourg) - chair Jürgen Umbrich (Vienna University of Economy and Business (WU)) Maria Esther Vidal (Universidad Simon Bolivar, Dept. Computer Science) Inon Zuckerman (Ariel University) From complexis at insticc.info Tue Jun 20 15:37:00 2017 From: complexis at insticc.info (complexis at insticc.info) Date: 20 Jun 2017 14:37:00 +0100 Subject: CFP COMPLEXIS 2018 - 3rd Int.l Conf. on Complexity, Future Information Systems and Risk (Funchal, Madeira/Portugal) Message-ID: <20170620133704.114420.B8ADDCF68A3C6A6E@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: 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 nataliia.stulova at imdea.org Tue Jun 20 16:34:53 2017 From: nataliia.stulova at imdea.org (Nataliia Stulova) Date: Tue, 20 Jun 2017 16:34:53 +0200 Subject: Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (DEADLINES EXTENSION) Message-ID: [ Please distribute, apologies for multiple postings. ] ************************************************************************ CICLOPS 2017: Final Call for Papers - Deadlines Extension 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems 28th August 2017 Melbourne, Australia https://software.imdea.org/Conferences/CICLOPS2017/ Co-located with ICLP'17, CP'17, and SAT'17. ************************************************************************ Important Dates =============== Paper submission: 28 June 2017 Author Notification: 17 July 2017 Camera-ready Copy: 31 July 2017 Dates are intended as Anywhere on Earth. Aims and Scope ============== This workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and other systems based on logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction. Topics include, but are not limited to: * Sequential implementation schemes (abstract machines, translation to other languages, etc.). * Implementation of concurrent and distributed logic and constraint programming systems. * Implementation of type inference and type checking systems for logic and constraint programming languages. * Compile-time analysis and its application to code generation. * Balance between compile-time effort and run-time machinery, dynamic compilation. * Interaction between high-level optimizations / transformations / specialization and low-level issues. * Memory management and garbage collection issues. * Indexing techniques and optimizations for large size programs. * Optimizations for program generated logic and constraint programs. * Implementation of logic engines in functional and object oriented languages. * Embedding of logic and constraint programming engines in multi-paradigm systems. * Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.). * Implementation of theorem provers, proof assistants and logic based natural language processing systems. * Implementation of object and agent-oriented extensions to logic and constraint programming languages. * Object and module systems. * Design and implementation of declarative I/O concepts for logic and constraint programming languages. * Implementations and ports of logic and constraint programming systems for mobile phones and netbooks. * Documenting, debugging, testing, and profiling tools for logic and constraint programming systems. * Novel compilation methods to modern hardware (e.g. GPUs). Workshop Goals ============== Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems. Paper Submissions ================= The workshop will welcome all short papers that are technically sound and on-topic, including contributions to theory, reports of interesting applications, reports of work in progress, experience papers, suggestions for new challenging problems, system descriptions, comparison and discussion papers, and improvements to known results/proofs/implementations. All papers must be written in English and should not exceed 15 pages. We welcome also shorter submissions, e.g., extended abstracts and short papers, of at least 3 pages. For all accepted papers, at least one author is required to attend the workshop and give a presentation of 30 minutes including discussion. Submissions must be made in Springer's LNCS format (https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines) via the page: https://easychair.org/conferences/?conf=ciclops2017. A program committee consisting of members from different research groups in the area will review the submissions on EasyChair. Papers will be reviewed by at least two, and usually three, referees. Proceedings =========== The informal workshop proceedings will be available on-line at the Computing Research Repository after the workshop. An electronic copy will also be distributed during the conference. Program Committee ================= Paul Bone (Mozilla) Mats Carlsson (SICS) Michael Hanus (CAU Kiel) Jose F. Morales (IMDEA Software Institute) - chair Paulo Moura (CRACS & INESC TEC) Joachim Schimpf (Coninfer Ltd) David Schneider (Heinrich Heine University Düsseldorf) Tom Schrijvers (KU Leuven) Nataliia Stulova (IMDEA Software Institute) - chair Theresa Swift (NOVALINKS, Universidade Nova de Lisboa) Tuncay Tekle (Stony Brook University) Jan Wielemaker (VU University Amsterdam) Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center) Contact ======= ciclops2017 at software.imdea.org Organizers ========== Nataliia Stulova Jose F. Morales IMDEA Software Institute, Madrid, Spain From iceis at insticc.info Tue Jun 20 17:11:59 2017 From: iceis at insticc.info (iceis at insticc.info) Date: 20 Jun 2017 16:11:59 +0100 Subject: CFP ICEIS 2018 - 20th Int.l Conf. on Enterprise Information Systems (Funchal, Madeira/Portugal) Message-ID: <20170620151202.88605.8340EB686A0B721C@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 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 From giovanni.degasperis at aixia.it Tue Jun 20 17:25:09 2017 From: giovanni.degasperis at aixia.it (Giovanni De Gasperis) Date: Tue, 20 Jun 2017 17:25:09 +0200 Subject: [CfP] Call for Participation - RuleML+RR 2017: International Joint Conference on Rules and Reasoning London 12-15 July 2017 Message-ID: RuleML+RR 2017: International Joint Conference on Rules and Reasoning London 12-15 July 2017 http://2017.ruleml-rr.org This is the leading international joint conference in the field of rule-based reasoning, from foundations to technologies to applications. The full program can be seen at http://2017.ruleml-rr.org/schedule Register at http://2017.ruleml-rr.org FINAL DISCOUNTED RATE FINISHES ON 28 JUNE 2017. The program includes: Keynotes and speeches * Elena Baralis (Politecnico di Torino): Opening the Black Box: Deriving Rules from Data ( http://2017.ruleml-rr.org/program/#elena_baralis ) * Jordi Cabot (IN3-UOC, Barcelona): The Secret Life of Rules in Software Engineering ( http://2017.ruleml-rr.org/program/#jordi_cabot ) (sponsored by EurAI) * Bob Kowalski (Imperial College London): Logic and AI – The Last 50 Years ( http://2017.ruleml-rr.org/program/#bob_kowalski ) * Stephen Muggleton (Imperial College London): Meta-Interpretive Learning: Achievements and Challenges ( http://2017.ruleml-rr.org/program/#stephen_muggleton ) * Jean-Francois Puget (IBM): Machine Learning and Decision Optimization ( http://2017.ruleml-rr.org/program/#puget ) Invited demo: * Keith L. Clark (Imperial College London): Concurrent Multi-tasking Robotic Agent Programming in TeleoR Tutorials: * Jacob Feldman: Decision Modeling with DMN and OpenRules * Benjamin Grosof, Michael Kifer, Paul Fodor: Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning * Robert Kowalski, Fariba Sadri, Miguel Calejo: How to do it with LPS (Logic-Based Production System) * Francesca A. Lisi: Logic-based Rule Learning for the Web of Data RuleML+RR 2017 will also host: * Industry Track http://2017.ruleml-rr.org/calls/industry-track * Doctoral Consortium http://2017.ruleml-rr.org/calls/call-for-doctoral-consortium * DecisionCAMP http://2017.ruleml-rr.org/decisioncamp-2017 * 11th Intern. Rule Challenge http://2017.ruleml-rr.org/calls/international-rule-challenge * 13th Reasoning Web Summer School http://2017.ruleml-rr.org/reasoning-web-summer-school-rw-2017/ NEW: Work-in-Progress POSTERS: Delegates, e.g. from industry, have the opportunity of presenting related Work-in-Progress Posters, optionally coming with demos, during the poster session, by sending PDFized poster files to Fariba Sadri ( f DOT sadri AT imperial DOT ac DOT uk) by July 3rd, 2017, 3PM UK Time. From r.s.miller at ucl.ac.uk Tue Jun 20 22:24:32 2017 From: r.s.miller at ucl.ac.uk (Miller, Rob) Date: Tue, 20 Jun 2017 20:24:32 +0000 Subject: Commonsense-2017: Second Call for Papers Message-ID: 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. 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 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 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 Lucy Vanderwende, Microsoft Research Laure Vieu, Institut de Recherche en Informatique de Toulouse Stefan Woltran, Technische Universität Wien Website: http://commonsensereasoning.org From valentina.ivanova at liu.se Thu Jun 22 16:38:43 2017 From: valentina.ivanova at liu.se (Valentina Ivanova) Date: Thu, 22 Jun 2017 14:38:43 +0000 Subject: [CfP] VOILA 2017 @ ISWC 2017 - 3rd Workshop on Visualization and Interaction for Ontologies and Linked Data Message-ID: CALL FOR CONTRIBUTIONS VOILA 2017 - Visualization and Interaction for Ontologies and Linked Data 3rd International Workshop at ISWC 2017, 16th International Semantic Web Conference October 22, 2017, Vienna, Austria http://voila2017.visualdataweb.org -------------------------------------------------- Abstracts Deadline: July 14, 2017 Submission Deadline: July 21, 2017 -------------------------------------------------- Topics of Interest ========== Topics, subjects, and contexts of interest include (but are not limited to): * Topics: - visualizations - user interfaces - visual analytics - requirements analysis - case studies - user evaluations - cognitive aspects * Subjects: - ontologies - linked data - ontology engineering (development, collaboration, ontology design patterns, alignment, debugging, evolution, provenance, etc.) * Contexts: - classical interaction contexts (desktop, keyboard, mouse, etc.) - novel interaction contexts (mobile, touch, gesture, etc.) - special settings (large, high-resolution, and multiple displays, etc.) - specific user groups and needs (people with disabilities, domain experts, etc.) Submission Guidelines ========== Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be written in English, following the Springer LNCS format, and be submitted in either PDF or in HTML on or before July 21, 2017. Paper abstracts are due by July 14, 2017. The following types of contributions are welcome. The recommended page length is given in brackets. There is no strict page limit but the length of a paper should be commensurate with its contribution. Full research papers (8-12 pages); Experience papers (8-12 pages); Position papers (6-8 pages); Short research papers (4-6 pages); System papers (4-6 pages). It is recommended to include a (persistent) URL to a working implementation or an (annotated) screencast for submissions presenting interactive visualizations, user interfaces, tools, etc. Accepted papers will be published as a volume in the CEUR Workshop Proceedings series. Important Dates ========== Abstracts: July 14, 2017 Submission: July 21, 2017 Notification: August 24, 2017 Camera-ready: September 13, 2017 Workshop: October 22, 2017 Looking forward to your submissions & meeting you in Vienna! Catia, Patrick, Steffen, Valentina From frank.loebe at informatik.uni-leipzig.de Fri Jun 23 14:34:51 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Fri, 23 Jun 2017 14:34:51 +0200 Subject: JOWO 2017: 2nd Call for Papers (Joint Ontology Workshops, Sep 21-23, Bolzano, Italy) Message-ID: <201706231234.v5NCYt0O022984@isun.informatik.uni-leipzig.de> ---------------------------------- Second Call for Papers ---------------------------------- Joint Ontology Workshops (JOWO 2017) --- Episode 3: The Tyrolean Autumn --- Free University of Bozen-Bolzano, Italy, September 21-23, 2017 ---------------------------------- 10 Workshops on Ontology and its Applications http://www.iaoa.org/jowo/2017/ Submission deadlines are around July 15. See the individual workshop pages for precise dates. ---------------------------------- The Joint Ontology Workshops' (JOWO) mission is to join forces of the diverse communities interested in building, reasoning with, and applying formalised ontologies in the wide spectrum of information sciences, artificial intelligence theory and applications, philosophy and cognitive science, and beyond. This third edition of the Joint Ontology Workshops (JOWO 2017) combines ten ontology-centered workshops covering a multitude of disciplines into an exciting joint event. JOWO 2017 is supported by the International Association for Ontology and its Applications - IAOA (http://iaoa.org). It features a series of (shared) invited talks, paper presentations, demo sessions, and discussions spread across ten workshops. Participation in a JOWO workshop includes access to all other events. ---------------------------------- WORKSHOPS - CREOL: Contextual Representation of Objects and Events in Language - DAO: Data meets Applied Ontology - DEW: Ontology Debugging & Evaluation Workshop - EPINON: Epistemology in Ontologies - FOMI: Formal Ontologies Meet Industry - FOUST II: 2nd Workshop on Foundational Ontology - ISD3: The 3rd Image Schema Day - ODLS: Ontologies and Data in Life Sciences - SHAPES 4.0: The Shape of Things - WINKS: Workshop on Interaction-Based Knowledge Sharing See below for a description of the workshops and http://www.iaoa.org/jowo/2017/workshops.html for links to detailed calls for papers. ---------------------------------- KEYNOTES | SOCIAL PROGRAM * Todd Oakley (Case Western Reserve University, Cleveland, USA) "What We Think About When We Talk About Money: Social Ontology and the Amalgamated Mind" * 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" (further invitations pending) The Social Program will include musical performances featuring the Hyperinstruments ensemble of the music conservatory 'Claudio Monteverdi' led by Nicola Baroni, as well as an Ontology Hike, a Frozen Mummy, a Pink Aperitivo, a Banquet Dinner, and an Ontology Pub Quiz. ---------------------------------- SUBMISSION GUIDELINES Please refer to the individual workshops for detailed lists of topics appropriate for each workshop and submission modalities. All submissions will be peer-reviewed by members of the program committees of the individual workshops. Accepted papers will be made available in the form of a single joint workshop proceedings volume published open-access at CEUR. For additional publication plans, check the individual workshops. For previous proceedings, compare: http://ceur-ws.org/Vol-1517/ for JOWO 2015, http://ceur-ws.org/Vol-1660/ for JOWO 2016. ---------------------------------- WORKSHOP DETAILS ================================== CREOL Website: http://creol2017.di.unito.it/ Contextual Representation of Objects and Events in Language ================================== Organisers: Valerio Basile, Tommaso Caselli, Daniele P. Radicioni The CREOL workshop is focused on investigating the relationship between representations of objects and events in ontological and linguistic resources, and their interpretation in the context of occurrence. Different properties of objects and events are activated depending on context, thus determining access to partial, salient, information rather than to all. Hence, dealing with context is a key factor in the conceptualization of human experience, and a major challenge for understanding natural language. ================================== DAO Website: https://smart.inf.unibz.it/index.php/2017/05/15/dao2017/ Data meets Applied Ontology ================================== Organisers: Roberto Confalonieri, Andrea Janes, Diego Calvanese The goal of the DAO workshop is to provide opportunities for participants from academia and industry to present their latest developments in ontology-mediated data integration and analysis techniques, and data-driven industrial applications. The workshop will be a great opportunity to synthesize new insights, and disseminate knowledge across field boundaries to promote the interaction between these two different communities. ================================== DEW Website: http://iaoa.org/jowo/dew2017/ Ontology Debugging & Evaluation Workshop ================================== Organisers: Rafael Penaloza, Amanda Vizedom DEW (the Debugging and Evaluation Workshop @ JOWO) aims to advance ontology evaluation and the detection, understanding, and correction of errors in ontologies and ontological knowledge bases. We encourage submissions from all areas dealing with ontological knowledge, and hope to gain a broad perspective on evaluation methods, and debugging techniques over different formalisms. ================================== EPINON Website: http://www.loa.istc.cnr.it/workshops/epinon2017/home.html Epistemology in Ontologies ================================== Organisers: Daniele Porello, Antonio Lieto, Claudio Masolo Formal ontologies and knowledge representation mainly focus on characterising how a given domain is structured, i.e., they identify a set of concepts, entities, and relations together with the constraints that hold for this domain. The characterisation is usually intended to reflect the point of view of significant experts or a realist view of how things about a particular domain are in reality. The aim of this workshop is to explore an epistemological stance and focus on the assessment of the modelling provided by the ontology designer. We aim to address to an interdisciplinary audience, by inviting scholars in philosophy, computer science, logic, conceptual modelling, knowledge representation, and cognitive science to contribute to the discussion. ================================== FOMI Website: http://www.loa.istc.cnr.it/workshops/FOMI2017/home.html 8th International Workshop on Formal Ontologies meet Industry ================================== Organisers: Emilio M. Sanfilippo, Laura Daniele, Giorgio Colombo FOMI is an international forum where academic researchers and practitioners meet to analyse and discuss theoretical and application issues related to the use of formal ontologies in industry. The Workshop aims to collect lessons learned by the presentation of (1) experience with problems in ontology application, (2) new insights on problematic issues, (3) new results, successes and observations in ontology implementation, (4) lessons learned on the best way to apply ontological methodologies to real-world situations. ================================== FOUST II Website: http://foust.inf.unibz.it/foust2/ 2nd Workshop on Foundational Ontology ================================== Organisers: Antony Galton, Fabian Neuhaus Foundational ontologies are attempts to systematise those categories of thought or reality which are common to all or almost all subject-matters. Commonly considered examples of such categories include 'object', 'quality', 'function', 'role', 'process', 'event', 'time', and 'place'. Amongst existing foundational ontologies, there is both a substantial measure of agreement and some dramatic disagreements. There is currently no uniform consensus concerning how a foundational ontology should be organised, how far its 'reach' should be (e.g., is the distinction between physical and non-physical entities sufficiently fundamental to be included here?), and even what role it should play in relation to more specialised domain ontologies. The purpose of this workshop is to provide a forum for researchers to present work on specific foundational ontologies as well as foundational ontologies in general and their relations to each other and to the wider ontological enterprise. ================================== ISD3 Website: http://isd.inf.unibz.it The 3rd Image Schema Day ================================== Organisers: Maria M. Hedblom, Mihailo Antovic, Oliver Kutz The Image Schema Day III (ISD3) is intended as an interdisciplinary meeting place for researchers interested in image schemas and similar conceptual primitives. Originating in cognitive linguistics, image schemas are thought to be the conceptual building blocks learned from the body's sensorimotor processes in early infancy that come to shape adult language and thought. Today, image schemas are becoming increasingly influential in artificial intelligence, knowledge representation, and qualitative reasoning. At ISD3 we welcome researchers from all disciplines interested in pushing the boundaries of understanding, formalising, and reasoning with image schemas. ================================== ODLS Website: https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS Ontologies and Data in Life Sciences ================================== Organisers: Martin Boeker, Heinrich Herre, Ludger Jansen, Frank Loebe, Daniel Schober Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge, thereby challenging existing methods of knowledge representation, data bases, and data analysis. This interdisciplinary workshop covers the overall spectrum of biomedical information processing, from experimental data acquisition and data management, across analysis, structuring and interpretation of data, up to the development of ontologies with their various applications. The workshop aims at gathering scientists that work in these fields in order to exchange ideas, to discuss new results and to inspire collaborations. ================================== SHAPES 4.0 Website: http://www.loa.istc.cnr.it/workshops/SHAPES4/ The Shape of Things ================================== Organisers: Rossella Stufano Melone, Inge Hinterwaldner, Stefano Borgo, Oliver Kutz, Kris Krois The SHAPES 4.0 workshop is an interdisciplinary event for the discussion of all topics connected to shape and pattern (broadly understood). We seek to facilitate an interdisciplinary discussion between researchers, practitioners and artists from all disciplines interested in representing shape, form, structure and pattern, and reasoning about them. ================================== WINKS Website: http://www.iiia.csic.es/winks/ Workshop on Interaction-Based Knowledge Sharing ================================== Organisers: Jerome Euzenat, Dagmar Gromann, Kemo Adrian WINKS is a workshop that is fully dedicated to challenges and solutions to knowledge sharing in interaction-based environments, ranging from the Internet of Things to multi-agent systems. Gradually expanding, distributed systems heighten the need of a dynamic interactive knowledge sharing process, while at the same time an increasing heterogeneity of resources renders this process more complex. As a highly interdisciplinary workshop, discussions will center on requirements and suggestions to endow computational models with knowledge sharing capabilities in interactive scenarios. ================================== ---------------------------------- JOWO General Chairs | Contact Stefano Borgo (LOA ISTC CNR, Trento, Italy) Oliver Kutz (Free University of Bozen-Bolzano, Italy) Frank Loebe (University of Leipzig, Germany) Fabian Neuhaus (Otto-von-Guericke University Magdeburg, Germany) Contact: jowo.steering at gmail.com From jam at imsc.res.in Fri Jun 23 18:49:51 2017 From: jam at imsc.res.in (jam at imsc.res.in) Date: Fri, 23 Jun 2017 22:19:51 +0530 Subject: Call for Participation CSL Satellite Workshop in memory of Zoltan Esik Message-ID: <20170623221951.Horde.MF1u-VSrK4j-XYYNnyjSBA8@webmail.imsc.res.in> CALL FOR PARTICIPATION Logic and Automata Theory: A one-day workshop in memory of Zoltan Esik (A satellite event of CSL 2017) Stockholm, August 25, 2017 https://www.math-stockholm.se/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-ann ual-co/csl-2017-affiliated-workshops-august-16-19-and-25-1.717706 Speakers: Mikolaj Bojanczyk (University of Warsaw) Anna Ingolfsdottir (Reykjavik University) Szabolcs Ivan (University of Szeged) Wolfgang Thomas (RWTH, Aachen) Pascal Weil (LaBRI, CNRS and Univ. of Bordeaux) Registration link: https://www.math-stockholm.se/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-ann ual-co/computer-science-logic-2017-august-20-24-1.717663 Organisers R. Ramanujam (jam at imsc.res.in) and Thomas Schwentick (thomas.schwentick at tu-dortmund.de) --------- From youakim.badr at insa-lyon.fr Sat Jun 24 07:29:57 2017 From: youakim.badr at insa-lyon.fr (Youakim Badr) Date: Sat, 24 Jun 2017 07:29:57 +0200 (CEST) Subject: ACM MEDES 2017 (Bangkok, Thailand): Submission Deadline is Approaching In-Reply-To: <374613254.11672383.1498131013986.JavaMail.zimbra@insa-lyon.fr> References: <374613254.11672383.1498131013986.JavaMail.zimbra@insa-lyon.fr> Message-ID: <132029706.12258006.1498282197014.JavaMail.zimbra@insa-lyon.fr> * Please distribute widely and accept our apologies for cross-posting * *************** CALL FOR PAPERS *************** (Extended version: June 26th, 2017) *** Extended versions of selected papers will be published in Journal of Intelligent Information Systems, published by Springer *** The 9th International ACM Conference on Management of Digital EcoSystems (MEDES'17) In-Cooperation with ACM, ACM SIGAPP and IFIP WG 2.6 http://sigappfr.acm.org/MEDES/17/ November 7-10, 2017 Bangkok, Thailand Description and Objectives --------------------------- In the world of the Internet of Things (IoT), the rapid growth and exponential use of digital components leads to the emergence of intelligent environments namely "digital ecosystems" connected to the web and composed of multiple and independent entities such as individuals, organizations, services, software and applications sharing one or several missions and focusing on the interactions and inter-relationships among them. With the help of the computational intelligence, these digital ecosystems can exhibit new self-* properties (such as self-management, self-healing and self-configuration) environments, thanks to the re-combination and evolution of its "digital components", in which resources provided by each entity are properly conserved, managed and used. The underlying web-based resources mainly comprehend big data management, innovative services, smart and self-* properties platforms. Due to the multi-disciplinary nature of digital ecosystems, they are highly complex to study and design. This also leads to a poor understanding as to how managing resources will empower digital ecosystems to be innovative, intelligent and value-creating. The application of Information Technologies has the potential to enable the understanding of how entities request resources and ultimately interact to create benefits and added-values, impacting business practices and knowledge. These technologies can be improved through novel techniques, models and methodologies for fields such as big data management, web technologies, networking, security, human-computer interactions, artificial intelligence, e-services and self-organizing systems to support the establishment of digital ecosystems and manage their resources. The International Conference on Management of Digital EcoSystems (MEDES),previously named "The International Conference on Management of Emergent Digital EcoSystems", aims to develop and bring together a diverse community from academia, research laboratories and industry interested in exploring the manifold challenges and issues related to resource management of Digital Ecosystems and how current approaches and technologies can be evolved and adapted to this end. MEDES 2017 calls for full papers presenting interesting recent results or novel ideas in all areas of Emergent Digital EcoSystems. At the same time, the conference calls for short papers presenting interesting and exciting recent results or novel thought-provoking ideas that are not quite ready, and preferably include a system demonstration. Topics ------- MEDES 2017 seeks contributions in the following areas: - Digital Ecosystem Infrastructure - Data & Knowledge Management - Computational and Collective Intelligence - Semantic Computing - Software ecosystems for software engineering - Big Data - Services - Trust, Security & Privacy - Software Engineering - Internet of Things and Intelligent Web - Cyber Physical Systems - Social and Collaborative Platforms - Human-Computer Interaction - Open Source - Applications (Logistics, Energy, Healthcare, Environment, Smart Cities, Digital Humanities, Robotics, etc.) - Complex Systems and Networks Paper Submission ---------------- Submissions must be in an electronic form as PDF format and should be uploaded using the conference website. The submitted paper should be at most 8 ACM single-space printed pages. Papers that fail to comply with length limit will be rejected. Submissions will be peer-reviewed by at least 3 peer reviewers. After the preliminary notification date, authors rebut by evidence and arguments all reviewer inquiries and their comments. Based on the rebuttal feedback, reviewers notify authors with the final decision. Selection criteria will include: relevance, significance, impact, originality, technical soundness, and quality of presentation. Preference will be given to submissions that take strong or challenging positions on important emergent topics related to Digital Ecosystems. At least one author should attend the conference to present the paper. The conference Proceedings will be published by ACM and indexed by the ACM Digital Library and DBLP. Important Dates ---------------- - Submission Deadline: June 26th, 2017 - Notification of Acceptance: July 25th, 2017 - Camera Ready: September 1st, 2017 - Paper Registration: September 1st, 2017 - Conference Dates: 7-10 November 2017 Advisory Chairs ---------------- Yannis Manolopoulos, Aristotle University of Thessaloniki, Greece Ernesto Damiani, Universita' degli Studi di Milano, Italy Conference Chairs ---------------- Richard Chbeir, University of Pau and Adour Countries, France Asanee Kawtrakul, Kasetsart University, Thailand Program Chairs ---------------- William Grosky, University of Michigan-Dearborn, USA Toshikazu Kato, Chuo University, Tokyo, Japan Ali Ouni, Osaka University, Osaka, Japan International Program Committee -------------------------------- (Please check the web site for the full list) From Natasha.Alechina at nottingham.ac.uk Sat Jun 24 23:22:57 2017 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Sat, 24 Jun 2017 21:22:57 +0000 Subject: LAMAS 2017 call for participation Message-ID: <89608656-B913-454A-BF53-5C82BCD2AEA9@exmail.nottingham.ac.uk> Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017) Webpage: http://www.cs.nott.ac.uk/~psznza/lamas17/ Affiliated with the 26th EACSL Annual Conference on Computer Science Logic CSL'2017: https://www.csl17.conf.kth.se/ 25 August 2017, Stockholm Call for paticipation The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. Invited speakers: Hans van Ditmarsch, LORIA, Nancy Wojtek Jamroga, Polish Academy of Sciences Organisers and contacts Natasha Alechina natasha.alechina at nottingham.ac.uk Mika Cohen Valentin Goranko 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 calimeri at mat.unical.it Sun Jun 25 09:13:08 2017 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Sun, 25 Jun 2017 09:13:08 +0200 Subject: 13th Reasoning Web Summer School (RW 2017): PARTICIPATION STILL OPEN Message-ID: ************************************************************ CALL FOR APPLICATIONS - PARTICIPATION TOKENS STILL AVAILABLE The 13th Reasoning Web Summer School (RW 2017) London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 ************************************************************ co-located with: - RuleML+RR: International Joint Conference on Rules and Reasoning London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org - RuleML+RR Doctoral Consortium http://2017.ruleml-rr.org/doctoral-consortium/ - DecisionCAMP 2017 London, U.K., July 13-14, 2017 http://2017.ruleml-rr.org/decisioncamp-2017 - 11th International Rule Challenge London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org/calls/international-rule-challenge/ The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. The school is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2017, the theme of the school is: "Semantic Interoperability on the Web" As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. Most lecturers will also be present for the duration of the school to interact and establish contacts with the students. The summer school is co-located with RuleML+RR, a conference that joins the well-known RuleML and RR event series, DecisionCAMP 2017, and the 11th International Rule Challenge, hence, there will be a great opportunity for students to also attend some major events in the area. In addition, RuleML+RR will also include a Doctoral Consortium and students of RW are particularly encouraged to also apply to the Doctoral consortium of RuleML+RR. Participants to the school will be delivered on request a certificate of attendance indicating the number of hours of lectures. With this certificate, some institutions may assign official credits for the PhD program. == LECTURES == - Andrea Calì (Birkbeck University of London, U.K.) "Ontology querying: Datalog strikes back" - Thomas Eiter (Technical University of Wien, Austria) "Answer Set Programming with External Source Access" - Thomas Lukasiewicz (University of Oxford, U.K.) "Uncertainty Reasoning for the Semantic Web" - Marco Montali (Free University of Bolzano/Bozen, Italy) "Ontology-based Data Access for Log Extraction in Process Mining" - Axel Polleres (Vienna University of Economics & Business, Austria) "Challenges for Semantic Data Integration on the Web of Open Data" - Marie-Christine Rousset (University Grenoble-Alpes, Institut Universitaire de France) "Datalog revisited for reasoning in Linked Data" - Torsten Schaub (University of Potsdam, Germany and Inria, Bretagne Atlantique, Rennes, France) "A Tutorial on Hybrid Answer Set Solving" - Juan Sequeda (Capsenta, USA) "Integrating Relational Databases with the Semantic Web" - Giorgos Stamou (National Technical University of Athens, Greece) "Ontological query answering over semantic data" == LECTURE NOTES == The course material used during the summer school will be published within Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees. == HOW TO APPLY == A limited number of participation tokens is still available and will be assigned on a first come, first served basis. The attendees can ask to participate by submitting a brief statement of interest to rw2017 at easychair.org Approval and instructions on how to complete registration will follow. == SCHOOL FEES == The fee for attending the school is 370 GBPs. The fee covers school registration, coffee breaks, and a copy of the school volume published as Springer LNCS proceedings. Joint Registration to RW and RuleML+RR is also possible, with a fee of 485 GBPs. Students that plan to participate to both RW and RuleML+RR have to indicate it in their application. == SCHOOL VENUE == Birkbeck, University of London, Malet St, London WC1E 7HX, UK == STUDENT ACCOMMODATIONS == University of London offers accommodations in its student residences. Prices start from 47 GPBs per night. For details visit http://staycentral.london.ac.uk/accommodation/ All listed locations are within a walking distance of 15-20 minutes from the school venue. == COMMITTEE == *Chairs Giovambattista Ianni, Università della Calabria Domenico Lembo, Sapienza Università di Roma *Scientific Advisory Board Leopoldo Bertossi, Carleton University Wolfgang Faber, University of Huddersfield Birte Glimm, Universität Ulm Georg Gottlob, Oxford University Steffen Staab, University of Koblenz-Landau == CONTACT == For further information, contact the school chairs (rw2017 at easychair.org) -- Prof. Giovambattista Ianni, DeMaCS - UNICAL, Rende, Italy From woltran at dbai.tuwien.ac.at Mon Jun 26 08:01:15 2017 From: woltran at dbai.tuwien.ac.at (Stefan Woltran) Date: Mon, 26 Jun 2017 08:01:15 +0200 (CEST) Subject: FoIKS 2018 -- Call for Papers Message-ID: **Apologies for cross-postings*** Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to FoIKS 2018. Abstract submission deadline is November 24, 2017. ===================== FoIKS 2018 | Call for Papers ======================== CALL FOR PAPERS 10th Int'l. Symposium on Foundations of Information and Knowledge Systems May 14-18, 2018 Alfred Renyi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary http://2018.foiks.org/ The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2018 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. Previous FoIKS symposia were held in Linz (Austria) in 2016, Bordeaux (France) in 2014, Kiel (Germany) in 2012, Sofia (Bulgaria) in 2010, Pisa (Italy) in 2008, Budapest (Hungary) in 2006, Vienna (Austria) in 2004, Schloss Salzau near Kiel (Germany) in 2002, and Burg/Spreewald near Berlin (Germany) in 2000. FoIKS took up the tradition of the conference series Mathematical Fundamentals of Database Systems (MFDBS), which initiated East-West collaboration in the field of database theory. Former MFDBS conferences were held in Rostock (Germany) in 1991, Visegrad (Hungary) in 1989, and Dresden (Germany) in 1987. Submission Guidelines ===================== All papers must be original and not simultaneously submitted to another journal or conference. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair at https://easychair.org/conferences/?conf=foiks2018 Suggested Topics ================ The suggested topics include, but are not limited to: Database Design: formal models, dependencies and independencies; Big Data: models for data in the Cloud, programming languages for big data, query processing; Dynamics of Information: models of transactions, concurrency control, updates, consistency preservation, belief revision; Information Fusion: heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency; Integrity and Constraint Management: verification, validation, consistent query answering, information cleaning; Intelligent Agents: multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, negotiations and dialogue, logical models of emotions; Knowledge Discovery and Information Retrieval: machine learning, mining, formal concept analysis and association rules, text mining, information extraction; Knowledge Representation, Reasoning and Planning: non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, computation models of argument, argumentation systems; Logics in Databases and AI: classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability logic, fuzzy logic; Mathematical Foundations: discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness; Security in Information and Knowledge Systems: identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management; Semi-Structured Data and XML: data modelling, data processing, data compression, data exchange; Social Computing: collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems; The Semantic Web and Knowledge Management: languages, ontologies, agents, adaption, intelligent algorithms, ontology-based data access; and The WWW: models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining. Program Committee ================= Yamine Ait Ameur, France Pablo Barcelo, Chile Kim Bauters, Northern Ireland, UK Christoph Beierle, Germany Leopoldo Bertossi, Canada Philippe Besnard, France Nicole Bidoit, France Meghyn Bienvenu, France Joachim Biskup, Germany Marina De Vos, UK Michael Dekhtyar, Russia Dragan Doder, Serbia Thomas Eiter, Austria Christian Fermueller, Austria Marc Gyssens, Belgium Edward Hermann Haeusler, Brazil Martin Homola, Slovakia Anthony Hunter, England Gabriel Istrate, Romania Gyula Y. Katona, Hungary Gabriele Kern-Isberner, Germany Attila Kiss, Hungary Ioannis Kokkinis, France Sebastien Konieczny, France Juha Kontinen, Finland Nicola Leone, Italy Sebastian Link, New Zealand Thomas Lukasiewicz, UK Sofian Maabout, France Jorge Martinez-Gil, Austria Henri Prade, France Elena Ravve, Israel Sebastian Rudolph, Germany Attila Sali, Hungary Vadim Savenkov, Austria Klaus-Dieter Schewe, Austria Thomas Schwentick, Germany Kostyantyn Shchekotykhin, Austria Csaba Istvan Sidlo, Hungary Guillermo Ricardo Simari, Argentina Mantas Simkus, Austria Bernhard Thalheim, Germany Alex Thomo, Canada Mirek Truszczynski, USA Gyorgy Turan, USA Jose Turull-Torres, Argentina/New Zealand Dirk Van Gucht, USA Jonni Virtema, Finland Qing Wang, Australia Program Chairs ============== Flavio Ferrarotti, Software Competence Center Hagenberg, Austria. Stefan Woltran, TU Wien, Austria. Local Organization Chair ======================== Attila Sali, Alfred Renyi Institute of Mathematics, Hungary. Invited Speakers ================ Laura Kovacs, TU Wien, Austria. Sebastian Link, University of Auckland, New Zealand. David Pearce, Technical University of Madrid, Spain (supported by ALP). Bernhard Thalheim, Christian-Albrechts-University at Kiel, Germany. Publication =========== The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2018 special issue of the Annals of Mathematics and Artificial Intelligence. Venue ===== The conference venue will be the renowned Alfred Renyi Institute of Mathematics at the Hungarian Academy of Sciences (for more information on the venue, see http://www.renyi.hu/contact.html Important Dates =============== Abstract submission deadline: November 24, 2017 Paper submission deadline: December 01, 2017 Author notification: February 02, 2018 Camera-ready paper due: February 16, 2018 FoIKS 2018 Symposium: May 14-18, 2018 Scientific Sponsorship ====================== Association for Logic Programming (ALP) European Association for Theoretical Computer Science Vienna Center for Logic and Algorithms Student Grants ============== Students of accepted papers on logic programming related topics can apply to the student travel grant of ALP to attend FoIKS 2018. Contact ======= All questions about submissions should be emailed to woltran at dbai.tuwien.ac.at and flavio.ferrarotti at scch.at Web page: http://2018.foiks.org/ From akshayss at cse.iitb.ac.in Tue Jun 27 09:08:45 2017 From: akshayss at cse.iitb.ac.in (Akshay S.) Date: Tue, 27 Jun 2017 12:38:45 +0530 Subject: FSTTCS 2017 --- Call for Papers [papers due by July 24] Message-ID: <8ad9a603ad826621a762ce10839e13d0@cse.iitb.ac.in> (apologies for multiple copies/cross posting) CALL FOR PAPERS =============== 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) Kanpur, India, December 11 - 15, 2017 ---------------- Conference website: http://fsttcs.org/ Submission website: https://easychair.org/conferences/?conf=fsttcs2017 Paper submission deadline: Monday, July 24, 2017 (Anywhere on earth) Notification to Authors: Monday, September 18, 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 dgm at sfu.ca Wed Jun 28 09:01:52 2017 From: dgm at sfu.ca (David Mitchell) Date: Wed, 28 Jun 2017 00:01:52 -0700 (PDT) Subject: Call for Presentations: LaSH 2017 Workshop on Logic and Search Message-ID: <870032855.76650115.1498633312466.JavaMail.zimbra@sfu.ca> First Call for Presentations: LaSh 2017 Workshop on Logic and Search Affiliated with SAT, CSP and ICLP 2017 August 28 2017, Melbourne, Australia LogicAndSearch.org/LaSh2017 LaSh brings together researchers interested in logic-based methods for representing and solving search and optimization problems. The main areas of interest include logics and declarative system languages for specifying search problems; design and construction of solvers and grounders; ground languages and solvers; theoretical analyses of languages and algorithms; application and experimental evaluation of systems. LaSh emphasizes discussion and exchange of ideas among researchers with related interests who may not normally attend the same major conferences. We welcome summaries or surveys of a body of work, new technical work, presentation of speculative work and challenge or position talks. Topics of interest include: - Logics and representation languages for high-level problem specification; - Model finders and ground solvers (e.g., SAT, ASP and SMT solvers etc.); - Grounding and grounding-based solving systems; - Modularity, compositionality and integration of heterogeneous solvers; - Pre-processing and automated reasoning over specifications; - Distributed and parallel solving; - Declarative solver construction and meta-programming; - Exploitation of problem and instance structure; - Recent developments in tools or applications. Researchers interested in giving a 20 to 30 minute talk should submit a proposal, in the form either of a 1 or 2 page pdf abstract, or a full paper in any common format. Submissions should be sent by email to dgm at sfu.ca, with the subject LaSh 2017 Submission. In the case of a paper, please indicate if it is new work or not. All submissions will be reviewed by PC members. LaSh does not have a formal publication. Accepted presentations will be posted on the workshop homepage. IMPORTANT DATES (AoE): * Submission: Wednesday July 12 * Notification: Wednesday July 19 * Final version: Monday 15 May 2017 * Workshop: Monday June 19 2017 Organizer Contact: Please send enquiries to David Mitchell at dgm at sfu.ca. Program Committee: Bart Bogaerts, KU Leuven Marc Denecker, KU Leuven Marijn Heule, University of Texas at Austin Tomi Janhunen, Aalto University Victor Marek, University of Kentucky David Mitchell, Simon Fraser University Shahab Tasharrofi, Aalto University Eugenia Ternovska Simon Fraser University Mirek Truszczynski, University of Kentucky Stefan Woltran, TU Wien -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From stefano.borgo at cnr.it Wed Jun 28 19:06:27 2017 From: stefano.borgo at cnr.it (Stefano Borgo) Date: Wed, 28 Jun 2017 19:06:27 +0200 Subject: 2nd CfP SHAPES 4.0 @ JOWO 2017 In-Reply-To: References: Message-ID: <70b803d7-7a70-0f1c-ec20-29b926143f5a@cnr.it> -- 2nd 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/ *** Submission deadline: July 17 *** *** 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 Thu Jun 29 22:42:31 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Thu, 29 Jun 2017 22:42:31 +0200 Subject: ODLS 2017: 2nd Call for Papers, by Jul 17 (Ontologies and Data in Life Sciences, Sep 22-23, Bolzano, Italy; part of JOWO 2017) Message-ID: <201706292042.v5TKgZfp027856@isun.informatik.uni-leipzig.de> (apologies for cross-posting ... please distribute) ------------------------------------------------------- 2nd Call for Papers >> ODLS 2017 << Submission deadline: July 17, 2017 https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS 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 --------------------------- * 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" (further invitations pending, see [1] for updates) 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 * 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 (further invitations pending, see [1] for updates) 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 C.Orasan at wlv.ac.uk Fri Jun 30 13:17:41 2017 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Fri, 30 Jun 2017 11:17:41 +0000 Subject: 2 PhD studentships in Translation Technology Message-ID: <1498821460.7520.3.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 dilian at csc.kth.se Fri Jun 30 13:33:02 2017 From: dilian at csc.kth.se (Dilian Gurov) Date: Fri, 30 Jun 2017 13:33:02 +0200 Subject: CSL 2017 Call for Participation In-Reply-To: References: Message-ID: <43316e0b-84db-05b2-5081-2aee206aea02@csc.kth.se> ================================================================== CALL FOR PARTICIPATION 26th EACSL Annual Conference on Computer Science Logic CSL 2017 August 20 -- 24, 2017, Stockholm, Sweden http://logic.math.su.se/csl-2017 ================================================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science. CSL 2017 is the 26th EACSL annual conference. It is co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL 2017 will be co-located with several other logic-related events, taking place at Stockholm University, including the 3rd Nordic Logic Summer School, NLS 2017, August 7-11, and the Logic Colloquium 2017 (LC 2017), August 14-20. INVITED SPEAKERS ---------------- Invited highlight speakers for the LC-CSL joint session on August 20: Veronica Becher (University of Buenos Aires) Phokion Kolaitis (University of California Santa Cruz and IBM Research - Almaden) Pierre Simon (UC Berkeley) Wolfgang Thomas (RWTH Aachen) CSL plenary speakers: Laura Kovács (Vienna University of Technology) Stephan Kreutzer (Technische Universität Berlin) Meena Mahajan (Institute of Mathematical Sciences, Chennai) Margus Veanes (Microsoft Research) CONTRIBUTED TALKS ----------------- The call for submissions is already closed. There will be 35 full talks on contributed papers and 8 short talks in the program of CSL 2017. PROGRAM AND SCHEDULE -------------------- The detailed program and schedule of CSL 2017 can be found on http://easychair.org/smart-program/CSL2017/ SPECIAL AND AFFILIATED EVENTS ----------------------------- In addition to the plenary and contributed talks CSL 2017, the conference will also include the following events: • Presentation of the Alonzo Church award for Outstanding Contributions to Logic and Computation, • Presentation of the EACSL Ackermann award for Outstanding Dissertation on Logic in Computer Science, • CSL-affiliated workshops, to be held as CSL co-located events: — Workshop on Logic and Algorithms in Computational Linguistics LACompLing'17 (August 16-19) — Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2017 (August 25) — Workshop on Logic and Automata Theory (in memory of Zoltan Ezik) (August 25) Further information about all events can be found on http://logic.math.su.se/logic-in-stockholm-2017 SOCIAL PROGRAMME ---------------- The social programme of CSL 2017 will include a reception at Stockholm City Hall on August 21, a boat trip excursion and a conference dinner on August 23. REGISTRATION ------------ The early registration fee, for students and participants from developing countries, is 1800 SEK per participant, including VAT (approx. 190 EUR), and includes coffee breaks and conference materials. For all others the early registration fee is 2800 SEK, including VAT. Late registration is 3400 SEK for regular participants, and 2400 SEK for reduced fee participants. A discount of 500 SEK applies if registering for both LC 2017 and CSL 2017. The registration fee does not cover accommodation, but there are special offers at hostels and hotels (in the range 700-1200 SEK per night for single rooms) available. Link for the registration page: https://www.axacoair.se/go?OCWMn95D Late registration deadline: August 8, 2017. PROGRAMME COMMITTEE ------------------- • Parosh Aziz Abdulla (University of Uppsala), • Lars Birkedal (University of Aarhus), • Nikolaj Bjorner (Microsoft Research), • Maria Paola Bonacina (Università degli Studi di Verona), • Patricia Bouyer-Decitre (LSV, ENS Cachan), • Agata Ciabattoni (University of Viena), • Thierry Coquand (University of Gothenburg), • Mads Dam (KTH, Stockholm), PC co-chair • Ugo Dal Lago (University of Bologna), • Anuj Dawar (Cambridge University), • Valentin Goranko (Stockholm University), PC co-chair • Maribel Fernandez (King's College London), • Martin Grohe (RWTH Aachen), • Lauri Hella (University of Tampere), • Joost-Pieter Katoen (RWTH Aachen), • Orna Kupferman (University of Jerusalem), • Leonid Libkin (University of Edinburgh), • Angelo Montanari (University of Udine), • Catuscia Palamidessi (Paris, INRIA), • Frank Pfenning (Carnegie Mellon University, Pittsburgh) • Ram Ramanujam (Institute of Mathematical Sciences, Chennai), • Jean-Francois Raskin (University of Bruxelles), • Thomas Schwentick (TU Dortmund University), • Viorica Sofronie-Stokkermans (University of Koblenz-Landau), • Thomas Streicher (University of Darmstadt), • Jean-Marc Talbot (University of Aix-Marseille), • Luca Viganò (King's College London), • Ron van der Meyden (UNSW Australia), • Lijun Zhang (Chinese Academy of Sciences, Beijing). ORGANISING COMMITTEE -------------------- • Stefan Buijsman, Department of Philosophy, Stockholm University • Mads Dam (OC co-chair), Department of Computer Science, KTH • Jacopo Emmenegger, Department of Mathematics, Stockholm University • Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University • Dilian Gurov (workshops chair), Department of Computer Science, KTH • Eric Johannesson, Department of Philosophy, Stockholm University • Vera Koponen, Department of Mathematics, Uppsala University • Johan Lindberg, Department of Mathematics, Stockholm University • Roussanka Loukanova, Department of Mathematics, Stockholm University • Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University • Anders Lundstedt, Department of Philosophy, Stockholm University • Karl Nygren, Department of Philosophy, Stockholm University • Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University CONTACTS AND ENQUIRIES ---------------------- With enquiries on organising matters, send email to: CSL2017philosophy.su.se With enquiries on scientific and programme issues, send email to: CSL2017easychair.org From newsletter at saso-conference.org Fri Jun 30 23:40:54 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Fri, 30 Jun 2017 23:40:54 +0200 Subject: =?utf-8?b?Q2ZQRCBFeHRlbmRlZCBEZWFkbGluZTogU0FTTyAyMDE3IC0gSUVFRSBJ?= =?utf-8?b?bnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gU2VsZi1BZGFwdGl2ZSBh?= =?utf-8?b?bmQgU2VsZi1Pcmdhbml6aW5nIFN5c3RlbXMsIFNlcHRlbWJlciAxOC0y?= =?utf-8?b?MiwgVHVjc29uLCBBcml6b25h?= Message-ID: ************************************************************************* CALL FOR POSTERS AND DEMOS The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) EXTENDED DEADLINES: Submission deadline: July 7, 2017 Notification: July 10, 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) ==== Aims and Scope ==== FAS* conference continues its tradition of offering poster and demo sessions, which are a great opportunity for an interactive presentation of emerging ideas, late-breaking results, experiences, and challenges on FAS* topics. These sessions are informal and highly interactive, and allow authors and participants to engage in in-depth discussions about the presented work from which new collaborations, ideas, and solutions can emerge. Posters should cover the same key areas as Research Papers and present original, cutting-edge ideas inclusive of speculative/provocative ones. Proposals of new research directions and innovative interdisciplinary approaches are also welcome. Submissions in the following areas are particularly encouraged: - Self-* systems theories, frameworks, models, and paradigms, including the ones inspired by the biological, social, and physical worlds. - Self-* systems engineering: goals and requirements, hardware and software design, deployment, management and control, validation. - Properties of self-* systems: self-organisation and emergent behaviour, self-adaptation, self-management, self-monitoring, self-tuning, self-repair, self-configuration, etc. - Evaluation of self-* systems: methods for performance, robustness, dependability assessment and analysis. - Social self-* systems: emergent human behaviour, crowdsourcing, collective awareness, gamification and serious games. - Applications and experiences with self-* systems: cyber security, transportation, computational sustainability, power systems, large networks, large data centers, and cloud computing. - Autonomic Cloud Computing: Self-managing cloud services. Autonomic resource and energy management in cloud computing. Autonomic cloud applications and services - Autonomic Computing Foundations and Design Methods: Evaluation, validation and quality and correctness assessment of autonomic loops. Theoretical frameworks for modeling and analyzing autonomic computing systems, control and decision theory - Autonomic Computing Systems, Tools and Applications: Self-protection techniques of computing systems, networks and applications. Stochastic analysis and prediction of autonomic systems and applications Demos may target virtual systems (e.g., software applications), physical systems (e.g., robots or sensor networks), or cyber-physical systems combining the two. Physical systems might be presented either with real equipment, by simulation, or hybrid solutions using both simulations and real platforms. Submissions which highlight the utility and general applicability of the contribution - whether short, medium or long term - are particularly solicited, and interactivity of a demo is considered a further asset. ==== Important Dates ==== Submission deadline: July 7, 2017 Notification: July 10, 2017 Camera-ready copy due: July 12, 2017 Conference: September 18-22, 2017 ==== Submission Instructions ==== For evaluation and selection, authors should submit a two-page extended abstract for their poster or demo. The format of this extended abstract must comply with the IEEE Computer Society Press proceedings style guide and shall be submitted electronically in PDF format. Templates for Word and LaTeX are available here. Demo submissions must include a URL of a website providing a self-explanatory video showing the system at work. Please visit the SASO website for further information on how to submit: www.saso-conference.org ==== Accepted Posters and Demos ==== If selected, authors shall prepare a final, camera-ready version of the extended abstract, taking into account all feedback from the reviewers, and formatted according to the IEEE Computer Society Press proceedings style guide. Posters and Demos will be advertised in the final program, and authors’ two-page extended abstracts will be submitted to IEEE Xplore as part of the conference proceedings. Abstracts will also be available as part of the IEEE Digital Library. At least one author of accepted posters or demos is required to register at the conference, give a brief presentation of the poster or demo in the interactive session, as well as stay with the poster and/or demo to discuss the work with conference attendees for the duration of the scheduled session. ==== Poster Content and Layout Guidelines ==== Authors shall prepare their poster for presentation in the reserved session, taking into consideration that all posters should include the following information: - The purpose and goals of the work. - Any background and motivation needed to understand the work. - Any critical hypotheses and assumptions that underlie the work. - A clear summary of the contribution and/or results, in sufficient detail for a (re)viewer to understand the work and its relevance. If the work is at an initial stage, it is especially important to state clearly the anticipated contributions and any early results towards them. - The relationship to other related efforts, where appropriate. Authors of accepted posters may be asked to point out relationships to work represented by other accepted posters. - Where to find additional information. This should include but is not restricted to: a web site where viewers can go to find additional information about the work; how to contact the authors, including email addresses; for any papers, books, or other materials that provide additional information. The format and nature of posters require authors to capture the viewers’ attention effectively, and present core concepts to clearly position the context of their research work. For this reason, graphic representations, figures, and screen shots are typically the main medium of communication in successful posters. Few attendees will stop to read a large poster with dense text. If screen shots are used, please ensure that they print legibly and that the fonts are large enough to be read easily once printed. The recommended size for the poster is A0, and all poster authors are required to print and bring their posters to the conference. ==== Demo Guidelines ==== At the conference, software applications will be presented on computers. For cyber-physical systems, if possible, authors are invited to bring their equipment (smart devices, sensors, actuators, robots, et cetera). Software simulations or video recordings can be accepted as an alternative. Additionally, authors must bring a poster summarising their system and demo, following the above guidelines. ==== Evaluation and Awards ==== Submitted demos will undergo a selection process based to equal parts on the quality of the short paper (novelty and impact, technical soundness and presentation) and the online demo system (design, degree of innovation, technical solution, applicability, clarity of the contribution and potential of reuse). At least one author of accepted demos is required to register to the conference and to do an on-site presentation and demonstration of the contributions to the evaluation committee, as well as the other conference attendees. The evaluation committee, consisting of the Demo Program Committee members attending the conference, will award a prize for the best demo in each system category, with cyber-physical systems classifying for both. ==== Contact Information ==== For any further information, please contact the Posters and Demos Chair.