[ecoop-info] ETAPS 2021 call for participation

Tarmo Uustalu tarmo at cs.ioc.ee
Mon Mar 1 01:09:48 CET 2021


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 .



More information about the ecoop-info mailing list