Difference between revisions of "ETAPS 2000"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=ETAPS 2000 |Title=European Joint Conferences on Theory and Practice of Software |Ordinal=3 |Series=ETAPS |Type=Conference |Start date=2000/03/25 |End date=200...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 15: | Line 15: | ||
|has general chair=Bernd Mahr | |has general chair=Bernd Mahr | ||
|has program chair=Hartmut Ehrig | |has program chair=Hartmut Ehrig | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 3. European Joint Conferences on Theory and Practice of Software (ETAPS) 2000 | The 3. European Joint Conferences on Theory and Practice of Software (ETAPS) 2000 | ||
| Line 22: | Line 25: | ||
==Main Conferences== | ==Main Conferences== | ||
| − | * | + | *CC 2000, International Conference on Compiler Construction |
| − | * | + | *ESOP 2000, European Symposium on Programming |
| − | * | + | *FASE 2000, Fundamental Approaches to Software Engineering |
| − | * | + | *FOSSACS 2000, Foundations of Software Science and Computation Structures |
| − | *TACAS | + | *TACAS 2000, Tools and Algorithms for the Construction and Analysis of Systems |
Latest revision as of 20:26, 1 April 2022
| ETAPS 2000 | |
|---|---|
European Joint Conferences on Theory and Practice of Software
| |
| Ordinal | 3 |
| Event in series | ETAPS |
| Dates | 2000/03/25 (iCal) - 2000/04/02 |
| Presence | presence |
| Homepage: | https://etaps.org/2000 |
| Location | |
| Location: | Berlin, Germany |
| Committees | |
| General chairs: | Bernd Mahr |
| PC chairs: | Hartmut Ehrig |
| Table of Contents | |
The 3. European Joint Conferences on Theory and Practice of Software (ETAPS) 2000
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 2000, International Conference on Compiler Construction
- ESOP 2000, European Symposium on Programming
- FASE 2000, Fundamental Approaches to Software Engineering
- FOSSACS 2000, Foundations of Software Science and Computation Structures
- TACAS 2000, Tools and Algorithms for the Construction and Analysis of Systems