ETAPS 2001

Deadlines

2000-12-15

2001-01-15

2000-10-20

20 Oct 2000

Submission

15 Dec 2000

Notification

15 Jan 2001

Camera-Ready

organization

University of Genoa

Metrics

Venue

University of Genoa, Dipartimento di Informatica e Scienze dell'Informazione, Genova, Ligurian, Italy

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 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