Early registration is until 15 March 2021. From 16 March, late
registration rates apply.
Author registration (ETAPS 2021 and ETAPS 2020) is until 15 March 2021.
******************************************************************
CALL FOR PARTICIPATION
24th European Joint Conferences on Theory And Practice of Software
ETAPS 2021
online from Luxembourg, Luxembourg, 27 March - 1 April 2021
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2021 is the
twenty-fourth event in the series.
-- MAIN CONFERENCES (29 March - 1 April) --
* ESOP: European Symposium on Programming
(PC chair: Nobuko Yoshida, Imperial College London, UK)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain,
and Mariëlle Stoelinga, Univ. Twente, The Netherlands)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and
Christine Tasson, IRIF, Univ. Paris Diderot, France)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven,
The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark)
TACAS '21 hosts the 10th Competition on Software Verification
(SV-COMP).
https://sv-comp.sosy-lab.org/2021/
-- INVITED TALKS AND TUTORIALS --
* Unifying speakers:
Scott Smolka, Stony Brook University, USA
Jane Hillston (University of Edinburgh, UK)
* ESOP invited speaker:
Isil Dillig (University of Texas at Austin, USA)
* FASE invited speaker:
Willem Visser (Stellenbosch University, South Africa)
* Tutorial speakers:
Erika Ábrahám (RWTH Aachen University, Germany)
Madhusudan Parthasararathy
(University of Illinois at Urbana-Champaign, USA)
-- CONTRIBUTED PAPERS --
See the accepted paper lists at webpages of the individual
conferences.
For the 4th year, the proceedings of the ETAPS main conferences in
LNCS/ARCoSS will appear in Gold Open Access.
In addition to the accepted papers of this year, papers accepted for
ETAPS 2020 will also be presented.
-- PROGRAM --
To appear soonest on the conference website.
-- SATELLITE EVENTS (27-28 March) --
8 satellite workshops and other events will take place before
ETAPS 2021.
FMSRL '21: 1st Workshop on Formal Methods for Safe Reinforcement
Learning Organizers: Nathan Fulton, Alessandro Abate, Roderick Bloem
http://workshop.safelearning.ai (TBC)
HCVS '21: 8th Workshop on Horn Clauses for Verification and Synthesis
Organiser: Fabio Fioravanti
https://www.sci.unich.it/hcvs21/
LiVe '21: 5th Workshop on Learning in Verification
Organiser: Jan Kretinsky
https://www7.in.tum.de/~kretinsk/LiVe2021.html
QAVS '21: 2nd Workshop on Quantitative Aspects of Variant-rich Systems
Organizers: Clemens Dubslaff and Maurice H. ter Beek
https://qavs.edgecloud.de
RW '21: Rust Verify
Organizers: Rajeev Joshi, Nicholas Matsakis, Peter Müller
https://sites.google.com/view/rustverify2021
TADM '21: 1st International Workshop on Trusted Automated Decision
Making Organizers: Ramesh Bharadwaj and Ilya Parker
https://3drationality.com/TADM2021/
VerifyThis '21: VerifyThis Verification Competition 2020
Organizers: Siddharth Krishna, Wytse Oortwijn, Marieke Huisman,
Rosemary Monahan, Peter Müller, Mattias Ulbrich
http://verifythis.ethz.ch/
VPT '21: 9th International Workshop on Verification and Program
Transformation Organizers: Alexei Lisitsa and Andrei Nemytykh
http://refal.botik.ru/vpt/vpt2021/
-- REGISTRATION --
Registration is open.
Early registration is until 15 March 2021. From 16 March, late
registration rates apply.
Author registration (ETAPS 2021 and ETAPS 2020) is until 15 March
2021.
https://etaps.org/2021/registration
-- HOST INSTITUTION --
ETAPS 2021 is organised by the Interdisciplinary Centre for Security,
Reliability and Trust (SnT), Université du Luxembourg.
-- ORGANIZERS
General chair: Peter Y. A. Ryan (SnT & Université du Luxembourg)
Workshops chair: Joaquin Garcia-Alfaro (Telecom SudParis, France)
Organization chair: Peter Roenne (SnT Luxembourg)
Event manager: Magali Martin (SnT Luxembourg)
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
etaps2021 at uni.lu .
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************