SIGLOG Monthly 205 April 11, 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 LICS 2020 - update * DEADLINES Forthcoming Deadlines * CALLS AUTOMATA 2020 - Call for Papers NALOMA 2020 - Call for Papers SPIN 2020 - Call for Papers LINEARITY & TLLA 2020 - Call for Papers PERR 2020 - Call for Talk Proposals QBF 2020 - Call for Papers CONCUR 2020 - Call for Papers BETH PRIZE 2020 - Call for Nominations ICGI 2020 - Call for Papers STRINGS 2020 - Call for Papers WiL 2020 - Call for Contributions LOPSTR 2020 - Call for Papers NMR 2020 - Call for Papers PODS 2021 (1st cycle) - Call for Papers ACKERMANN AWARD 2020 - Call for Nominations CSL 2021 - Call for Papers POPL 2021 - Call for Papers * JOB ANNOUNCEMENTS PH.D. STUDENT POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC - RWTH AACHEN POSTDOCTORAL RESEARCH POSITION - IMFD CHILE LICS 2020 UPDATE http://lics.siglog.org/lics20/ LICS 2020 and ICALP 2020 will be held online. For up-to-date information, follow the respective webpages: https://lics2020.saarland-informatics-campus.de, https://icalp2020.saarland-informatics-campus.de. DATES * AUTOMATA 2020 - April 15, 2020 (full papers), June 15, 2020 (exploratory papers) * NALOMA 2020 - April 15, 2020 (submissions) * SPIN 2020 - April 17, 2020 (submissions) * LINEARITY & TLLA 2020 - April 24, 2020 (submissions) * PERR 2020 - April 24, 2020 (talk proposals) * QBF 2020 - April 24, 2020 (submissions) * CONCUR 2020 - April 28, 2020 (abstracts), May 6, 2020 (papers) * BETH PRIZE 2020 - April 30, 2020 (nominations) * ICGI 2020 - May 1, 2020 (submissions) * STRINGS 2020 - May 1, 2020 (contributions) * WiL 2020 - May 10, 2020 (contributions) * LOPSTR 2020 - June 5, 2020 (abstracts), June 12, 2020 (papers) * NMR 2020 - June 12, 2020 (registration), June 19, 2020 (submission) * PODS 2021 (1st cycle) - June 26, 2020 (abstracts), July 03, 2020 (papers) * ACKERMANN AWARD 2020 - July 1, 2020 (nominations) * CSL 2021 - July 1, 2020 (papers) * POPL 2021 - July 9, 2020 (submissions) 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 NATURAL LOGIC MEETS MACHINE LEARNING (NALOMA'2020) Call for Papers July 11-17, 2020 Brandeis University, Waltham MA USA Workshop at NASSLLI 2020 https://typo.uni-konstanz.de/naloma20/ * AIMS NAtural LOgic Meets MAchine Learning (NALOMA) is the first workshop of its kind, aiming to bridge the gap between Machine Learning and Natural Logic. It will take place from July 11-July 17, 2020, during the 9th North American Summer School for Logic, Language, and Information (NASSLLI) at Brandeis University in Waltham, Massachusetts. Recent models of Natural Language Inference (NLI) have made considerable progress in the last couple of years and have achieved performance at nearly human-level. Even though this last statement might still be an exaggeration, it is indeed true that NLI models are capable of doing more things than we thought they would some years ago. On the other hand, research on symbolic methods for NLI has not been fully abandoned. One such area that is still flourishing is research on Natural Logic. There is actually renewed interest in monotonicity inference, and connections with theorem provers and tableau systems from standard areas of logic. Within this context, the aim of this workshop is to bring together researchers working in both Natural Logic and Machine Learning approaches to NLI, initiating a discussion with the two sets of researchers that have been largely unconnected up to now. * TOPICS We invite submissions on topics included but not limited to: - reasoning systems that integrate logic-based methods with neural networks; - creation, evaluation, and criticism of NLI datasets; - training data augmentation using logic; - explainable models of NLI; - opening the "black box" of machine learning in NLI; - probabilistic semantics in connection with NLI; - downstream applications of NLI; - comparison and contrast between human-level and machine-level work in NLI; - linguistics semantics and contemporary NLI. - dialogue systems, QA and information retrieval systems that use (natural) logic and machine learning. * SUBMISSIONS We accept two types of submission: - Archival (long or short) papers should report on complete, original and unpublished research. Accepted papers will be published in the workshop proceedings and will appear in the ACL anthology. - Extended abstracts may report on work in progress or work that was recently published/accepted at a different venue. Extended abstracts will not be included in the workshop proceedings. Thus, the unpublished work will retain the status and can be submitted to another venue. Extended abstracts will be linked at the workshop webpage. Authors must submit non-anonymized extended abstracts or papers before April 15. Both extended abstracts and papers must be formatted according to the ACL style. The extended abstracts should not contain an abstract section and may consist of up to 2 pages of content, plus unlimited references. Short and long papers may consist of up to 4 and 8 pages of content, respectively, plus unlimited references. Camera-ready versions of papers will be given one additional page of content so that reviewers' comments can be taken into account. Both extended abstracts and follow-up papers should be submitted via EasyChair at https://easychair.org/conferences/?conf=3Dnlmml20 * INVITED SPEAKERS Lauri Karttunen, Stanford University Ellie Pavlick, Brown University Mark Steedman, University of Edinburgh * IMPORTANT DATES - Submission of papers & extended abstracts: April 15 - Notification: May 1 - Final versions due: June 1 - Workshop: July 11-17 * PROGRAM CHAIR Lawrence S. Moss (Chair), Indiana University 27TH INTERNATIONAL SYMPOSIUM ON MODEL CHECKING OF SOFTWARE (SPIN 2020) Call for Papers Chicago, Illinois, USA July 24-25, 2020 https://spin2020ui.web.illinois.edu * AIMS The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation. * IMPORTANT DATES Submissions: April 17, 2020 (23:59:59 Anywhere on Earth) Author notification: May 22, 2020 Camera-ready: June 22, 2020 Symposium: July 24-25, 2020 * SUBMISSION CATEGORIES AND GUIDELINES Papers should be submitted via the EasyChair SPIN 2020 submission website: https://easychair.org/conferences/?conf=spin20200 The proceedings of SPIN 2020 will be published in Springer's Lecture Notes in Computer Science series. With the exception of survey and history papers, the papers should contain original work that has not been submitted or accepted for publication elsewhere. We are soliciting three categories of papers: - Full Research Papers describing fully developed work and complete results (16 pages - references are not included in this limit); - Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages - references are not included in this limit). - Tool Demo Papers presenting the foundations, capabilities, application domains and relevant examples using the tools, with a clear description of what is expected to be shown in a live demonstration (4 pages to describe the tool foundations, features and use examples, plus an appendix explaining the content of the demo). Best Paper awards will be given and announced at the conference. * SPECIAL ISSUE A selection of papers will be invited to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). JOINT LINEARITY & TLLA WORKSHOP (LINEARITY & TLLA 2020) Call for Papers Sixth International Workshop on Linearity Fourth International Workshop on Trends in Linear Logic and Applications Paris, Aubervilliers, France, 29-30 June 2020 Affiliated with FSCD 2020 https://lipn.univ-paris13.fr/LinearityTLLA2020/ * COVID Our highest priority is the safety of all participants. Due to the coronavirus pandemic, Linearity and TLLA 2020 will happen as a virtual conference. More details will follow when we know from the organizers of FSCD, at https://fscd2020.org/2020/04/01/Virtualisation-FSCD-IJCAR-2020/. * AIMS The aim of this Joint Linearity and TLLA workshop is to bring together researchers who are currently working on linear logic and related fields, to foster their interaction and provide a forum for presenting new ideas and work in progress. We also hope to enable newcomers to learn about current activities in this area. New results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. * IMPORTANT DATES - Submission deadline: 24th April 2020 - Author notification: 15th May 2020 - Contribution for Informal Proceedings: 29th May 2020 - Workshop date: 29-30 June 2020 * SUBMISSIONS Authors are invited to submit: - an extended abstract (8 pages max) describing original ideas and results not published nor submitted elsewhere, - or a 5-page abstract presenting relevant work that has been or will be published elsewhere, - or a 2-page description of work in progress. Submission is through the Easychair website: https://easychair.org/conferences/?conf=tllalinearity2020 * POST-PROCEEDINGS After the workshop, authors of extended abstracts will be invited to submit a longer version of their work (typically a 15-pages paper) for publication in EPTCS (TBC). These submissions will undergo a second round of refereeing. * PROGRAMME CHAIRS - Ugo Dal Lago (co-chair), https://www.unibo.it/sitoweb/ugo.dallago/en - Valeria De Paiva (co-chair), http://vcvpaiva.github.io/ 4TH WORKSHOP ON PROGRAM EQUIVALENCE AND RELATIONAL REASONING (PERR 2020) Call for Talk Proposals Associated with the 32nd International Conference on Computer-Aided Verification (CAV 2020) Los Angeles, CA, United States, July 19, 2020 https://easychair.org/cfp/PERR-2020 * COVID Given the rapidly evolving situation regarding COVID-19, the date of the workshop may change. Please follow the CAV webpage for details. * WORKSHOP PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 4th in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. Last year's PERR was held as a satellite workshop of ETAPS. PERR 2020 is affiliated with CAV. * AIMS Program equivalence is arguably one of the most interesting and at the same time important problems in formal verification. It is a cross-cutting topic that has attracted the interest of several research communities: denotational semantics, deductive software verification, bounded model checking, specification inference, software evolution and regression testing, etc. The goal of the workshop is to stimulate an exchange of ideas to forge a community working on Program Equivalence and Relational Reasoning (PERR). The workshop welcomes contributions on the topics mentioned below but is also open to new questions regarding program equivalence. This includes related research areas of relational reasoning like program refinement or the verification of hyperproperties, in particular of secure information flow. * AREAS regression verification, program equivalence, equivalence of higher-order programs, product programs, relational calculi, verification of hyperproperties, program refinement, refinement calculus, specification of differences between programs, inferring semantic differences between programs, transformation validation, correct compiler transformations, automata bisimulation, code equivalence checking in teaching and marking * SUBMISSION This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations. The workshop will have informal online proceedings. Please submit a short abstract (1-2 pages) of your proposed talk via EasyChair. * DATES - Submission deadline: Friday 24th April 2020 - Submission link: https://easychair.org/conferences/?conf=perr20 * PC CO-CHAIRS - Constantin Enea (Universite de Paris) - Andrzej Murawski (University of Oxford) INTERNATIONAL WORKSHOP ON QUANTIFIED BOOLEAN FORMULAS AND BEYOND (QBF 2020) Call for Papers Alghero, Italy, July 5, 2020 Affiliated to and co-located with SAT 2020 https://www.ac.tuwien.ac.at/qbf2020/ * COVID The workshop/conference organization is monitoring the COVID-19 situation, and we hope to do our best to support the form of dialogue that this workshop aims to promote. For now, we would encourage those interested in submitting to the workshop to proceed in doing so; given the situation, we plan to give authors of accepted works a chance to confirm their willingness to participate prior to finalizing this. * TOPIC Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. * IMPORTANT DATES April 24: Submission via Easychair May 12: Notification of acceptance May 28: Final versions of accepted papers due July 5: Workshop * SUBMISSIONS Submissions of extended abstracts are invited and will be managed via Easychair. In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. * PROGRAM CHAIRS Hubie Chen, Birbeck, University of London (co-chair) Friedrich Slivovsky, Vienna University of Technology (co-chair) 31ST INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2020) Final Call for Papers September 1-4, 2020 VIRTUAL (Vienna, Austria) https://easychair.org/cfp/CONCUR20 * AIMS The purpose of CONCUR 2020, the 31st International Conference on Concurrency Theory, is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. CONCUR 2020 is part of the umbrella conference QONFEST 2020 comprising the joint international 2020 meetings CONCUR, FMICS, FORMATS, QEST, alongside with several workshops and tutorials. * FORMAT Amid the recent COVID-19 situation, the organization committee decided that QONFEST 2020, and thus also CONCUR 2020 will be organized on-line. Accepted papers will be published as planned, by September 2020, but no physical meeting/presentations will take place. We plan that the authors will record their talks and discuss them with the conference participants online. All CONCUR 2020 deadlines have been adjusted with two weeks dead-line extensions. * TOPICS Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. * SUBMISSIONS - CONCUR 2020 solicits high quality papers reporting research results and/or experience. - All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. - The CONCUR 2020 proceedings will be published by LIPIcs. - Papers must be submitted electronically as PDF files via EasyChair. Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style. * IMPORTANT DATES All dates are AoE, extended because of COVID-19. - Abstract submission: April 28, 2020 - Paper submission: May 6, 2020 - Notification: June 28, 2020 - Camera ready copy: July 17, 2020 - Conference: September 1-4, 2020 * SPECIAL ISSUE A special issue dedicated to selected papers from CONCUR 2020 will appear in Logical Methods in Computer Science. * ORGANIZATION COMMITTEE - Program Co-chairs Igor Konnov - Informal Systems, Austria Laura Kovacs - TU Wien, Austria - Workshop Chair Florian Zuleger - TU Wien, Austria - Webmaster Thanh-Hai Tran - TU Wien, Austria E. W. BETH OUTSTANDING DISSERTATION PRIZE 2020 Call for Nominations http://www.folli.info/?page_id=74 https://easychair.org/conferences/?conf=bdp2020 New deadline: April 30, 2020 * 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 30th 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 32nd ESSLLI summer school is postponed to 2021, due to the spread of CV-19. The Beth Prize will be awarded either through a virtual ceremony in 2020 or a presentation in ESSLLI 2021. The winner will be announced in early July 2020. * PRIZE COMMITTEE 2020 Samson Abramsky (University of Oxford) 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 Vaananen (University of Helsinki) Noam Zeilberger (Ecole Polytechnique) 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 (Universite de Montreal) - 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 4TH ANNUAL WORKSHOP ON STRING DIAGRAMS IN COMPUTATION, LOGIC, AND PHYSICS (STRINGS 2020) Call for Papers Satellite workshop of STAF 2020 Bergen, Norway, 23 June 2020 https://compose.ioc.ee/strings2020/ * SCOPE String diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, programming languages, quantum and classical computation, natural language, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy. * AIMS This workshop aims to bring together researchers from diverse backgrounds and specialities to collaborate and share their insights, tools, and techniques. STRINGS 2020 is a satellite event of STAF 2020, colocated with a number of related events, including Diagrammatic and Algebraic Methods for Business (DAMB) and the International Conference on Graph Transformation (ICGT). * HISTORY This is the fourth edition of the workshop. The first was held in Oxford in 2017, the second as a Shonan workshop in 2018, the third in Birmingham in 2019. * INVITED SPEAKER Fabio Zanasi, UCL * IMPORTANT DATES Submission deadline: 1 May 2020 Speaker notification: 22 May 2020 Workshop: 23 June 2020 * SUBMISSIONS Prospective speakers are invited to submit a title and short abstract via the Easychair page at https://easychair.org/conferences/?conf=strings2020 We warmly welcome all types of contributions, ranging from rough works-in-progress to talks about mature work published elsewhere. * PROGRAM CHAIRS Dan Ghica (Birmingham, UK) Pawel Sobocinski (Taltech, EE) THE 4TH WOMEN IN LOGIC WORKSHOP - WiL 2020 Call for Contributions June 30, 2020, VIRTUAL https://sites.google.com/g.uporto.pt/wil2020/home * COVID The WiL 2020 workshop is co-located with Petr-Nets 2020, FSCD 2020 and IJCAR 2020, and will take place digitally, due to the Covid-19 pandemic. * CONTRIBUTIONS - Contributions should be written in English and can be submitted in the form of an abstract (1-2 pages approximately) with a deadline: May 10, 2020. - Abstracts should be prepared using the Easychair style. The submission should be in the form of a PDF file uploaded to the WiL 2020 Easychair page by the submission deadline. * DATES Deadline for abstract submissions: May 10, 2020 Notification: June 2, 2020 Workshop: June 30, 2020 * TOPICS automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. * CHAIRS Sandra Alves (Co-chair, University of Porto) Sandra Kiefer (Co-chair, RWTH Aachen University) Contact: email@example.com * SUPPORT WiL 2020 is supported by: - the Vienna Center for Logic and Algorithms of TU Wien (VCLA), - ACM SIGLOG, - and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC). Due to the virtual nature of the WiL 2020, the ACM SIGLOG/VCLA/ILLC Travel Awards will be administered in 2021. 30TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2020) Call for Papers Bologna, 7-9 September 2020 https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020/ * SCOPE The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development in any language paradigm. LOPSTR 2020 will be co-located with PPDP, WFLP and Microservices. * TOPICS Topics of interest cover all aspects of logic-based program development (including in domain-specific languages), all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including: - synthesis; transformation; specialisation; composition; optimisation - specification; analysis and verification; testing and certification - program and model manipulation; inversion - machine learning for program development - transformational techniques in SE; applications and tools Both full papers and extended abstracts describing applications in all these areas are especially welcome. Survey papers and papers that describe experience with industrial applications are also welcome. * IMPORTANT DATES Abstract submission: 5 June 2020 (AoE) Paper/Extended abstract submission: 12 June 2020 (AoE) Notification: 12 July 2020 Camera-ready (for electronic pre-proceedings): 12 August 2020 Symposium: 7-9 September 2020 * GUIDELINES Papers should be submitted via the Easychair submission website for LOPSTR 2020. See the full CfP for details. Post-conference proceedings will be published by Springer in the LNCS series, as in previous editions. * BEST PAPER AWARDS Thanks to Springer's sponsorship, two awards (including a 500EUR prize each) will be given at LOPSTR 2020, based on relevance, originality and technical quality of papers. The PC may split the awards among several papers. * PROGRAM CHAIR Maribel Fernandez, King's College London, UK * LOCAL ORGANISATION Maurizio Gabbrielli, University of Bologna 18TH INTERNATIONAL WORKSHOP ON NONMONOTOIC REASONING (NMR 2020) Call for Papers 12-14 September 2020 Rhodes, Greece https://nmr2020.dc.uba.ar (co-located with the International Conference on Principles of Knowledge Representation and Reasoning (KR)) * SCOPE The NMR workshop series is the premier specialized forum for researchers in non-monotonic reasoning and related areas. This will be the 18th workshop in these series. Its aim is to bring together active researchers in the broad area of non-monotonic reasoning, including belief revision, reasoning about actions, argumentation, declarative programming, preferences, non-monotonic reasoning for ontologies, uncertainty, and other related topics. NMR 2020 is co-located with KR 2020 and DL 2020, in particular, NMR 2020 will share a joint session with DL 2020. * FORMAT Papers should be at most 10 pages in AAAI style including references, figures, and appendices, if any. For further instructions on the format, please see the KR 2020 website website. Papers must be submitted in PDF only. Please submit to: https://easychair.org/conferences/?conf=nmr2020. Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page. Papers that have already been published or submitted elsewhere may have over length. * PROCEEDINGS There are no formal proceedings for NMR. The accepted papers will be published as a technical report and will be made available in the Computing Research Repository (CoRR). The papers will be compiled in the homepage of NMR 2020 (https://nmr2020.dc.uba.ar). The copyright of the papers lies with the authors, and as far as NMR is concerned, they are free to submit to other conferences and workshops as well. * IMPORTANT DATES Paper registration deadline: 12 June 2020 Paper submission deadline: 19 June 2020 Notification to authors: 15 July 2020 Camera-ready version: 31 July 2020 Workshop dates: 12-14 September 2020 * INVITED SPEAKERS - Andreas Herzig, IRIT CNRS, France (joint session with DL 2020) - Francesca Toni, Imperial College London, UK * CO-CHAIRS Maria Vanina Martinez, Universidad de Buenos Aires and CONICET, Argentina Ivan Jose Varzinczak, CRIL, Univ. Artois & CNRS, France THE SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS) Expected to take place in Xi'an, China, in June 2021 (subject to possible change due to the Coronavirus) https://databasetheory.org/node/110 * AIMS The Principles of Database Systems (PODS) symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundations of data management, traditional or non-traditional (see https://databasetheory.org/PODS). * TOPICS For the 40th edition, PODS continues to aim to broaden its scope, and calls for research papers providing original, substantial contributions along one or more of the following tracks: - deep theoretical exploration of topical areas central to data management - new formal frameworks that aim at providing a basis for deeper theoretical investigation of important emerging issues in data management - validation of theoretical approaches from the lens of practical applicability in data management. Papers in this track should provide an experimental evaluation that gives new insight in established theories. Besides, they should provide a clear message to the database theory community as to which aspects need further (theoretical) investigation, based on the experimental findings. * SUBMISSION FORMAT Submitted papers should be at most twelve pages, including bibliography. Additional details may be included in an appendix that should be incorporated at the submission time (online appendices are not allowed). However, such appendices will be read at the discretion of the program committee. Papers that are longer than twelve pages (including bibliography but excluding the appendix) or do not cohere with the ACM proceedings style risk rejection without consideration of their merits. PODS 2021 specifically encourages the submission of shorter papers as well as papers that make use of the full page allowance. The submission process will be through the Web at https://easychair.org/conferences/?conf=pods2021. Note that PODS does not use double-blind reviewing, and therefore PODS submissions should have the names and affiliations of authors listed on the paper. The results of a submitted paper must be unpublished and not submitted elsewhere, including the formal proceedings of other symposia or workshops. Authors of an accepted paper will be expected to sign copyright release forms, and one author is expected to present it at the conference. PODS supports the open-access of published research. It is therefore expected that authors of accepted papers will make the final version of their papers also freely accessible on arXiv by the camera-ready deadline. * FIRST SUBMISSION CYCLE June 26, 2020: Abstract submission July 03, 2020: Paper submission September 18, 2020: First notification October 16, 2020: Revised submission November 13, 2020: Final notification All deadlines end at 11:59pm AoE. * SECOND SUBMISSION CYCLE TBA * ORGANIZATION - Chair: Reinhard Pichler (TU Wien, Austria) - PODS General Chair: Dan Suciu (University of Washington, USA) - Proceedings Chair: Paolo Guagliardo (University of Edinburgh, UK) - Publicity Chair: Nofar Carmeli (Technion - Israel Institute of Technology, Israel) * AWARDS - Best Paper Award: An award will be given to the best submission, as judged by the program committee. - Best Student Paper Award: There will also be an award for the best submission, as judged by the program committee, written by a student or exclusively by students. An author is considered as a student if, at the time of submission, the author is enrolled in a program at a university or institution leading to a doctoral/master?s/bachelor?s degree. The program committee reserves the right to give both awards to the same paper, not to give an award, or to split an award among several papers. Papers authored or co-authored by program committee members are not eligible for an award. ACKERMANN AWARD 2020 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE Call for Nominations New deadline: 1 July 2020 * INTRODUCTION Nominations are now open for the 2020 Ackermann Award. * ELIGIBILITY 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. * PRESENTATION OF THE 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. * JURY - 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. The jury is entitled to give the award to more (or less) than one dissertation in a year. * WHAT 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. * HOW TO SUBMIT The submission should be sent by e-mail as attachments to the chairman of the jury, Thomas Schwentick: email@example.com, with -- Subject: Ackermann Award 2020 Submission -- Text: Name of candidate, list of attachments * NEW DEADLINE The new deadline for submission is 1 July 2020. 29TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2021) First Call for Papers January 25-28, 2021, Ljubljana, Slovenia https://easychair.org/conferences/?conf=csl2021 Paper submission: July 1, 2020 * AIM AND SCOPE 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. * IMPORTANT DATES Paper submission: 1 July 2020 Notifications: 25 September 2020 * PC Chairs Christel Baier, Technische Universitaet Dresden, Germany Jean Goubault-Larrecq, ENS Paris-Saclay, France * Organizing committee Alex Simpson, Andrej Bauer, Daniel Ahman, University of Ljubljana, Slovenia * Publication CSL 2021 proceedings will be published by Leibniz International Proceedings in Informatics * Venue Ljubljana, Slovenia * Contact All questions about submissions should be emailed to firstname.lastname@example.org SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL 2021) Call for Papers Sun 17 - Fri 22 Jan 2021: Conference https://popl21.sigplan.org/ * COVID POPL 2021 will take place during the announced dates, as a physical or virtual meeting. We will be monitoring the Covid-19 situation and will announce a decision on the nature of the meeting. The paper submission deadline is firm and not subject to change. * CHAIRS General chair: Andreas Podelski Program chair: Azadeh Farzan * DATES Thu 09 Jul 2020: Submission deadline Sun 17 - Fri 22 Jan 2021: Conference * SCOPE The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. * EVALUATION For details about evaluation, PACMPL and copyright, see the full POPL CfP. The following two points are easy to overlook: - Conflicts: Each author of a submission has to log into the submission system and properly declare all potential conflicts of interest in the author profile form. A conflict caught late in the reviewing process leads to a voided review which may be infeasible to replace. - Anonymity: POPL 2021 will employ a lightweight double-blind reviewing process. Make sure that your submitted paper is fully anonymized. Prior to the paper submission deadline, the authors will upload their full anonymized paper. Each paper should have no more than 25 pages of text, excluding bibliography, using the new ACM Proceedings format. * ARTIFACTS Authors of accepted papers will be invited to formally submit supporting materials to the Artifact Evaluation process. Artifact Evaluation is run by a separate committee whose task is to assess how the artifacts support the work described in the papers. This submission is voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves. Authors of accepted papers are encouraged to make these materials publicly available upon publication of the proceedings, by including them as "source materials" in the ACM Digital Library. * PUBLICATION AND PRESENTATION - Papers may not be presented at the conference if they have not been published by ACM under one of the allowed copyright options. All papers will be archived by the ACM Digital Library. Authors will have the option of including supplementary material with their paper. - The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. - Authors of accepted papers are required to give a short talk (roughly 25 minutes long) at the conference, according to the conference schedule. * DISTINGUISHED PAPER AWARDS At most 10% of the accepted papers of POPL 2021 will be designated as Distinguished Papers. This award highlights papers that the POPL program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. The selection of the distinguished papers will be made based on the final version of the paper and through a second review process. SEVERAL PH.D. STUDENT POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC RWTH Aachen University Call for Applications Deadline for applications: April 20, 2020 (AoE) Starting date positions: October 1, 2020 -- January 1, 2021 https://moves.rwth-aachen.de/research/projects/unravel/ * The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. Various positions are available within the Research Training Group (RTG) UnRAVeL. The key emphasis of an RTG is on the qualification of doctoral researchers with a focused research program and a structured training strategy. UnRAVeL aims to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-supported verification techniques, and to apply them to core problems from security, planning, and safety and performance analysis. * Application procedure, required profile, job description, and the possible Ph.D. projects are all available on the web page. * Involved supervisors: Martin Grohe, Erich Graedel, Erika Abraham, Juergen Giesl, Joost-Pieter Katoen, Christof Loeding, Britta Peis, Gerhard Woeginger, Gerhard Lakemeyer, Ulrike Meyer, Nils Niessen, Christina Buesing. POSTDOCTORAL RESEARCH POSITION - IMFD CHILE * The Millennium Institute for Foundational Research on Data (IMFD Chile, www.imfd.cl) offers an open position for a postdoctoral researcher to advance the understanding of theoretical aspects of modern neural network architectures, more in particular, its expressive and computational power. The coordinators of this project are Professors Pablo Barcelo(http://pbarcelo.ing.uc.cl/) and Jorge Perez (https://users.dcc.uchile.cl/~jperez/). * About IMFD. IMFD is a joint initiative held by several universities in Chile, including P. Universidad Catolica de Chile, University of Chile, Universidad de Concepcion, and Universidad Adolfo Ibanez. IMFD is a vibrant and truly interdisciplinary environment, which gathers together over 40 researchers and more than 100 students working on theoretical and applied aspects of data science and machine learning, statistics, political science, and communication studies. IMFD hosts world-renowned researchers in all these areas and the group produces a high number of top quality papers every year published in high-quality venues and journals. * Applications. Candidates should hold a PhD in machine learning, statistics, or computer science, and have a strong publishing record in peer-reviewed journals and conferences in his/her area. * Salary. About U$26000 per year. Installation reimbursements can be negotiated directly. * Location. Campus San Joaquin, P. Universidad Catolica de Chile, and Campus Beauchef, University of Chile. * Application. To apply, please prepare a single file containing a statement of research interests, a CV with a detailed publication record, and a copy of relevant certificates. Also, please ask for two reference letters to be submitted independently. Applications should be sent to email@example.com and will be reviewed on demand.
Back to the LICS web page.