Difference between revisions of "ETAPS 2017"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
(6 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |||
|Submission deadline=2016/10/21 | |Submission deadline=2016/10/21 | ||
+ | |gndId=1129371344 | ||
|has general chair=Parosh Aziz Abdulla | |has general chair=Parosh Aziz Abdulla | ||
|has Keynote speaker=Michael Ernst, Kim G. Larsen | |has Keynote speaker=Michael Ernst, Kim G. Larsen | ||
− | |Acronym=ETAPS 2017 | + | |Acronym =ETAPS 2017 |
− | |End date=2017 | + | |End date=2017-04-29 |
− | |Series=ETAPS | + | |Series =ETAPS |
− | |Type =Conference | + | |presence=presence |
− | |Country=SE | + | |Type =Conference |
− | |State=SE/C | + | |Country =SE |
− | |City =SE/C/Uppsala | + | |State =SE/C |
+ | |City =SE/C/Uppsala | ||
+ | |Year =2017 | ||
|Homepage=https://etaps.org/2017 | |Homepage=https://etaps.org/2017 | ||
− | |Start date=2017 | + | |Ordinal =20 |
− | |Title= | + | |Start date=2017-04-22 |
+ | |Title =European Joint Conferences on Theory and Practice of Software | ||
|Accepted papers=159 | |Accepted papers=159 | ||
− | |Submitted papers=531}} | + | |Submitted papers=531 |
+ | |wikicfpId=56269 | ||
+ | |DblpConferenceId=etaps/index | ||
+ | }} | ||
+ | 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 |
Latest revision as of 02:52, 29 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at ETAPS 2017/rating
ETAPS 2017 | |
---|---|
European Joint Conferences on Theory and Practice of Software
| |
Ordinal | 20 |
Event in series | ETAPS |
Dates | 2017-04-22 (iCal) - 2017-04-29 |
Presence | presence |
Homepage: | https://etaps.org/2017 |
Location | |
Location: | SE/C/Uppsala, SE/C, SE |
Important dates | |
Submissions: | 2016/10/21 |
Papers: | Submitted 531 / Accepted 159 (29.9 %) |
Committees | |
General chairs: | Parosh Aziz Abdulla |
Keynote speaker: | Michael Ernst, Kim G. Larsen |
Table of Contents | |
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