ESOP 2002

Deadlines

19 Oct 2001

Submission

14 Dec 2001

Notification

18 Jan 2002

Camera-Ready

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 11. European Symposium on Programming (ESOP) 2002

Topics

• Advanced type systems.
• Program analysis.
• Program transformation, specialization.
• Semantics with applications to the development of correct, secure and efficient software and systems.
• Domain specific languages.
• Programming language based techniques for development, analysis, verification, validation, etc.
• Programming language solutions to practical issues in security, safety, real-time and embedded computing.
• Programming paradigms (including object-oriented, functional, logic, concurrent, mobile, aspect-oriented) and their relevance to practical problems