SIGLOG Monthly 206
July 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
* DEADLINES
Forthcoming Deadlines
* CALLS
CILC 2020 - Call for Papers
CLA 2020 - Call for Talk Proposals
QONFEST 2020 - Call for Participation
HIGHLIGHTS 2020 - Call for Participation
CPP 2021 - Call for Papers
ICALP 2022 - Call for Location
FSEN 2021 - Call for Papers
* ANNOUNCEMENTS
VLCA INTERNATIONAL STUDENT AWARDS FOR OUTSTANDING MASTER AND UNDERGRADUATE THESES IN LOGIC AND COMPUTER SCIENCE
2020 ALONZO CHURCH AWARD ANNOUNCEMENT
* AWARD
The ACM Special Interest Group on Logic (SIGLOG), the European Association
for Theoretical Computer Science (EATCS), the European Association for Computer
Science Logic (EACSL), and the Kurt Goedel Society (KGS) are pleased to
announce that Ronald Fagin, Phokion G. Kolaitis, Renee J. Miller, Lucian Popa,
and Wang Chiew Tan have been selected as the winners of the 2020 Alonzo Church
Award for Outstanding Contributions to Logic and Computation.
* PAPERS
The award recognizes their ground-breaking work on laying the logical
foundations for data exchange, described in the following papers:
(1) Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Renee J. Miller.
Data exchange: Semantics and Query Answering, Proceedings of the 9th International
Conference on Database Theory (ICDT 2003), pp. 207-223, 2003.
Full journal version: Theoretical Computer Science, Vol. 336, No. 1, pp. 89-124, 2005.
(2) Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang Chiew Tan.
Composing Schema Mappings: Second-Order Dependencies to the Rescue,
Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles
of Database Systems (PODS 2004), pp. 83-94, 2004.
Full journal version: ACM Transactions on Database Systems, Vol. 30, No. 4,
pp. 994-1055, 2005.
* TOPIC
Data exchange is the problem of transforming data structured under a schema,
called the source schema, into data conforming to a different schema, called the
target schema. The results and techniques developed have in addition to gaining
theoretical insights influenced the development of industrial and academic tools.
* COMMITTEE
The 2020 Church Award was selected by a panel consisting of Mariangiola Dezani,
Thomas Eiter (chair), Javier Esparza, Radha Jagadeesan and Natarajan Shankar.
* CONTRIBUTION
Data exchange is an old and ubiquitous problem in data management that was
described by Philip Bernstein as the "oldest problem in databases". Early work
on data exchange used low-level, ad hoc programs to transform data from the
source schema to the target schema, which resulted into inefficiencies and limited
reusability. Publications (1) and (2) laid the logical foundations for data exchange
and became the catalyst for the development of data exchange as a research area
in its own right. Publication (1) is about logic in computer science: a fragment of
first-order logic, called source-to-target tuple-generating dependencies (in short,
s-t tgds), is systematically used as a specification language in data exchange.
The algorithmic and structural properties of s-t tgds are explored, and the concept
of a universal solution is introduced as the preferred way to carry out the data
exchange task. Publication (2) is about logic from computer science: first, it is shown
that the language of s-t tgds is not closed under composition; second, a new fragment
of second-order logic, called second-order tuple-generating dependencies
(in short, SO tgds) is identified and shown to be the "right" logic-based specification
language for composing s-t tgds. The award publications are well-cited and have
been recognized with two test-of-time awards.
DATES
* CILC 2020: Aug 23 (abstracts), Aug 31 (papers)
* CLA 2020: Aug 31 (talk proposals)
* QONFEST 2020: Aug 31 - Sep 5 (event)
* HIGHLIGHTS 2020: Sep 15-18 (event)
* CPP 2021: Sep 16 (abstracts), Sep 22 (papers)
* ICALP 2022: Oct 15 (proposals)
* FSEN 2021 - Oct 18 (abstracts, optional), Nov 1 (papers)
35TH ITALIAN CONFERENCE ON COMPUTATIONAL LOGIC (CILC 2020)
Call for Papers
28-29 September 2020, Rende, Italy
https://cilc2020.demacs.unical.it/
co-located with ICLP 2020
* COVID-19 SITUATION
This year's edition will be the 35th in the series of an event that is
traditionally important for the community. Given to the evolving COVID-19
situation worldwide, the Conference chairs and the GULP Executives decided
to hold CILC 2020 as a fully virtual conference. Please check
https://cilc2020.demacs.unical.it/ regularly for news and details.
* IMPORTANT DATES
Abstract submission: August 23, 2020
Paper submission: August 31, 2020
Notification to authors: September 14, 2020
* CONFERENCE
CILC (Italian Conference on Computational Logic) is the annual conference
organized by GULP (Group of researchers and Users of Logic Programming,
http://www.programmazionelogica.it/).
Since the first event of the series, which took place in Genoa in 1986,
the annual GULP conference represents the main opportunity for users,
researchers and developers working in the field of computational logic to
meet and exchange ideas. Over the years the conference broadened its
horizons from the specific field of logic programming to include
declarative programming and applications in neighboring areas such as
artificial intelligence and deductive databases.
* CONTRIBUTIONS
The conference will feature presentations of refereed contributions,
including the demonstration of software prototypes, concerning all aspects
of computational logic. The conference invites two types of submissions:
- full papers, possibly already submitted to other conferences or journals
- short papers, which are particularly suitable for presenting work in
progress, software prototypes, extended abstracts of doctoral theses, or
general overviews of research projects.
* SUBMISSION DETAILS
Authors are invited to submit their manuscripts in PDF via the EasyChair
system at the link:
https://easychair.org/conferences/?conf=cilc20200
Articles must not exceed 15 pages for full papers and 8 pages for short
papers, respectively. Manuscripts should be formatted using the Springer
LNCS style. To ease the reviewing process, the authors of regular papers
may add an appendix (although reviewers are not required to consider it
in their evaluation).
* GENERAL CHAIRS
Francesco Calimeri - University of Calabria, Italy
Simona Perri - University of Calabria, Italy
Ester Zumpano - University of Calabria, Italy
COMPUTATIONAL LOGIC AND APPLICATIONS (CLA 2020)
Call for Talk Proposals
October 12-13, 2020
https://cla.tcs.uj.edu.pl/
* CONTEXT
The **Computational Logic and Applications** (CLA) workshops are a
series of annual meetings (see https://cla.tcs.uj.edu.pl/) whose main
purpose is to provide a free and open forum for research on
combinatorial and quantitative aspects of mathematical logic and their
applications in computer science.
* COVID
Since the physical version of the workshop had to be cancelled this year
due to the global pandemic, we are organizing a virtual edition of CLA
2020 this Fall to help the community stay in touch. Next year, if the
situation improves, then the hope is for CLA 2021 to be once again held
as a physical (or hybrid) workshop in Vienna, as was originally planned
for this year.
* FORMAT
As with past editions of CLA, we plan to have both invited and
contributed talks, with the opportunity to present either
work-in-progress or recently published work in a friendly and informal
setting...the only difference is that CLA 2020 will be entirely online!
We are likely to have a mix of live talks, pre-recorded talks, and
text-based discussions, with the precise cocktail of technologies to be
determined. Participation will be free and open to all but will require
prior registration.
* SUBMISSION
Talk proposals should consist of short abstracts (at most 2 pages)
describing work-in-progress or previously published work, and can be
written in either plain text or pdf format. They will be evaluated by
the program committee to determine interest and scope, so talk proposals
should give some indication of the relevance to CLA in case this is not
immediately obvious. You can also indicate whether you prefer to give a
live or pre-recorded talk and the amount of time you would like to
speak, although this is left up to the discretion of the program
committee.
* SUBMISSION
https://easychair.org/conferences/?conf=cla20201
* INVITED SPEAKERS
- Mirai Ikebuchi, Massachusetts Institute of Technology
- Marc Noy, Universitat Politecnica de Catalunya
* PROGRAM CHAIRS
- Katarzyna Grygiel, Jagiellonian University (co-chair)
- Noam Zeilberger, Ecole Polytechnique (co-chair)
* IMPORTANT DATES
- Submission deadline: August 31, 2020 (AoE)
- Success notification: September 14, 2020 (AoE)
- Registration deadline: October 11, 2020
Wien eQONFEST 2020
Call for Participation
August 31 - September 5, 2020
Organised (online) by TU Wien, Vienna, Austria
https://qonfest2020.github.io/index.html
* QONFEST is the umbrella conference comprising the joint international
2020 meetings:
- CONCUR 2020, the 31st International Conference on Concurrency Theory
- FMICS 2020, the 25th International Conference on Formal Methods for
Industrial Critical Systems
- FORMATS 2020, the 18th International Conference on Formal Modeling
and Analysis of Timed Systems
- QEST 2020, the 17th International Conference on Quantitative Evaluation
of SysTems
alongside with several workshops (DHS, EXPRESS/SOS, FRIDA, QAVS,
TRENDS, SNR) and tutorials. The topics covered are Theory, Formal Modelling,
Verification, Performance Evaluation and Engineering of concurrent, timed,
industrial critical, and other systems.
* COVID
Amid the recent COVID-19 situation, the organization committee decided that
QONFEST 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.
* DATES
August 31: Workshops
September 1-4: CONCUR Conference
September 1-3: FORMATS Conference
August 31st - September 3: QEST Conference
September 2-3: FMICS Conference
September 5: Workshops
HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2020)
Call for Participation
15 September 2020: Tutorial day
16-18 September 2020: Conference
http://highlights-conference.org
* VENUE
This year's Highlights of Logic, Games, and Automata conference will be held online.
HIGHLIGHTS 2020 is the eighth conference on Highlights of Logic, Games
and Automata. It aims at integrating the community working in these fields.
Papers from these areas are dispersed across many conferences, which
makes them difficult to follow. A visit to the Highlights conference should offer
a wide picture of the latest research in the field and a chance to meet
everybody in the community, not just those who happen to publish in one
particular proceedings volume. We encourage you to attend and present
your best work, be it already published or not, at the Highlights conference.
* AREAS
Representative areas include, but are not restricted to: algorithmic model theory,
automata theory, databases, games for logic and verification, logic, verification
* TUTORIALS
HIGHLIGHTS continues with a tutorial day, September 15, with two tutorials
of 3 hours each:
Laure Daviaud, Probabilistic Automata,
Uri Zwick, Algorithms for Turn-based Stochastic games.
* CONTRIBUTED TALKS
From the 16th to the 18th around noon (2.5 days) are featured the contributed
talks, as well as four keynotes given by: Michael Benedikt, Stephane Demri,
Mehryar Mohri, and Anca Muscholl.
10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP 2021)
Call for Papers
January 18-19, 2021 (collocated with POPL 2021)
https://popl21.sigplan.org/home/CPP-2021
* AIMS
Certified Programs and Proofs (CPP) is an international conference
on practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm for their work.
CPP spans areas of computer science, mathematics, logic, and
education. CPP is sponsored by ACM SIGPLAN, in cooperation
with ACM SIGLOG.
* ORGANIZATION
The 10th ACM SIGPLAN International Conference on Certified Programs
and Proofs (CPP 2021) will welcome contributions from all members of
the community. Independently of what will happen with the global
COVID-19 crisis and the complications of its aftermath, authors and
other participants will be given the choice to participate in-person or remotely.
* DATES
CPP 2021 will be co-located with POPL 2021 and will take place on
January 18-19, 2021, as a physical, virtual, or hybrid physical/virtual
meeting. The POPL and CPP organizers are monitoring the COVID-19
situation and will announce a decision on the nature of the meeting in time.
* IMPORTANT DATES (AoE)
Abstract submission deadline: Wed 16 Sep 2020 23:59
Paper submission deadline: Tue 22 Sep 2020 23:59
Conference: Mon 18 - Tue 19 Jan 2021
* SUBMISSION LINK
https://cpp2021.hotcrp.com
* ORGANIZATION
Lennart Beringer, Princeton University (Conference Co-Chair)
Catalin Hritcu, MPI-SP (PC and Conference Co-Chair)
Andrei Popescu. University of Sheffield (PC Co-Chair)
49TH INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2022)
Call for Location
* SERIES
The International Colloquium on Automata, Languages and Programming
(ICALP) is the main conference and annual meeting of the EATCS
(European Association for Theoretical Computer Science). This
international conference was launched in 1972 and covers all aspects
of theoretical computer science. ICALP comprises the main, two-track
conference over four days, plus a pre- and/or a post-workshop day.
We invite proposals for locations to host the 49th ICALP, to be held
mid July 2022. Previous (and upcoming) ICALP editions include:
ICALP 2021 in Glasgow (UK)
ICALP 2020 in Saarbruecken (Germany)
ICALP 2019 in Patras (Greece)
ICALP 2018 in Prague (Czech Rep.)
ICALP 2017 in Warsaw (Poland)
ICALP 2016 in Rome (Italy)
Informal enquires can be addressed to Artur Czumaj or Anca Muscholl
(see contact information below).
* DEADLINE
The deadline for proposals is October 15, 2020. Proposals should
be sent to the President of the EATCS and the SC chair (see contact
information below). Selected proposals will be discussed by the
EATCS Council. Proposals should address the following points:
- name(s) of the Conference Chair(s) and their host institution
- proposed location (and possibly venue)
- appropriateness of the proposed dates (including possible holidays
or other events)
- travel information and estimated transportation costs
- estimated accommodation and registration costs
- conference facilities (session and plenary rooms, workshop rooms)
* CONTACT
EATCS president: Artur Czumaj (aczumaj at acm dot org)
ICALP SC chair: Anca Muscholl (anca at labri dot fr)
NINTH INTERNATIONAL CONFERENCE ON FUNDAMENTALS OF SOFTWARE ENGINEERING (FSEN 2021)
Call for Papers
http://fsen.ir/2021
Tehran, Iran
May 19-21, 2021
* IMPORTANT INFORMATION
The FSEN Steering and Organizing Committees are monitoring the situation
surrounding COVID-19, and are aware of the restrictions and uncertainty that
people are facing this period, complying with local and international rules on
travel restrictions. Therefore FSEN 2021 will be held as a mixed event, offering
virtual presentation as option to participants. All accepted papers will be published
in the conference proceedings, regardless of whether a physical or virtual
presentation is given. More details will follow in the course of time via the
FSEN 2021 website.
* FSEN
Fundamentals of Software Engineering (FSEN) is an international conference
that aims to bring together researchers, engineers, developers, and practitioners
from academia and industry to present and discuss their research work in the
area of formal methods for software engineering.
* IMPORTANT DATES
Abstract Submission (optional): October 18, 2020 (AoE)
Paper Submission: November 1, 2020 (AoE)
Notification: December 18, 2020
Final pre-Conference Version: January 21, 2021 (AoE)
Conference: May 19-21, 2021
* KEYNOTE SPEAKERS
Pavol Cerny, Vienna University of Technology, Austria
Marta Kwiatkowska, University of Oxford, UK
* GENERAL CHAIRS
Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands
Pejman Lotfi-Kamran - IPM, Iran
Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran
* PROGRAM CHAIRS
Hossein Hojjat - Tehran Institute for Advanced Studies, University of Tehran, Iran
Mieke Massink - CNR-ISTI Pisa, Italy
* PUBLICITY CHAIR
Maurice ter Beek - CNR-ISTI Pisa, Italy
VLCA INTERNATIONAL STUDENT AWARDS FOR OUTSTANDING MASTER AND UNDERGRADUATE THESES IN LOGIC AND COMPUTER SCIENCE
Award Announcement
http://www.vcla.at/2020/07/fifth-edition-of-the-vcla-international-student-awards-2020/
* The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has
the pleasure to announce the recipients of the VCLA International
Student Awards for Outstanding Master and Undergraduate Theses
in Logic and Computer Science. The highly successful fifth edition of
the VCLA International Student Awards was concluded in July 2020.
The awardees of the 2020 edition of the VCLA International Student Awards
are listed below.
* OUTSTANDING MASTER THESIS AWARD
Karolina Okrasa (Poland Warsaw University of Technology)
Thesis: Complexity of variants of graph homomorphism problem in selected
graph classes
Under the supervision of Pawel Rzazewski
* OUTSTANDING UNDERGRADUATE RESEARCH AWARD
Antonin Callard (France ENS Paris-Saclay)
Thesis: Topological analysis of represented spaces and computable maps,
cb0 spaces and non-countably-based spaces
Under the supervision of Mathieu Hoyrup
http://www.vcla.at/2020/07/fifth-edition-of-the-vcla-international-student-awards-2020/
* AWARDS
The annually awarded VCLA Awards are dedicated to the memory of Helmut Veith,
the brilliant computer scientist who tragically passed away in March 2016, and aim
to carry on his commitment to promoting young talent and promising researchers
in these areas. The awardees receive:
- Outstanding Master Thesis Award: 1200 EUR
- Outstanding Undergraduate Research (Bachelor) Award: 800 EUR
The awardees will be invited to present their work at an award ceremony.
* (SELF-)NOMINATIONS
The nominated theses had to be awarded between 15 November 2018 and
31 December 2019. The 2021 call will be issued in January 2021, for theses
awarded between 15 November 2019 and 31 December 2020.
* FORMER AWARDEES
http://www.vcla.at/vcla-awards
* VCLA AWARD COMMITTEE 2020
Shqiponja Ahmetaj, Ezio Bartocci, Ekaterina Fokina, Robert Ganian (co-chair),
Benjamin Kiesl, Martin Lackner, Bjoern Lellmann, Anna Lukina, Laura Nenzi,
Johannes Oetsch, Magdalena Ortiz (chair), Revantha Ramanayake (co-chair),
Zeynep G. Saribatur, Mantas Simkus, Sebastian Skritek, Friedrich Slivovsky,
Max Tschaikowski, Johannes P. Wallner
Back to the LICS web page.