Difference between revisions of "ETAPS 2020"

From Openresearch
Jump to: navigation, search
 
Line 24: Line 24:
  
 
==Proceedings==
 
==Proceedings==
European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020
+
''ETAPS 2020 -  European Joint Conferences on Theory and Practice of Software
Proceedings, Part I: https://doi.org/10.1007/978-3-030-45190-5
+
The proceedings of the 4 main conferences and 17 satellite workshops of ETAPS 2020 appeared in 8 volumes of Springer's LNCS and 5 volumes of Open Publishing Association's EPTCS.
Proceedings, Part II: https://doi.org/10.1007/978-3-030-45237-7
+
Some journal special issues are in preparation''.
 
 
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
 

Latest revision as of 14:14, 4 August 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...

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

ETAPS 2020 - European Joint Conferences on Theory and Practice of Software The proceedings of the 4 main conferences and 17 satellite workshops of ETAPS 2020 appeared in 8 volumes of Springer's LNCS and 5 volumes of Open Publishing Association's EPTCS. Some journal special issues are in preparation.

Facts about "ETAPS 2020"
Acceptance rate30.4 +
Accepted papers129 +
AcronymETAPS 2020 - Cancelled +
End dateApril 30, 2020 +
Event in seriesETAPS +
Event typeConference +
Has coordinates53° 20' 58", -6° 15' 38"Latitude: 53.349380555556
Longitude: -6.2605583333333
+
Has general chairTiziana Margaria +
Has location cityDublin +
Has location countryCategory:Ireland +
Homepagehttps://www.etaps.org/ +
IsAEvent +
Start dateApril 25, 2020 +
Submitted papers424 +
Title23rd European Joint Conferences on Theory & Practice of Software +