ESOP 1996

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

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

The document "ESOP 1996" contains information about the event "ESOP 1996" with start date "1996/04/22" and end date "1996/04/24".

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

Deadlines

Metrics

Submitted Papers

63

Accepted Papers

23

Venue

Linköping, County of Östergötland, Sweden

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}

Warning: Venue is missing. The map might not show the exact location.

The 6. European Symposium on Programming (ESOP) 1996

Topics

• software specification and verification (including algebraic techniques and model checking),
• programming paradigms and their integration (including functional, logic, concurrent, and object-oriented),
• semantics facilitating the formal development and implementation of programming languages and systems,
• advanced type systems (including polymorphism and subtyping),
• program analysis (including abstract interpretation and constraint systems),
• program transformation (including partial evaluation and term rewriting),
• implementation techniques (including compilation).