ETAPS 2018

The document "ETAPS 2018" was published on "2023-11-07T07:05:05" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:ETAPS 2018.

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

The document "ETAPS 2018" contains information about the event "ETAPS 2018" with start date "2018/04/14" and end date "2018/04/20".

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

Deadlines

2017-12-22

2017-10-13

2018-02-23

2017-10-20

13 Oct 2017

Abstract

20 Oct 2017

Submission

22 Dec 2017

Notification

23 Feb 2018

Camera-Ready

organization

Aristotle University of Thessaloniki

Metrics

Submitted Papers

479

Accepted Papers

144

Venue

Makedonia Palace Hotel, Thessaloniki, Central Macedonia, Greece

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":40.6181032,"lon":22.95238869491173,"icon":""}],"imageoverlays":null}

The 21. European Joint Conferences on Theory and Practice of Software (ETAPS) 2018

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