ESOP 2002

The document "ESOP 2002" was published on "2023-10-19T06:01:30" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:ESOP 2002.

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

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

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

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