Difference between revisions of "ETAPS 2001"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
Line 24: | Line 24: | ||
==Main Conferences== | ==Main Conferences== | ||
− | * | + | *CC 2001, International Conference on Compiler Construction |
− | * | + | *ESOP 2001, European Symposium on Programming |
− | * | + | *FASE 2001, Fundamental Approaches to Software Engineering |
− | * | + | *FOSSACS 2001, Foundations of Software Science and Computation Structures |
− | *TACAS | + | *TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems |
Latest revision as of 03:37, 13 January 2022
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at ETAPS 2001/rating
ETAPS 2001 | |
---|---|
European Conferences on Theory and Practice of Software
| |
Ordinal | 4 |
Event in series | ETAPS |
Dates | 2001-04-02 (iCal) - 2001-04-06 |
Presence | presence |
Homepage: | https://etaps.org/2001 |
Location | |
Location: | IT/42/Genoa, IT/42, IT |
Committees | |
General chairs: | Egidio Astesiano |
PC chairs: | Egidio Astesiano |
Table of Contents | |
The 4. European Conferences on Theory and Practice of Software (ETAPS) 2001
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 2001, International Conference on Compiler Construction
- ESOP 2001, European Symposium on Programming
- FASE 2001, Fundamental Approaches to Software Engineering
- FOSSACS 2001, Foundations of Software Science and Computation Structures
- TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems