Difference between revisions of "ETAPS 2021"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
 
Line 25: Line 25:
 
}}
 
}}
 
The 24. European Joint Conferences on Theory and Practice of Software (ETAPS) 2021
 
The 24. European Joint Conferences on Theory and Practice of Software (ETAPS) 2021
 
  
 
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twenty-fourth edition, ETAPS 2021, will take place in Luxembourg.
 
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twenty-fourth edition, ETAPS 2021, will take place in Luxembourg.
 
ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
 
ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
 
+
 
 +
 
 +
==Main Conferences==
 
ETAPS 2021 main conferences, scheduled for 27 March 27-1 April, are:
 
ETAPS 2021 main conferences, scheduled for 27 March 27-1 April, are:
* ESOP: European Symposium on Programming
+
*CC 2021, International Conference on Compiler Construction
* FASE: Fundamental Approaches to Software Engineering
+
*ESOP 2021, European Symposium on Programming
* FoSSaCS: Foundations of Software Science and Computation Structures
+
*FASE 2021, Fundamental Approaches to Software Engineering
* [[TACAS 2021]]: Tools and Algorithms for the Construction and Analysis of Systems
+
*FOSSACS 2021, Foundations of Software Science and Computation Structures
 +
*TACAS 2021, Tools and Algorithms for the Construction and Analysis of Systems
  
 
Authors accepted for ETAPS 2020, which was cancelled because of the COVID-19 pandemic, can present their papers at ETAPS 2021.
 
Authors accepted for ETAPS 2020, which was cancelled because of the COVID-19 pandemic, can present their papers at ETAPS 2021.
Line 40: Line 42:
 
ETAPS is run by the ETAPS Association.
 
ETAPS is run by the ETAPS Association.
  
 +
 +
==Important dates== 
 
ETAPS 2021 Joint Call for Papers
 
ETAPS 2021 Joint Call for Papers
==Important dates== 
 
 
* (No abstract submission deadline)
 
* (No abstract submission deadline)
 
* Paper submission deadline: 15 October 2020 23:59 AoE (=GMT-12)
 
* Paper submission deadline: 15 October 2020 23:59 AoE (=GMT-12)
Line 47: Line 50:
 
* Author notification: 23 December 2020
 
* Author notification: 23 December 2020
 
* Camera-ready versions:  22 January 2020
 
* Camera-ready versions:  22 January 2020
 +
  
 
==Committees==
 
==Committees==

Latest revision as of 02:18, 29 December 2021


Event Rating

median worst
Pain1.svg Pain6.svg

List of all ratings can be found at ETAPS 2021/rating

ETAPS 2021
European Joint Conferences on Theory and Practice of Software
Ordinal 24
Event in series ETAPS
Dates 2021-03-27 (iCal) - 2021-04-01
Presence online
Homepage: https://etaps.org/2021
Location
Location: Luxembourg, LU
Loading map...

Important dates
Papers: 2020/10/15
Submissions: 2020/10/15
Notification: 2020/11/23
Camera ready due: 2020/01/22
Papers: Submitted 260 / Accepted 115 (44.2 %)
Committees
General chairs: Peter Y. A. Ryan
Workshop chairs: Joaquin Garcia-Alfaro
Table of Contents

The 24. European Joint Conferences on Theory and Practice of Software (ETAPS) 2021

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twenty-fourth edition, ETAPS 2021, will take place in Luxembourg. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.


Main Conferences

ETAPS 2021 main conferences, scheduled for 27 March 27-1 April, are:

  • CC 2021, International Conference on Compiler Construction
  • ESOP 2021, European Symposium on Programming
  • FASE 2021, Fundamental Approaches to Software Engineering
  • FOSSACS 2021, Foundations of Software Science and Computation Structures
  • TACAS 2021, Tools and Algorithms for the Construction and Analysis of Systems

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

ETAPS is run by the ETAPS Association.


Important dates

ETAPS 2021 Joint Call for Papers

  • (No abstract submission deadline)
  • Paper submission deadline: 15 October 2020 23:59 AoE (=GMT-12)
  • Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE
  • Author notification: 23 December 2020
  • Camera-ready versions: 22 January 2020


Committees

General chair

  • Peter Y. A. Ryan (SnT & University of Luxembourg)

Workshops chair

  • Joaquin Garcia-Alfaro (Telecom SudParis, France)

Organization chair

  • Peter Roenne (SnT Luxembourg)

Event manager

  • Magali Martin (SnT Luxembourg)

Publicity chair

  • David Mestel (SnT Luxembourg)

Contact email: etaps2021 at uni.lu .