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