---------- Forwarded message ---------
От: Tarmo Uustalu <[email protected]>
Date: вс, 7 мар. 2021 г. в 16:17
Subject: [Concurrency] ETAPS 2021 call for participation
To: <[email protected]>
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
https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.etaps.org%2F2021&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601908788%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=iJKQKnQZOshlknQ%2B2OJTaQYTLWl15MpDf%2FAC7l%2FKmso%3D&reserved=0
******************************************************************
-- 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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsv-comp.sosy-lab.org%2F2021%2F&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601908788%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=nE6zzvRZrmnPtmtKwQV0r6vB9rzs9eADvvsxlCyx2nc%3D&reserved=0
-- 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
https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fworkshop.safelearning.ai%2F&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601908788%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=AMbIQeJT%2BugP5Xf3Xz9AM%2F%2BSwreA5Ow7xfZGIQzVj4E%3D&reserved=0
(TBC)
HCVS '21: 8th Workshop on Horn Clauses for Verification and Synthesis
Organiser: Fabio Fioravanti
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sci.unich.it%2Fhcvs21%2F&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601908788%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=6hGegP%2B%2F3unp5NBht0WztX328mHJM45r5AX%2BE1zEVV8%3D&reserved=0
LiVe '21: 5th Workshop on Learning in Verification
Organiser: Jan Kretinsky
https://eur02.safelinks.protection.outlook.com/?url=https:%2F%2Fwww7.in.tum.de%2F~kretinsk%2FLiVe2021.html&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601908788%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=alfd6zrbQNoTL22J6NHvhmyHB5y%2FLyd4kNF8bxS20UY%3D&reserved=0
QAVS '21: 2nd Workshop on Quantitative Aspects of Variant-rich Systems
Organizers: Clemens Dubslaff and Maurice H. ter Beek
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fqavs.edgecloud.de%2F&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601908788%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=d3pRH04E%2FEonhjiZMidd%2FpAuNGcuCSHI5du0v58Kdq0%3D&reserved=0
RW '21: Rust Verify
Organizers: Rajeev Joshi, Nicholas Matsakis, Peter Müller
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Frustverify2021&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601908788%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=vvXfXMFoqHXJFFYUX1Tw%2FG%2FR6mOZGSK40gUzxep%2F8Fk%3D&reserved=0
TADM '21: 1st International Workshop on Trusted Automated Decision
Making Organizers: Ramesh Bharadwaj and Ilya Parker
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2F3drationality.com%2FTADM2021%2F&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601908788%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=JVgTqyzwt8ECo8CRczCZOCVdKOYIG04BNLe4neFZHAQ%3D&reserved=0
VerifyThis '21: VerifyThis Verification Competition 2020
Organizers: Siddharth Krishna, Wytse Oortwijn, Marieke Huisman,
Rosemary Monahan, Peter Müller, Mattias Ulbrich
https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fverifythis.ethz.ch%2F&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601918741%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=%2Bif8wQaQlEiw3S6%2BXqLokgqe0CWvPkRVJ83LXroPJpE%3D&reserved=0
VPT '21: 9th International Workshop on Verification and Program
Transformation Organizers: Alexei Lisitsa and Andrei Nemytykh
https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Frefal.botik.ru%2Fvpt%2Fvpt2021%2F&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601918741%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=Iid%2Fjwffd2p%2FFBEKCxB%2FBvx6%2BSBd13GKBdIi2ZckEWk%3D&reserved=0
-- 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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fetaps.org%2F2021%2Fregistration&data=04%7C01%7C%7Cb80e7f15b8474e27c89a08d8dc467e04%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C1%7C637501542601918741%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=lXepfhxTvKlHGhdXuNvK39ZoToOBiQu4dZ69Bb9d7NE%3D&reserved=0
-- 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 .
_______________________________________________
Concurrency mailing list
[email protected]
https://listserver.tue.nl/mailman/listinfo/concurrency
