CAUTION: The Sender of this email is not from within Dalhousie. 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. ****************************************************************** CALL FOR PARTICIPATION 24th European Joint Conferences on Theory And Practice of Software ETAPS 2021 online from Luxembourg, Luxembourg, 27 March - 1 April 2021 http://www.etaps.org/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 . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]