Difference between revisions of "ETAPS 2021"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
(4 intermediate revisions by one other user not shown)
Line 8: Line 8:
 
|End date=2021/04/01
 
|End date=2021/04/01
 
|Submission deadline=2020/10/15
 
|Submission deadline=2020/10/15
|Homepage=https://etaps.org/
+
|Homepage=https://etaps.org/2021
 
|gndId=1232363162
 
|gndId=1232363162
 
|DblpConferenceId=etaps/index
 
|DblpConferenceId=etaps/index
 
|City=Luxembourg
 
|City=Luxembourg
 
|Country=Luxembourg
 
|Country=Luxembourg
|presence=presence
+
|presence=online
 
|Paper deadline=2020/10/15
 
|Paper deadline=2020/10/15
 
|Notification=2020/11/23
 
|Notification=2020/11/23
Line 20: Line 20:
 
|has general chair=Peter Y. A. Ryan
 
|has general chair=Peter Y. A. Ryan
 
|has workshop chair=Joaquin Garcia-Alfaro
 
|has workshop chair=Joaquin Garcia-Alfaro
 +
|Submitted papers=260
 +
|Accepted papers=115
 +
|pageCreator=Britta.Seeberg
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
 
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 37: Line 44:
 
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 44: Line 52:
 
* 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 20:27, 1 April 2022

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, Luxembourg
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 .