Sunday, February 28, 2021

[DMANET] ETAPS 2021 call for participation

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.



24th European Joint Conferences on Theory And Practice of Software
ETAPS 2021

online from Luxembourg, Luxembourg, 27 March - 1 April 2021



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


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


See the accepted paper lists at webpages of the individual

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.


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 (TBC)

HCVS '21: 8th Workshop on Horn Clauses for Verification and Synthesis
Organiser: Fabio Fioravanti

LiVe '21: 5th Workshop on Learning in Verification
Organiser: Jan Kretinsky

QAVS '21: 2nd Workshop on Quantitative Aspects of Variant-rich Systems
Organizers: Clemens Dubslaff and Maurice H. ter Beek

RW '21: Rust Verify
Organizers: Rajeev Joshi, Nicholas Matsakis, Peter Müller

TADM '21: 1st International Workshop on Trusted Automated Decision
Making Organizers: Ramesh Bharadwaj and Ilya Parker

VerifyThis '21: VerifyThis Verification Competition 2020
Organizers: Siddharth Krishna, Wytse Oortwijn, Marieke Huisman,
Rosemary Monahan, Peter Müller, Mattias Ulbrich

VPT '21: 9th International Workshop on Verification and Program
Transformation Organizers: Alexei Lisitsa and Andrei Nemytykh


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


ETAPS 2021 is organised by the Interdisciplinary Centre for Security,
Reliability and Trust (SnT), Université du Luxembourg.


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)


Please do not hesitate to contact the organizers at
etaps2021 at .

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.