Difference between revisions of "ETAPS 2011"
Jump to navigation
Jump to search
Line 25: | Line 25: | ||
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. | 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 2011, International Conference on Compiler Construction | ||
+ | *ESOP 2011, European Symposium on Programming | ||
+ | *FASE 2011, Fundamental Approaches to Software Engineering | ||
+ | *FOSSACS 2011, Foundations of Software Science and Computation Structures | ||
+ | *TACAS 2011, Tools and Algorithms for the Construction and Analysis of Systems |
Revision as of 11:53, 12 January 2022
ETAPS 2011 | |
---|---|
European Conferences on Theory and Practice of Software
| |
Ordinal | 14 |
Event in series | ETAPS |
Dates | 2011/03/26 (iCal) - 2011/04/03 |
Presence | presence |
Homepage: | https://etaps.org/2011/ |
Location | |
Location: | Saarbrücken, Germany |
Important dates | |
Submissions: | 2010/10/01 |
Notification: | 2010/12/10 |
Papers: | Submitted 463 / Accepted 130 (28.1 %) |
Committees | |
Organizers: | Holger Hermanns |
General chairs: | Keiko Nakata |
Workshop chairs: | Bernd Finkbeiner |
Table of Contents | |
The 14. European Conferences on Theory and Practice of Software (ETAPS) 2011
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 2011, International Conference on Compiler Construction
- ESOP 2011, European Symposium on Programming
- FASE 2011, Fundamental Approaches to Software Engineering
- FOSSACS 2011, Foundations of Software Science and Computation Structures
- TACAS 2011, Tools and Algorithms for the Construction and Analysis of Systems