The Coq mailing list

[Jan Kofron <etaps2022 AT d3s.mff.cuni.cz>]

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ät Linz, Austria)
    * FoSSaCS: Foundations of Software Science
        and Computation Structures
        (PC chairs: Patricia Bouyer, CNRS, LMF, France,
        and Lutz Schröder, FAU Erlangen-Nürnberg, 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áš 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ät München (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ät München.


-- ORGANIZERS --

General chair: Jan Křetínský (Technische Universität München, Germany)

Workshops chair: Dirk Beyer (Ludwig-Maximilians Universität München,
Germany)


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