Difference between revisions of "ETAPS 2007"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=ETAPS 2007 |Title=European Conferences on Theory and Practice of Software |Ordinal=10 |Series=ETAPS |Type=Conference |Start date=2007/03/24 |End date=2007/04/...") |
|||
Line 21: | Line 21: | ||
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 2007, International Conference on Compiler Construction | ||
+ | *ESOP 2007, European Symposium on Programming | ||
+ | *FASE 2007, Fundamental Approaches to Software Engineering | ||
+ | *FOSSACS 2007, Foundations of Software Science and Computation Structures | ||
+ | *TACAS 2007, Tools and Algorithms for the Construction and Analysis of Systems |
Revision as of 13:24, 28 December 2021
ETAPS 2007 | |
---|---|
European Conferences on Theory and Practice of Software
| |
Ordinal | 10 |
Event in series | ETAPS |
Dates | 2007/03/24 (iCal) - 2007/04/01 |
Presence | presence |
Homepage: | https://www.di.uminho.pt/etaps07/ |
Location | |
Location: | Braga, Portugal |
Papers: | Submitted 630 / Accepted 157 (24.9 %) |
Committees | |
Organizers: | Pedro Rangel Henriques |
General chairs: | João Alexandre Saraiva |
Table of Contents | |
The 10. European Conferences on Theory and Practice of Software (ETAPS) 2007
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 2007, International Conference on Compiler Construction
- ESOP 2007, European Symposium on Programming
- FASE 2007, Fundamental Approaches to Software Engineering
- FOSSACS 2007, Foundations of Software Science and Computation Structures
- TACAS 2007, Tools and Algorithms for the Construction and Analysis of Systems