Welcome to ICTAC 2018!
The ICTAC 2018 conference will take place 16-19 October 2018 in Stellenbosch, South Africa.
COLOCATED EVENTS
- ICTAC summer school, 12-14 October 2018
- ICTAC workshop(s), 15 October 2018
- 14ème Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, CARI 2018, 14-16 October 2018
IMPORTANT DATES
| Abstracts | |
| Papers | |
| Notification | 6 July 2018 |
| Final versions | 3 August 2018 |
INVITED SPEAKERS
- Yves Bertot (INRIA Sophia Antipolis - Mediterranée, FR)
- Tommie Meyer (University of Cape Town, ZA)
- Peter Thiemann (Universität Freiburg, DE)
- ...
PC CO-CHAIRS
- Bernd Fischer (University of Stellenbosch, ZA)
- Tarmo Uustalu (Reykjavik University, IS / Tallinn University of Technology, EE)