ICTAC 2018

ICTAC 2018
15th International Colloquium on Theoretical Aspects of Computing
Event in series	ICTAC
Dates	2018/10/12 (iCal) - 2018/10/19
Homepage:	https://www.ictac.org.za/
Location
Location:	Stellenbosch, South Africa
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[],"imageoverlays":null}
Papers:	Submitted 59 / Accepted 25 (42.4 %)
Committees
General chairs:	Bernd Fischer
PC chairs:	Bernd Fischer, Tarmo Uustalu
PC members:	June Andronick, Éric Badouel, Eduardo Bonelli, Ana Cavalcanti, Dang Van Hung, Uli Fahrenberg
Keynote speaker:	Yves Bertot, Tommie Meyer, Gennaro Parlato, Peter Thiemann
Table of Contents