ICTAC 2018

From Openresearch
Jump to: navigation, search
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: Stellenbosch, South Africa
Loading map...

Papers: Submitted 59 / Accepted 25 (42.4 %)
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