Welcome to ICTAC 2018!
The ICTAC 2018 conference will take place 16-19 October 2018 in Stellenbosch, South Africa.
- 9 July 2018: 22 papers accepted, 4 more papers conditionally
- 6 July 2018: Notification postponed to 9 July
- 26 May 2018: ICTAC 2018 received 59 full submissions!
- 6 May 2018: Abstract/full paper deadlines extended to 18/25 May.
- 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
|Final versions||3 August 2018|
- Yves Bertot (INRIA Sophia Antipolis - Mediterranée, FR)
- Tommie Meyer (University of Cape Town, ZA)
- Peter Thiemann (Universität Freiburg, DE)
- Bernd Fischer (University of Stellenbosch, ZA)
- Tarmo Uustalu (Reykjavik University, IS / Tallinn University of Technology, EE)