Difference between revisions of "ETAPS 2009"

From Openresearch
Jump to navigation Jump to search
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 2009, International Conference on Compiler Construction
 +
*ESOP 2009, European Symposium on Programming
 +
*FASE 2009, Fundamental Approaches to Software Engineering
 +
*FOSSACS 2009, Foundations of Software Science and Computation Structures
 +
*TACAS 2009, Tools and Algorithms for the Construction and Analysis of Systems

Revision as of 11:55, 12 January 2022

ETAPS 2009
European Conferences on Theory and Practice of Software
Ordinal 12
Event in series ETAPS
Dates 2009/03/22 (iCal) - 2009/03/29
Presence presence
Homepage: https://www.cs.york.ac.uk/etaps09/
Location
Location: York, UK
Loading map...

Papers: Submitted 532 / Accepted 141 (26.5 %)
Committees
Organizers: Gerald Luettgen
General chairs: Vladimiro Sassone
Table of Contents



The 12. European Conferences on Theory and Practice of Software (ETAPS) 2009

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 2009, International Conference on Compiler Construction
  • ESOP 2009, European Symposium on Programming
  • FASE 2009, Fundamental Approaches to Software Engineering
  • FOSSACS 2009, Foundations of Software Science and Computation Structures
  • TACAS 2009, Tools and Algorithms for the Construction and Analysis of Systems