Difference between revisions of "ETAPS 2003"
Jump to navigation
Jump to search
| Line 20: | Line 20: | ||
==Main Conferences== | ==Main Conferences== | ||
| − | * | + | *CC 2003, International Conference on Compiler Construction |
| − | * | + | *ESOP 2003, European Symposium on Programming |
| − | * | + | *FASE 2003, Fundamental Approaches to Software Engineering |
| − | * | + | *FOSSACS 2003, Foundations of Software Science and Computation Structures |
| − | *TACAS | + | *TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems |
Revision as of 11:58, 12 January 2022
| ETAPS 2003 | |
|---|---|
European Conferences on Theory and Practice of Software
| |
| Ordinal | 6 |
| Event in series | ETAPS |
| Dates | 2003/04/07 (iCal) - 2003/04/11 |
| Presence | presence |
| Homepage: | https://duch.mimuw.edu.pl/etaps03/ |
| Location | |
| Location: | Warsaw, Poland |
| Table of Contents | |
The 6. European Conferences on Theory and Practice of Software (ETAPS) 2003
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 2003, International Conference on Compiler Construction
- ESOP 2003, European Symposium on Programming
- FASE 2003, Fundamental Approaches to Software Engineering
- FOSSACS 2003, Foundations of Software Science and Computation Structures
- TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems