ETAPS Foreword
Welcome to the 23rd ETAPS! ETAPS 2020 was originally planned to take place in
Ireland in its beautiful capital Dublin. Because of the Covid-19 pandemic, this was
changed to an online event on July 2, 2020.
ETAPS 2020 is the 23rd instance of the European Joint Conferences on Theory and
Practice of Software.
ETAPS is an annual federated conference established in 1998, and consists of four
conferences: ESOP, FASE, FoSSaCS, and TACAS.
Each conference has its own Program Committee (PC) and its own Steering
Committee (SC).
The conferences cover various aspects of software systems, ranging from theoretical
computer science to foundations of programming language developments, analysis
tools, and formal approaches to software engineering.
Organizing these conferences in a coherent, highly synchronized conference programme, enables researchers to participate in an exciting event, having the possibility
to meet many colleagues working in different directions in the field, and to easily attend
talks of different conferences.
On the weekend before the main conference, numerous satellite workshops take
place that attract many researchers from all over the globe. Also, for the second time, an
ETAPS Mentoring Workshop is organized.
This workshop is intended to help students early in the program with advice on
research, career, and life in the fields of computing that are covered by the ETAPS
conference.
ETAPS 2020 received 424 submissions in total, 129 of which were accepted,
yielding an overall acceptance rate of 30.4%.
I thank all the authors for their interest in ETAPS, all the reviewers for their
reviewing efforts, the PC members for their contributions, and in particular the PC (co-)
chairs for their hard work in running this entire intensive process.
Last but not least, my congratulations to all authors of the accepted papers!
Because of the change to an online event, most of the original ETAPS program had
to be cancelled. The ETAPS afternoon featured presentations of the three best paper
awards, the Test-of-Time award and the ETAPS PhD award. The invited and tutorial
speakers of ETAPS 2020 will be invited for ETAPS 2021, and all authors of accepted
ETAPS 2020 papers will have the opportunity to present their work at ETAPS 2021.
ETAPS 2020 originally was supposed to place in Dublin, Ireland, organized by the
University of Limerick and Lero. The local organization team consisted of Tiziana
Margaria (UL and Lero, general chair), Vasileios Koutavas (Lero@UCD), Anila Mjeda
(Lero@UL), Anthony Ventresque (Lero@UCD), and Petros Stratis (Easy Conferences). I would like to thank Tiziana and her team for all the preparations, and we hope
there will be a next opportunity to host ETAPS in Dublin.
ETAPS 2020 is further supported by the following associations and societies:
ETAPS e.V., EATCS (European Association for Theoretical Computer Science),
Welcome to the 23rd ETAPS! ETAPS 2020 was originally planned to take place in
Ireland in its beautiful capital Dublin. Because of the Covid-19 pandemic, this was
changed to an online event on July 2, 2020.
ETAPS 2020 is the 23rd instance of the European Joint Conferences on Theory and
Practice of Software.
ETAPS is an annual federated conference established in 1998, and consists of four
conferences: ESOP, FASE, FoSSaCS, and TACAS.
Each conference has its own Program Committee (PC) and its own Steering
Committee (SC).
The conferences cover various aspects of software systems, ranging from theoretical
computer science to foundations of programming language developments, analysis
tools, and formal approaches to software engineering.
Organizing these conferences in a coherent, highly synchronized conference programme, enables researchers to participate in an exciting event, having the possibility
to meet many colleagues working in different directions in the field, and to easily attend
talks of different conferences.
On the weekend before the main conference, numerous satellite workshops take
place that attract many researchers from all over the globe. Also, for the second time, an
ETAPS Mentoring Workshop is organized.
This workshop is intended to help students early in the program with advice on
research, career, and life in the fields of computing that are covered by the ETAPS
conference.
ETAPS 2020 received 424 submissions in total, 129 of which were accepted,
yielding an overall acceptance rate of 30.4%.
I thank all the authors for their interest in ETAPS, all the reviewers for their
reviewing efforts, the PC members for their contributions, and in particular the PC (co-)
chairs for their hard work in running this entire intensive process.
Last but not least, my congratulations to all authors of the accepted papers!
Because of the change to an online event, most of the original ETAPS program had
to be cancelled. The ETAPS afternoon featured presentations of the three best paper
awards, the Test-of-Time award and the ETAPS PhD award. The invited and tutorial
speakers of ETAPS 2020 will be invited for ETAPS 2021, and all authors of accepted
ETAPS 2020 papers will have the opportunity to present their work at ETAPS 2021.
ETAPS 2020 originally was supposed to place in Dublin, Ireland, organized by the
University of Limerick and Lero. The local organization team consisted of Tiziana
Margaria (UL and Lero, general chair), Vasileios Koutavas (Lero@UCD), Anila Mjeda
(Lero@UL), Anthony Ventresque (Lero@UCD), and Petros Stratis (Easy Conferences). I would like to thank Tiziana and her team for all the preparations, and we hope
there will be a next opportunity to host ETAPS in Dublin.
ETAPS 2020 is further supported by the following associations and societies:
ETAPS e.V., EATCS (European Association for Theoretical Computer Science),