(mobo import Concept___Fix_Presence-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 4: | Line 4: | ||
|Ordinal=20 | |Ordinal=20 | ||
|Type=Conference | |Type=Conference | ||
− | |||
|Homepage=https://etaps.org/2017 | |Homepage=https://etaps.org/2017 | ||
|gndId=1129371344 | |gndId=1129371344 | ||
Line 12: | Line 11: | ||
|Country=Country:SE | |Country=Country:SE | ||
|has general chair=Parosh Aziz Abdulla | |has general chair=Parosh Aziz Abdulla | ||
− | |||
|Submitted papers=531 | |Submitted papers=531 | ||
|Accepted papers=159 | |Accepted papers=159 | ||
Line 25: | Line 23: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Submission Deadline=2016/10/21 | ||
+ | }} | ||
+ | {{S Event}} | ||
The 20. European Joint Conferences on Theory and Practice of Software (ETAPS) 2017 | The 20. European Joint Conferences on Theory and Practice of Software (ETAPS) 2017 | ||
Revision as of 19:28, 22 September 2022
Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Venue
Uppsala Konsert & Kongress, Uppsala, Uppsala County, Sweden
The 20. European Joint Conferences on Theory and Practice of Software (ETAPS) 2017
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.
Main Conferences
- CC 2017, International Conference on Compiler Construction
- ESOP 2017, European Symposium on Programming
- FASE 2017, Fundamental Approaches to Software Engineering
- FOSSACS 2017, Foundations of Software Science and Computation Structures
- TACAS 2017, Tools and Algorithms for the Construction and Analysis of Systems