Event:ETAPS 2000

Deadlines

18 Oct 1999

Submission

13 Dec 1999

Notification

13 Jan 2000

Camera-Ready

Venue

Technical University of Berlin, Berlin, Brandenburg, Germany

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}

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