ETAPS 2017

The document "ETAPS 2017" was published on "2023-11-07T06:53:28" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:ETAPS 2017.

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

The document "ETAPS 2017" contains information about the event "ETAPS 2017" with start date "2017/04/22" and end date "2017/04/29".

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

Deadlines

2016-12-22

2016-10-14

2017-01-20

2016-10-21

14 Oct 2016

Abstract

21 Oct 2016

Submission

22 Dec 2016

Notification

20 Jan 2017

Camera-Ready

organization

Uppsala University

Metrics

Submitted Papers

531

Accepted Papers

159

Venue

Uppsala Konsert & Kongress, Uppsala, Uppsala County, 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":[{"text":"","title":"","link":"","lat":59.861175700000004,"lon":17.64595990859798,"icon":""}],"imageoverlays":null}

The 20. European Joint Conferences on Theory and Practice of Software (ETAPS) 2017

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