TACAS 2017

From Openresearch

Revision as of 11:10, 4 October 2021 by Tolga.karaarslan (talk | contribs) (Created page with "{{Event |Acronym=TACAS 2017 |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |Ordinal=23 |Series=TACAS |Type=Conference |Su...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

TACAS 2017
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Ordinal	23
Event in series	TACAS
Subevent of	ETAPS
Dates	2017/04/22 (iCal) - 2017/04/29
Presence	presence
Homepage:	https://etaps.org/2017/tacas
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}
Table of Contents