ETAPS 2019

ETAPS 2019
22nd European Joint Conferences on Theory and Practice of Software
Event in series	ETAPS
Dates	2019/04/06 (iCal) - 2019/04/11
Homepage:	https://conf.researchr.org/home/etaps-2019
Location
Location:	Prague, Czech Republic
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":50.0874654,"lon":14.4212535,"icon":""}],"imageoverlays":null}
Subevents: CC 2019,_ESOP 2019,_FASE 2019,_FOSSACS 2019,_TACAS 2019
Papers:	Submitted 436 / Accepted 137 (31.4 %)
Committees
General chairs:	Jan Kofroň, Jan Vitek
Keynote speaker:	Kathleen Fisher, Thomas Colcombet, Marsha Chechik, Cormac Flanagan
Table of Contents

Co-hosted Conferences

• ESOP
• FASE
• FOSSACS
• POST
• TACAS 2019

Workshops

• BEHAPI
• CREST
• DICE-FOPARA
• GaLoP
• HCVS
• HSB
• InterAVT
• LiVe
• MeTRiD
• PERR
• PLACES
• QAPL
• SPIoT
• SYNT Camp
• SynCoP
• VerifyThis