ETAPS 2022 call for participation

ETAPS 2022 call for participation

[Jan Kofron]

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/ ]