ETAPS 2002

The document "ETAPS 2002" was published on "2023-10-27T06:49:13" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:ETAPS 2002.

The document "ETAPS 2002" describes an event in the sense of a conference.

The document "ETAPS 2002" contains information about the event "ETAPS 2002" with start date "2002/04/08" and end date "2002/04/12".

The event "ETAPS 2002" is part of the event series identified by [[Event Series:ETAPS]]

Deadlines

2001-12-14

2002-01-18

2001-11-18

2001-10-19

19 Oct 2001

Submission

18 Nov 2001

Demo

14 Dec 2001

Notification

18 Jan 2002

Camera-Ready

organization

Verimag

Metrics

Venue

Grenoble Alpes University, IM²AG department, Grenoble, Auvergne-Rhône-Alpes, France

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 5. European Conferences on Theory and Practice of Software (ETAPS) 2002

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

Important Dates

October 19, 2001: Submissions deadline for the main conferences, demos and tutorials (over)
November 18, 2001: Submissions deadline for the tool demonstrations (over)
December 14, 2001: Notification of acceptance/rejection (over)
January 18, 2002: Camera-ready version due (over)
Before March 6, 2002: Early registration (running)
April 8 - 12: ETAPS 2002 main conferences
April 6 - 14: Satellite events