ETAPS 2020

ETAPS 2020
23rd European Joint Conferences on Theory & Practice of Software
Event in series	ETAPS
Dates	2020/04/25 (iCal) - 2020/04/30
Homepage:	https://www.etaps.org/
Location
Location:	Dublin, Ireland
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":53.3493795,"lon":-6.2605593,"icon":""}],"imageoverlays":null}
Subevents: ESOP 2020, FASE 2020, FOSSACS 2020
Papers:	Submitted 424 / Accepted 129 (30.4 %)
Committees
General chairs:	Tiziana Margaria
Table of Contents

23rd European Joint Conferences on Theory & Practice of Software - ETAPS 2020 - 25-30 April 2020, Dublin, Ireland- cancelled

Authors accepted for ETAPS 2020, which was cancelled because of the COVID-19 pandemic, can present their papers at ETAPS 2021.

ETAPS 2020 Afternoon

To compensate for the cancelled physical ETAPS 2020 conference in Dublin, we will hold a 3-hour virtual event to hand out the awards of the conference and listen to talks by the best paper award winners. This will take place Thu 2 July 2020.

The presentations will be streamed live. Questions to presenters can be asked in a chat. The event will be recorded and can be watched later.

Proceedings

European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020 Proceedings, Part I: https://doi.org/10.1007/978-3-030-45190-5 Proceedings, Part II: https://doi.org/10.1007/978-3-030-45237-7

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.

Committees

PC Chairs

• Armin Biere
• David Parker

Case Study Chair

• Marijn Heule

Tools Chair

• Falk Howar

Competition Chair

• Dirk Beyer

AEC Chairs

• Arnd Hartmanns
• Martina Seidl