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.