ETAPS 2017

ETAPS 2017
European Joint Conferences on Theory and Practice of Software
Ordinal	20
Event in series	ETAPS
Dates	2017/04/22 (iCal) - 2017/04/29
Presence	presence
Homepage:	https://etaps.org/2017
Location
Location:	Uppsala, Sweden
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","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.8586126,"lon":17.6387436,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	2016/10/21
Subevents: CC 2017,_ESOP 2017,_FASE 2017,_FOSSACS 2017,_TACAS 2017
Papers:	Submitted 531 / Accepted 159 (29.9 %)
Committees
General chairs:	Parosh Aziz Abdulla
Keynote speaker:	Michael Ernst, Kim G. Larsen
Table of Contents

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