ETAPS 2021 call for participation

[Tarmo Uustalu <tarmo@cs.ioc.ee>]

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
 			   
    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ó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
(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 Ábrahám (RWTH Aachen University, Germany)
      Madhusudan Parthasararathy
         (University of Illinois at Urbana-Champaign, USA) 


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


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

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üller
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, 
Rosemary Monahan, Peter Müller, 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é du Luxembourg.


-- ORGANIZERS

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)


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