From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10666 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jan Kofron Newsgroups: gmane.science.mathematics.categories Subject: ETAPS 2022 call for participation Date: Tue, 15 Feb 2022 12:40:40 +0100 Message-ID: Reply-To: Jan Kofron Mime-Version: 1.0 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="21232"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu Feb 17 21:29:32 2022 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 1nKnP8-0005JZ-9u for gsmc-categories@m.gmane-mx.org; Thu, 17 Feb 2022 21:29:30 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:45032) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nKnNG-00082q-Az; Thu, 17 Feb 2022 16:27:34 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nKnLw-0003FA-Pa for categories-list@rr.mta.ca; Thu, 17 Feb 2022 16:26:12 -0400 Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10666 Archived-At: Registration is open. Early registration is until February 20, 2022. From 5 March, late registration rates apply. ****************************************************************** CALL FOR PARTICIPATION 25th European Joint Conferences on Theory and Practice of Software ETAPS 2022 Munich, Germany, 2-7 April 2022 https://etaps.org/2022 ****************************************************************** -- 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 annual conferences, accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair: Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore) * FASE: Fundamental Approaches to Software Engineering (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, and Manuel Wimmer, Johannes Kepler Universit=C3=A4t Linz, Austri= a) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Patricia Bouyer, CNRS, LMF, France, and Lutz Schr=C3=B6der, FAU Erlangen-N=C3=BCrnberg, Germany) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Dana Fisman, Ben-Gurion University of the Negev, Israel, and Grigore Rosu, University of Illinois at Urbana-Champaign, USA) TACAS '22 will host the 11th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Alexandra Silva (University College London, UK / Cornell University, USA) Tom=C3=A1=C5=A1 Vojnar (Brno University of Technology, Czechia) * FoSSaCS invited speaker: Nathalie Bertrand (Inria Rennes, France) * TACAS invited speaker: Lenore Zuck (University of Illinois at Chicago, USA) * Tutorial speakers: Stacey Jeffery (CWI and QuSoft, The Netherlands) a further tutorial speaker tba -- PROGRAM -- To appear soonest on the conference website. -- SATELLITE EVENTS (2-3 April) -- A number of satellite workshops and other events will take place before the main conferences: CMCS, COOP, HCVS, LiVe, MARS, MSFP, PLACES, QAVS, RRRR, Rust Workshop, SynCop, VerifyThis, VPT, WRLA Also in the satellite events program is a Mentoring Workshop. For closer information, check https://etaps.org/2022/workshops . -- CITY AND HOST INSTITUTION -- Munich, Germany, is the capital and most populous city of Bavaria. Nowadays, the city is a global center of art, science, technology, finance, publishing, culture, innovation, education, business, and tourism. It is home to Ludwig Maximilian's University (LMU) and Technische Universit=C3=A4t M=C3=BCnchen (TUM), many scientific institutions, and world-class technology and science museums such as Deutsches Museum and BMW Museum. Iconic places to visit in Munich include the Munich Residenz, Marienplatz, the Old Town Hall, the famous Glockenspiel on the New Town Hall, the Frauenkirche, the English Garden, the Olympic Park and Nymphenburg Palace. The conference will be hosted by Technische Universit=C3=A4t M=C3=BCnchen= . -- ORGANIZERS -- General chair: Jan K=C5=99et=C3=ADnsk=C3=BD (Technische Universit=C3=A4t = M=C3=BCnchen, Germany) Workshops chair: Dirk Beyer (Ludwig-Maximilians Universit=C3=A4t M=C3=BCn= chen, Germany) --=20 Jan Kofron, Ph.D. Associate Professor Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles University Malostranske namesti 25 118 00 Praha 1, Czech Republic Phone: +420 95155 4285 http://d3s.mff.cuni.cz/~kofron [For admin and other information see: http://www.mta.ca/~cat-dist/ ]