From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10409 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Tarmo Uustalu Newsgroups: gmane.science.mathematics.categories Subject: ETAPS 2021 call for participation Date: Mon, 1 Mar 2021 02:16:17 +0200 Message-ID: Reply-To: Tarmo Uustalu Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="24596"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Mon Mar 01 16:48:06 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lGkmD-0006F0-Om for gsmc-categories@m.gmane-mx.org; Mon, 01 Mar 2021 16:48:05 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:46266) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lGkgo-0005R6-Vk; Mon, 01 Mar 2021 11:42:30 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lGkfp-0003dI-Vr for categories-list@rr.mta.ca; Mon, 01 Mar 2021 11:41:29 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10409 Archived-At: 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 =20 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=C3=B3noma de Madrid, Spain, and Mari=C3=ABlle 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) =20 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 =C3=81brah=C3=A1m (RWTH Aachen University, Germany) Madhusudan Parthasararathy (University of Illinois at Urbana-Champaign, USA)=20 -- 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.=20 -- 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)=20 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=C3=BCller 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,=20 Rosemary Monahan, Peter M=C3=BCller, 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=C3=A9 du Luxembourg. -- ORGANIZERS General chair: Peter Y. A. Ryan (SnT & Universit=C3=A9 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/ ]