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 (m.sadrzadeh@ucl.ac.uk).
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: wil2020@easychair.org
* 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
(thomas.schwentick@tu-dortmund.de);
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: thomas.schwentick@tu-dortmund.de, 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
csl2021@easychair.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
pbarcelo@uc.cl and will be reviewed on demand.
Back to the LICS web page.