ETAPS 2001

ETAPS 2001
European Conferences on Theory and Practice of Software
Ordinal	4
Event in series	ETAPS
Dates	2001/04/02 (iCal) - 2001/04/06
Presence	presence
Homepage:	https://etaps.org/2001
Location
Location:	Genova, Italy
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","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":[{"text":"","title":"","link":"","lat":44.40726,"lon":8.9338624,"icon":""}],"imageoverlays":null}
Subevents: CC 2001,_ESOP 2001,_FASE 2001,_FOSSACS 2001,_TACAS 2001
Committees
General chairs:	Egidio Astesiano
PC chairs:	Egidio Astesiano
Table of Contents

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