SIGLOG Monthly 204 January 31, 2020 ******************************************************************* * Past issues of the newsletter are available at https://lics.siglog.org/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at https://lics.siglog.org/newsletters/inst.html ******************************************************************* TABLE OF CONTENTS * SIGLOG MATTERS 2020 ALONZO CHURCH AWARD - Call for Nominations * DEADLINES Forthcoming Deadlines * CALLS BCTCS & AlgoUK 2020 - Call for Talk Proposals/Participation PLACES 2020 - Call for Papers ENGELER/SPECKER CONFERENCE - Call for Participation FSCD 2020 - Call for Papers ICALP 2020 - Call for Papers LPAR-23 - Call for Papers PRESBURGER AWARD 2020 - Call for Nominations GAIW 2020 - Call for Papers ICGT 2020 - Call for Papers GANDY COLLOQUIUM - Call for Participation HCVS 2020 - Call for Papers EPIP 2020 - Call for Papers MC 2020 - Call for Benchmarks AiML 2020 - Call for Papers SR2020 - Call for Papers LoDE 2020 - Call for Papers MFPS XXXVI - Call for Papers ACKERMANN AWARD 2020 - Call for Nominations AUTOMATA 2020 - Call for Papers BETH PRIZE 2020 - Call for Nominations WoLLIC 2020 - Call for Papers ICGI 2020 - Call for Papers 2020 ALONZO CHURCH AWARD FOR OUTSTANDING CONTRIBUTIONS TO LOGIC AND COMPUTATION Call for Nominations https://siglog.org/alonzo-church-award-call-2020/ * INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Goedel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. Previous awardees are listed at https://www.eatcs.org/index.php/church-award. * NOMINATIONS Nominations for the 2020 award are now being solicited. The nominating letter must summarize the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self-nominations are excluded. Nominations must include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the contribution; and a detailed statement (not exceeding four pages) to justify the nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness. * DEADLINE Nominations should be submitted to firstname.lastname@example.org by April 1, 2020. * PRESENTATION OF THE AWARD The 2020 award will be presented at CSL 2021, the annual conference of the European Association for Computer Science Logic, which is scheduled to take place in Athens in January 2021. The award will be accompanied by an invited lecture by the award winner, or by one of the award winners. The awardee(s) will receive a certificate and a cash prize of USD 2,000. If there are multiple awardees, this amount will be shared. * AWARD COMMITTEE The 2020 Alonzo Church Award Committee consists of the following five members: Mariangiola Dezani, Thomas Eiter (chair), Javier Esparza, Radha Jagadeesan, Natarajan Shankar. DATES * BCTCS & AlgoUK 2020 - Talk Proposals: February 1; Registration: March 1, 2020 * PLACES 2020 - Submission: February 2, 2020 * ENGELER/SPECKER CONFERENCE - Registration: February 2, 2020 * FSCD 2020 - Abstracts: February 6, 2020 * ICALP 2020 - Submission: February 12, 2020 * LPAR-23 - Papers: February 15, 2020 * 2020 PRESBURGER AWARD - Nominations: February 15, 2020 * GAIW 2020 - Papers: February 16, 2020 * ICGT 2020 - Abstracts: February 21, Papers: February 28, 2020 * GANDY COLLOQUIUM - Workshop: February 22, 2020 * HCVS 2020 - Papers: February 26, 2020 * EPIP 2020 - Submissions: March 2, 2020 * MC 2020 - Benchmarks: March 5, 2020 * AiML 2020 - Abstracts: March 11, 2020 * SR2020 - Papers: March 13, 2020 * LoDE 2020 - Submissions: March 22, 2020 * MFPS XXXVI - Abstracts: March 30, 2020 * 2020 ACKERMANN AWARD - Nominations: April 1, 2020 * 2020 CHURCH AWARD - Nominations: April 1, 2020 * AUTOMATA 2020 - Papers: April 15, 2020 * 2020 BETH PRIZE - Nominations: April 15, 2020 * WoLLIC 2020 - Paper deadline: April 15, 2020 * ICGI 2020 - Submissions: May 1, 2020 36TH BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE (BCTCS & AlgoUK 2020) Call for Talk Proposals/Participation 6th - 8th April 2020, Swansea, UK http://www.cs.swan.ac.uk/bctcs2020 * AIMS The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, game theory, types, languages and logics. * BCTCS 2020 is being held together with the Fourth AlgoUK workshop which includes a session on Verification of Railway Control Systems. There will also be a special evening public forum on Formal Methods in Software Engineering. * INVITED SPEAKERS Petra Berenbrink - University of Hamburg (TBC) Simon Chadwick - Siemens Rail Automation UK (TBC) Robert Constable - Cornell University Mike Hinchley - University of Limerick Cliff Jones - University of Newcastle Bas Luttik - University of Eindhoven Tom Maibaum - McMaster University David Manlove - University of Glasgow Jan Peleska - Bremen University Patrick Totzke - University of Liverpool Helen Treharne - University of Surrey John Tucker - Swansea University (TBC) Kristina Vuskovic - University of Leeds * SUBMISSION OF PRESENTATIONS Participants wishing to give a 30 minute contributed talk on any topic within the scope of the colloquium are invited to submit a title and abstract via the BCTCS'2020 webpage. Presentations from research students and early career researchers are particularly encouraged. The titles and abstracts of all invited and contributed talks will appear in the Bulletin of the EATCS. * REGISTRATION AND BURSARIES Registration information is available at the BCTCS'2020 webpage. We have a number of bursaries worth GBP 200 which can be used to reimburse the travel and accommodation expenses of UK-based researchers and PhD students. We hope to be able to offer these to all participants who provide a talk; but in the case of over-subscription, they will be allocated on a first-come, first-served basis. Hence, do propose a talk early. * IMPORTANT DATES (DEADLINES) Talk proposals: 1 February 2020 Registration: 1 March 2020 Meeting: 6-8 April 2020 * ORGANIZERS Ulrich Berger, Phil James, Faron Moller, Liam O'Reilly, Filipos Pantekis, Olga Petrovska, Markus Roggenbach, Monika Seisenberger (Swansea University); and Daniel Paulusma, Iain Stewart (Durham University) 12TH WORKSHOP ON PROGRAMMING LANGUAGE APPROACHES TO CONCURRENCY- AND COMMUNICATION-CENTRIC SOFTWARE (PLACES 2020) Call for Papers 26 April 2020 Dublin, Ireland (co-located with ETAPS) http://places20.by.di.fc.ul.pt * GENERAL For over a decade, PLACES has been a popular forum for researchers from different fields to exchange new ideas about challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. * SUBMISSIONS Submissions are welcomed in the general area of programming language approaches to concurrency, communication, and distribution and may range from foundational issues to language implementations, applications and case studies. Submissions will be peer-reviewed by a minimum of three reviewers, with the aim of allocating at least one expert reviewer. Submissions will be assessed based on their **novelty**, **clarity**, **technical soundness** and their **potential to foster fruitful discussions at the workshop**. Submissions must not be submitted for publication elsewhere and must be formatted in EPTCS format, containing a maximum of 8 pages (with no restriction on bibliography or appendices, which the reviewers need not read). Accepted papers will be published as an issue of EPTCS. After the workshop, there will be an open call for submissions to a **JLAMP special issue** aimed at accommodating extended versions of accepted papers and other contributions on the themes of PLACES 2020. * KEY DATES - Submission deadline: 2 February 2020, AOE (extended) - Author notification: 28 February 2020, AOE - Camera ready: 13 March 2020, AOE - Workshop: 26 April 2020 - ETAPS: 25-30 April 2020 * CHAIRS - Stephanie Balzer, Carnegie Mellon University - Luca Padovani, Università di Torino * ORGANIZING COMMITTEE - Simon Gay, University of Glasgow - Vasco T. Vasconcelos, Universidade de Lisboa - Nobuko Yoshida, Imperial College London CELEBRATING AND COMMEMORATING - CELEBRATING ERWIN ENGELER'S 90TH BIRTHDAY AND COMMEMORATING ERNST SPECKER'S CENTENARY Call for Participation February 21-22, 2020, Zurich, Switzerland https://math.ethz.ch/news-and-events/events/conferences-and-workshops/2020/celebrating-engeler-specker.html * AIMS In February 2020 will be Ernst Specker's centenary and Erwin Engeler's 90th birthday. The Annual Meeting 2020 of the Swiss Society for Logic and Philosophy of Science will celebrate these two great and big birthdays. Succeeding Paul Bernays, these two prominent scientists from Zurich had a sustainable impact on mathematical logic and its relation to philosophy and informatics in the second half of the 20th century. The goal of the conference is to recall the work of those two great Swiss logicians and to point to its continuing significance and effectiveness. As this work is at the interface between mathematics, logic, philosophy, informatics and physics, the conference will be of special interest for researchers and students in those different scientific disciplines. * SPEAKERS The confirmed speakers include: Karl Aberer (Lausanne), Beat Brüderlin (Ilmenau), Jürg Fröhlich (Zürich), Erich Grädel (Aachen), Wolfgang Küchlin (Tübingen), Angus Macintyre (London), Roman Mäder (Zürich), Janos Makowsky (Haifa), Preda Mihailescu (Göttingen), Stefan Wolf and Arne Hansen (Bern/Lugano), Stathis Zachos (Athens). * FEE The participation is free of charge. If you like to attend the conference dinner on Friday evening (CHF 100,- without drinks) please register up to February 2nd by sending an email to Giovanni Sommaruga (email@example.com). The conference is supported by the Swiss Academy of Sciences as well as by the Swiss Mathematical Society. * ORGANIZERS Gerhard Jäger (Bern), Reinhard Kahle (Tübingen), Giovanni Sommaruga (Zurich) 5TH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD 2020) Call for Papers June 29 - July 5, 2020 Paris, France http://fscd2020.org/ * FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). * PUBLICATION The proceedings will be published as an elec- tronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. * SPECIAL ISSUE Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science. * SUBMISSION GUIDELINES Submissions can be made in two categories. Regular research papers are limited to 15 pages (including references, with the possibility to add an annex for technical details, e.g. proofs) and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. Complete instructions on submitting a paper can be found on the conference web site. * BEST PAPER AWARD BY JUNIOR RESEARCHERS The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). * IMPORTANT DATES All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: February 6, 2020 Submission: February 9, 2020 Rebuttal: March 27-29, 2020 Notification: April 13, 2020 Final version: April 27, 2020 * PC CHAIR Zena M. Ariola, University of Oregon INTERNATIONAL COLLOQUIUM ON AUTOMATA, LOGIC AND PROGRAMMING (ICALP 2020) Call for Papers July 8-12 2020, Beijing, China http://econcs.pku.edu.cn/icalp2020/ * UPDATE The ICALP Steering Committee is aware of the current medical situation in China, and related travel advisories. It is monitoring the situation and considering possible options, including re-locating the conference, should this prove necessary. An announcement on this will be made no later than the first week of April. * GENERAL ICALP (International Colloquium on Automata, Languages and Programming) is the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science (EATCS). ICALP 2020 will be hosted at Peking University, in co-location with LICS 2020 (ACM/IEEE Symposium on Logic in Computer Science). * SUBMISSION Paper submission deadline: February 12, 2020, AoE https://easychair.org/conferences/?conf=icalp2020 Guildelines: https://easychair.org/conferences/?conf=icalp2020 * INVITED SPEAKERS Track A: Virginia Vassilevska (MIT), Robert Krauthgamer (Weizmann) Track B: Stefan Kiefer (Oxford) Joint ICALP-LICS: Andrew Yao (Tsinghua), Jérôme Leroux (Bordeaux) * IMPORTANT DATES submission: February 12, 2020, AoE notifications: April 15, 2020 camera ready: April 28, 2020 * CHAIRS General chair: Xiaotie Deng (Peking University) PC Track A chair: Artur Czumaj (University of Warwick) PC Track B chair: Anuj Dawar (University of Cambridge) 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (LPAR-23) Call for Papers Alicante, Spain 22-27 May, 2020 https://easychair.org/smart-program/LPAR23/index.html * SCOPE The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. * SUBMISSION The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing (https://easychair.org/publications/EPiC/Computing). The volume will be open access and the authors will retain copyright. * IMPORTANT DATES - Paper submission deadline: February 15, 2020 - Author notifications: April 8, 2020 - Final paper deadline: April 24, 2020 - Conference: May 22-27, 2020 * PC CHAIRS - Elvira Albert, Complutense University of Madrid - Laura Kovacs, TU Wien 2020 PRESBURGER AWARD FOR YOUNG SCIENTISTS 2020 Call for Nominations * CONTEXT Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (today called Presburger arithmetic) as a student in 1929. * NOMINATIONS Nominations for the Presburger Award can be submitted by any member or group of members of the theoretical computer science community except the nominee and his/her advisors for the master thesis and the doctoral dissertation. Nominated scientists have to be at most 35 years old on January 1st of the year of the nomination (i.e., for the Presburger Award of 2020 the birth year should be 1984 or later). The Presburger Award Committee of 2020 consists of Thore Husfeldt (Lund University and IT University of Copenhagen), Meena Mahajan (The Institute of Mathematical Sciences, Chennai) and Anca Muscholl (LaBRI, Bordeaux, chair). Nominations, consisting of a two page justification and (links to) the respective papers, as well as additional supporting letters, should be sent by e-mail to: firstname.lastname@example.org The subject line of every nomination should start with Presburger Award 2020, and the message must be received before February 15th, 2020. * AWARD The award includes an amount of 1000 Euro and an invitation to ICALP 2020 for a lecture. 2ND GAMES, AGENTS AND INCENTIVES WORKSHOP (GAIW 2020) Call for Papers 9-13th May 2020, Auckland, New Zealand (collocated with AAMAS 2020) http://www.agent-games-2020.preflib.org/ * PAPER SUBMISSION Authors should submit full papers electronically in PDF format at https://easychair.org/conferences/?conf=gaiw2020 Formatting Guidelines: Please format papers according to the AAMAS 2020 format (author kit). Optionally, one may submit in LNCS format as well (LaTeX template). Paper Length: Papers can be at most 8 pages long in AAMAS format, or 12 pages long in LNCS format. Additional pages for may be used for references. We invite papers on topics of game theory, mechanism design, fair allocation, computational social choice, and their applications to multi-agent systems. * PUBLICATION to widen participation and encourage discussion, there will be no formal publication of workshop proceedings. We will, however, post the accepted papers online to the benefit of workshop participants. Therefore, submission of preliminary work and papers to be submitted or in preparation for submission to other major venues in the field are encouraged. * IMPORTANT DATES Submission Deadline: February 16th, 2020 Acceptance Notification: April 1st, 2020 GAIW workshop: May 9-13, 2020 (exact date TBD) * ORGANIZATION Program Chairs Haris Aziz (University of New South Wales) Sofia Ceppi (Prowler.io) John P Dickerson (University of Maryland) Omer Lev (Ben-Gurion University) Nicholas Mattei (Tulane University) Yair Zick (National University of Singapore) 13TH INTERNATIONAL CONFERENCE ON GRAPH TRANSFORMATION (ICGT 2020) Call for Papers June 22-26 Bergen, Norway (co-located with STAF 2020) http://icgt2020.di.unipi.it * AIMS AND SCOPE The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas. The 13th International Conference on Graph Transformation (ICGT 2020) will be held in Bergen, Norway, as part of STAF 2020 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. * IMPORTANT DATES Abstract submission: February 21, 2020 Paper submission: February 28, 2020 Notification: April 10, 2020 Camera-ready: May 01, 2020 Conference: June 22-26, 2020 * SUBMISSION Papers can be submitted at http://www.easychair.org/conferences/?conf=icgt2020 using Springer's LNCS format (http://www.springer.com/lncs). For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. The page limits are strict and include references. Papers are solicited in three categories: - Regular papers (limited to 16 pages in Springer LNCS format) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. We also solicit case studies describing applications of graph transformation in any application domain. - Tool presentation papers (limited to 8 pages in Springer LNCS format) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 4 pages), which will be reviewed but not included in the proceedings. - New ideas papers (limited to 2 pages in Springer LNCS format) report on relevant contributions to the theory or applications of graph transformation, which may have been published (or accepted for publication) in a peer-reviewed conference other than ICGT, as a book chapter or journal article since 2018. * PROGRAM CHAIRS Fabio Gadducci (University of Pisa, Italy) Timo Kehrer (Humboldt-Universität zu Berlin, Germany) ROBIN GANDY CENTENARY COLLOQUIUM Call for Participation Saturday 22 February 2020 Oxford, UK https://www.wolfson.ox.ac.uk/event/gandy-colloquium-0 * AIMS There will be a one-day Colloquium at Wolfson College Oxford. This event celebrates the centenary of Robin Gandy, a leading figure in Mathematical Logic, student and close friend of Alan Turing, Oxford University Reader in Mathematical Logic and a Fellow of Wolfson College. It will be a full day meeting with an outstanding set of speakers, including four of Gandy's former students, and ranging across topics in mathematical logic, philosophy of mathematics, and computer science, as well as personal reflections and historical perspectives. * SPEAKERS - Andrew Hodges (Oxford) "In search of lost time: Robin Gandy and Alan Turing? - Martin Hyland (Cambridge) "Robin Gandy's Intellectual Style" - Jeff Paris (Manchester). "The Pure Inductive Logic Program, and some memories of Robin" - Göran Sundholm (Leiden) "The Proof Theory of Robin Gandy" - Christine Tasson (Paris) "The Full Abstraction problem: 40 years of research" - Philip Welch (Bristol) "The Spector-Gandy theorem and its descendants: a commentary" - Marianna Antonutti Marfori (Munich) TBA * DETAILS See the web page at https://www.wolfson.ox.ac.uk/event/gandy-colloquium-0 Registration is required. This can be done at https://www.oxforduniversitystores.co.uk/short-courses/computer-science/events/gandy-colloquium * ORGANIZING COMMITTEE Samson Abramsky (Chair), Daniel Isaacson, Jonathan Pila, and Alex Wilkie. * ENQUIRIES email@example.com 7TH WORKSHOP ON HORN CLAUSES FOR VERIFICATION AND SYNTHESIS (HCVS 2020) Call for Papers Sunday 26 April 2020 Dublin, Ireland (Co-located with ETAPS 2020) https://www.sci.unich.it/hcvs20/ * AIMS Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the Constraint/Logic Programming, Verification, and Automated Deduction 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. * SCOPE 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. * IMPORTANT DATES - Paper submission: 26th February 2020 - Paper notification: 25th March 2020 - Camera-ready: 1st April 2020 - Workshop: 26th April 2020 * SUBMISSION Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Tool papers (up to 4 pages plus bibliography in EPTCS format), including the papers written by the CHC-COMP participants, which can outline the theoretical framework, the architecture, the usage, and experiments of the tool. - 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 reviewed by the program committee and will be selected for inclusion in accordance with the referee reports. 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=hcvs2020 WORKSHOP ON EPISTEMIC PLANNING (EPIP 2020) Call for Papers June 14-15, 2020 Nancy, France (affiliated with ICAPS 2020) https://icaps20.icaps-conference.org/workshops/epip * CONTEXT Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge. Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas. * TOPICS - Theory of mind, recursive reasoning - Modeling teams/groups of agents - Modeling other agents under partial observability - Modeling belief change in other agents - Modeling strategies and knowledge preconditions in games and knowledge-based programs - Reasoning about utilities and preferences of other agents - Formal/epistemic models of coordination and collaboration in multi-agent systems - Planning formalisms for epistemic planning - Action languages for epistemic planning - Algorithms for epistemic planning - Decidability and complexity results for epistemic planning variants - Search heuristics for epistemic planning - Epistemic planning benchmarks - Learning epistemic action theories - Methods for goal/intent/plan recognition - Epistemic reasoning in social robotics - (Dynamic) epistemic logic applied to goal recognition, diagnosis and/or planning - Novel applications of epistemic planning * IMPORTANT DATES Submission: March 2, 2020 23:59 (UTC-12) Notification: April 4, 2020 Workshop: June 14/15, 2020 * ORGANIZERS Thomas Bolander (Technical University of Denmark) Thorsten Engesser (University of Freiburg) Andreas Herzig (CNRS, IRIT Toulouse) Robert Mattmueller (University of Freiburg) Sheila McIlraith (University of Toronto) Bernhard Nebel (University of Freiburg) 1ST INTERNATIONAL COMPETITION ON MODEL COUNTING (MC 2020) Call for Benchmarks http://mccompetition.org/ * AIMS The 1st International Competition on Model Counting (MC 2020) is a competition to deepen the relationship between latest theoretical and practical development on the various model counting problems and their practical applications. It targets the problem of counting the number of models of a Boolean formula. MC 2020 aims to identify new challenging benchmarks and to promote new solvers for the problem as well as to compare them with state-of-the-art solvers. The MC 2020 follows a direction in the community of constraint solving, where already many competitions have been organized such as on ASP (7 editions), CSP (19 editions), SAT (19 editions), SMT (14 editions), MaxSAT Evaluation (13 editions), QBF (8 editions). MC 2020 invites submission of collections of (weighted) model counting instances in the s tandard DIMACS-based submission formats as given at the competition tracks. * SUBMISSION PROCEDURE A benchmark submission should consist of a single zip or gzipped tar package, containing the instance files and a description of the benchmarks. Please use appropriate file naming conventions, where suited. Ideally, each instance file name should contain a short descriptive part for the problem domain as well as the parameters used for generating the instance as applicable. The benchmark description must be submitted as PDF. The description should include author information with affiliations, a description of the problem domains, a description of the parameters used for generating the instances, and the file name convention. References should be used as appropriate. The benchmark descriptions will be posted on the MC 2020 website. Furthermore, the organizers are considering publishing the collection of system and benchmark descriptions on arxiv. * DEADLINE Please submit benchmarks by email to firstname.lastname@example.org using the subject title "MC 2020 benchmark submission" by March 5, 2020, 23:59 AoE the latest. * PROGRAM CHAIRS Markus Hecher (TU Wien, Vienna) Johannes K. Fichte (TU Dresden, Dresden) Results will be presented at the SAT 2020 conference. 13TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC (AiML 2020) Call for Papers August 17-21, 2020 Helsinki https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 * AIMS Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net AiML 2020 is the 13th conference in the series. * TOPICS We invite submissions on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - automated reasoning for modal logics - computational aspects of modal logic (complexity and decidability of modal and temporal logics, model checking, model generation) - theoretical aspects of modal logic (topological/algebraic/categorical perspectives on modal logic, co-algebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed-point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, conditional logics, spatial and temporal logics, hybrid logic, intuitionistic (modal) logics, intermediate logics, bunched implication and separation logics) Papers on related subjects will also be considered. * PAPER SUBMISSIONS There will be two types of submissions for AiML 2020: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at: https://easychair.org/conferences/?conf=aiml2020 At least one author of each accepted paper or short presentation must register for and attend the conference. * DATES Abstracts of full papers submission deadline: 11 March 2020 Full papers submission deadline: 18 March 2020 Full papers acceptance notification: 18 May 2020 Short presentations submission deadline: 25 May 2020 Short presentations acceptance notification: 8 June 2020 Final version of full papers and short presentations due: 11 June 2020 8TH INTERNATIONAL WORKSHOP ON STRATEGIC REASONING (SR 2020) Call for Papers Santiago de Compostela, Spain (affiliated with ECAI 2020) June 8, 2020 https://easychair.org/cfp/sr2020 * CONTEXT Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation. The SR international workshop series aims at bringing together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2020 will be held with ECAI 2020 in Santiago de Compostela, Spain. * TOPICS The topics covered by SR include, but are not limited to, the following: - Logics for reasoning about strategic abilities; - Logics for multi-agent mechanism design, verification, and synthesis; - Logical foundations of decision theory for multi-agent systems; - Strategic reasoning in formal verification; - Automata theory for strategy synthesis; - Strategic reasoning under perfect and imperfect information; - Applications and tools for cooperative and adversarial reasoning; - Robust planning and optimisation in multi-agent systems; - Risk and uncertainty in multi-agent systems; - Quantitative aspects in strategic reasoning. * SUBMISSIONS: We invite three types of submissions: (A) original contributions, (B) published work, and (C) challenging open problems. Submissions should be in PDF, preferably using the EPTCS style (http://style.eptcs.org), and not exceed 12 pages (not including bibliography). Submission webpage: https://easychair.org/conferences/?conf=sr20200 * IMPORTANT DATES: Paper submission: March 13, 2020 (AoE) Authors notification: April 15, 2020 Camera-ready deadline: May 15, 2020 * ORGANIZERS: Bastien Maubert, University of Naples Federico II Nir Piterman, University of Gothenburg WORKSHOP ON LOGICS OF DEPENDENCE AND INDEPENDENCE (LoDE 2020) Call for Papers 10-14 Aug 2020 (part of ESSLLI 2020) Utrecht, The Netherlands http://www.math.helsinki.fi/logic/LoDE2020/ * DESCRIPTION This is a workshop on "Logics of Dependence and Independence" consisting of a 5-day programme of invited and contributed talks. Logics of dependence and independence are novel non-classical logics aiming at characterizing dependence and independence notions in sciences. This field of research has grown rapidly in recent years. The framework of the logics has found applications also in fields like database theory, linguistics, social choice, quantum physics and so on. This workshop will bring together researchers from all these relevant areas and provide a snapshot of the state of the art of logics of dependence and independence. * SUBMISSION DETAILS We invite submissions of 5-page extended abstracts of contributed talks. The submission deadline is **March 22, 2020**. Abstracts must be submitted electronically through EasyChair: https://easychair.org/conferences/?conf=lode2020 Selected papers of the workshop proceedings will be published (after a new round of reviewing) as a special issue of a scientific journal (to be confirmed). * IMPORTANT DATES + March 22, 2020: Deadline for paper submission + May 6, 2020: Notification of acceptance + May 15, 2020: Camera ready versions due + August 10-14, 2020: Workshop dates * INVITED SPEAKERS Alexandru Baltag (Amsterdam) Ivano Ciardelli (Munich) Pietro Galliani (Bolzano) * ORGANIZERS Jouko Vaananen (Helsinki) Fan Yang (Helsinki) 36TH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS XXXVI) Call for Papers June 2-6, 2020 University of Paris Saclay, France (co-located with QPL 2020) https://www.monoidal.net/paris2020/mfps/ * DATES March 30, 2020: Abstract Submission April 3, 2020: Paper Submission May 8, 2020: Notification May 22, 2020: Final Papers Deadline * SCOPE MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. * TOPICS Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. * INVITED SPEAKERS & SPECIAL SESSIONS Gilles Barthe (IMDEA) - plenary speaker Christine Tasson (Paris VII) - plenary speaker - Special session on Probabilistic programming languages Dexter Kozen (Cornell) - plenary speaker Fredrik Dahlqvist (London) Ohad Kammar (Edinburgh) Radu Mardare (Strathclyde) Valeria Vignudelli (Lyon) - Special session on Quantum programming - joint with QPL Alexandre Miquel (Montevideo) - plenary speaker Pierre Clairambault (Lyon) Claudia Faggian (Paris VII) Vladimir Zamdzhiev (Nancy) * SUBMISSIONS Submissions should be prepared using the ENTCS Macros (available from http://www.entcs.org) and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair: https://easychair.org/conferences/?conf=mfps20 * PROCEEDINGS There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. * PC CHAIR Patricia Johann (Appalachian State University) - Chair * LOCAL ORGANIZERS: Pablo Arrighi (AMU & INRIA) Shane Mansfield (Sorbonne) Benoît Valiron (University of Paris Saclay) ACKERMANN AWARD 2020 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE Call for Nominations https://www.eacsl.org/?page_id=65 * Nominations are now invited for the 2020 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2018 and 31.12.2019 are eligible for nomination for the award. The deadline for submission is 1 April 2020. Submission details follow below. Nominations can be submitted from 1 January 2020 and should be sent to the chair of the Jury, Thomas Schwentick, by e-mail: email@example.com * AWARD The 2020 Ackermann award will be presented to the recipient(s) at CSL 2021, the annual conference of the EACSL. The award consists of: - a certificate, - an invitation to present the thesis at the CSL conference, - the publication of the laudatio in the CSL proceedings, and - financial support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. * JURY The jury consists of: - Christel Baier (TU Dresden), - Michael Benedikt (Oxford University); - Mikolaj Bojanczyk (University of Warsaw); - Jean Goubault-Larrecq (ENS Paris-Saclay); - Prakash Panangaden (McGill University); - Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; - Thomas Schwentick (TU Dortmund) , the president of EACSL; - Alexandra Silva, (University College London), ACM SigLog representative. * HOW TO SUBMIT The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (firstname.lastname@example.org); 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Thomas Schwentick: email@example.com, with the following subject line and text: - Subject: Ackermann Award 20 Submission, - Text: Name of candidate, list of attachments. Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text. 26TH INTERNATIONAL WORKSHOP ON CELLULAR AUTOMATA AND DISCRETE COMPLEX SYSTEMS (AUTOMATA 2020) Call for Papers Stockholm, Sweden, August 10-12, 2020 https://automata2020.weebly.com/ * AIMS AUTOMATA 2020 is innovating on various fronts given the challenge of climate change we want to reduce the conference Carbon footprint through a virtual attendance option, and also by addressing the underrepresentation of young and minority groups in the field. The workshop aims to: - Establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS). - Provide a platform for presenting and discussing new ideas and resultS - Support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned. - Identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions, and problems concerning CA and DCS. As it is its tradition, *AUTOMATA 2020* will focus on the theory and application of cellular automata and discrete dynamical systems in connection to complexity theory and algorithmic information. There will be special sessions on *Automata in Deep Learning* and *Algorithmic Information Dynamics* with a particular interest in aspects of computability in causation and reprogrammability. * SUBMISSION GUIDELINES Submissions presenting original and unpublished research on all fundamental aspects of cellular automata and related discrete complex systems are being sought. Topics of interest include (but are not limited to): - algorithmic information dynamics - dynamic, topological, ergodic and algebraic aspects - algorithmic and complexity issues - emergent properties - formal languages - symbolic dynamics - tilings - models of parallelism and distributed systems - synchronous versus asynchronous models - phenomenological descriptions and scientific modelling - applications of CAs and DCSs There are two categories of submission - full papers and exploratory papers. Full papers are meant to report more complete and denser research, while the later submission deadline for exploratory papers allows short reports of recent discoveries, work-in-progress and/or partial results. Submissions in the full paper category are refereed and selected by the program committee. Papers in the exploratory category go through a less rigorous evaluation process. All accepted papers must be presented (in person or virtually) at the conference. Authors are invited to submit papers of no more than 12 pages (for full papers) or 8 pages (for exploratory papers) by following the following link: https://easychair.org/conferences/?conf=automata2020 Submissions should contain original research that has not previously been published. * IMPORTANT DATES - Submission deadline full papers (12 pages): April 15, 2020 Notification of acceptance full papers: May 1, 2020 - Submission deadline exploratory papers (8 pages): June 15, 2020 Notification of acceptance exploratory papers: June 30, 2020 - Early registration deadline for full paper author: May 1, 2020 - Early registration for exploratory paper author/other participants: June 15, 2020 - Final registration deadline: Aug 1, 2020 E. W. BETH OUTSTANDING DISSERTATION PRIZE 2020 Call for Nominations http://www.folli.info/?page_id=74 https://easychair.org/conferences/?conf=bdp2020 * CONTEXT Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information, with financial support of the E.W. Beth Foundation. Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2019. The deadline for nominations is the 15th of April 2020. * PRIZE The prize consists of - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). * SUBMISSIONS For submission guidelines, see the links above. All pdf documents must be submitted electronically, as one zip file, via EasyChair. In case of any problems with the submission one should contact the chair of the committee Mehrnoosh Sadrzadeh (firstname.lastname@example.org). The prize will be awarded by the chair of the FoLLI board at a ceremony during the 32nd ESSLLI summer school in University of Utrecht, August 3-14, 2020. * PRIZE COMMITTEE 2020 Maria Aloni (University of Amsterdam) Alexander Clark (Kings College London) Cleo Condoravdi (Stanford University) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Katrin Erk (University of Texas at Austin) Arash Eshghi (Hariot-Watt University) Sujata Ghosh (ISI, Chennai) Davide Grossi (University of Groningen and University of Amsterdam) Chris Haase (University College London) Aurelie Herbelot (University of Trento) Louise McNally (Universitat Pompeu Fabra Barcelona) Reinhard Muskens (University of Amsterdam) Laura Rimmell (Deep Mind) Mehrnoosh Sadrzadeh (University College London, chair) Mark Steedman (University of Edinburgh) Matthew Stone (Rutgers) Jouko Väänänen (University of Helsinki) Noam Zeilberger (Ecole Polytechnique) 27TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2020) Call for Papers August 4th to 7th, 2020 Lima, Peru http://wollic.org/wollic2020 * AIMS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held at Universidad de Ingenieria y Tecnologia, Lima, Peru from August 4th to 7th, 2020. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). * PROCEEDINGS The proceedings of WoLLIC 2020, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2020 issue of a scientific journal (to be confirmed). * STUDENT GRANTS ASL sponsorship of WoLLIC 2020 will permit ASL student members to apply for a limited travel grant (deadline: 90 days before the event starts). Visit https://aslonline.org/meetings/student-travel-awards/ for details. * IMPORTANT DATES April 15, 2020: Full paper deadline May 23, 2020: Author notification May 30, 2019: Final version deadline (firm) 15TH INTERNATIONAL CONFERENCE ON GRAMMATICAL INFERENCE (ICGI 2020) Call for Papers August 26-28, 2020 Manhattan, New-York, USA Submission deadline: May 1st, 2020 https://icgi2020.lis-lab.fr * AIMS It is our pleasure to inform you about ICGI 2020, the major forum for presentation and discussion of original research papers on all aspects of grammar learning. ICGI, which has been organized bi-annually since early nineties, will be hosted this time at the NYC SUNY Global Center on Park Avenue, New-York, USA. ICGI 2020 is the place to present your work on learning formal grammars, finite state machines, context-free grammars, Markov models, or any models related to language theory, stochastic or not. Both theoretical work and experimental analyses are welcomed as submissions. This year we especially encourage submissions related to connectionist models such as neural networks, since the tutorials of the first day will focus on that topic. * INVITED SPEAKERS - Dana Fisman (Ben-Gurion University) - Robert Frank (Yale University) - C. Lee Giles (Pennsylvania State University) - Guillaume Rabusseau (Université de Montréal) - Gail Weiss (Technion - Israel Institute of Technology) * ON-LINE COMPETITION ICGI 2020 is hosting a shared task on morphological inflection. An example of English inflection is the conversion of the lemma 'run' to its present participle, 'running'. To participate in the shared task, you will build a system that can learn to solve inflection problems. More details at https://aryamccarthy.github.io/icgi2020/ * CONTRIBUTIONS We welcome three types of papers: - Formal and/or technical papers describe original solutions (theoretical, methodological or conceptual) in the field of grammatical inference. - Position papers can describe completely new research positions or approaches, open problems. - Tool papers describing a new tool for grammatical inference. Selected authors will be encouraged to submit an extended version of their work to an upcoming special issue of an international journal (to be announced). * IMPORTANT DATES Deadline for submissions is: May 1, 2020 Notification of acceptance: June 15, 2020 Camera-ready copy: July 15, 2020 Conference: August 26-28, 2020 Conference Chairs: Jane Chandlee, Haverford College Rémi Eyraud, QARMA team, Aix-Marseille University Jeffrey Heinz, Stony Brook University Adam Jardine, Rutgers University
Back to the LICS web page.