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 four 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 . _______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell