Welcome to ICTAC 2018!

The ICTAC 2018 conference will take place 16-19 October 2018 in Stellenbosch, South Africa, preceded by a spring school, 12-15 October, organized jointly with CARI 2018.

NEWS

  • 16 October 2018: The ICTAC best paper award, donated by Springer, went to Sergey Goncharov, Christoph Rauch and Lutz Schröder for their paper A Metalanguage for Guarded Iteration. Congratulations!
  • 15 October 2018: The proceedings of ICTAC 2018 are now out as LNCS 11187. The volume is freely accessible to the conference partipants here, only via this page, until 14 November 2018.
  • 17 September 2018: Early registration extended until 20 September, midnight South Africa time.
  • 20 August 2018: On 15 October, we will have an informal workshop on (co)algebraic language and automata theory.
    To propose a talk, send an abstract and title to [email protected] by 12 September.
  • 13 August 2018: School and conference preliminary program available, registration open.
    Early registration is until 12 September.
  • 6 August 2018: Final result: 26 papers accepted, 1 of them then withdrawn, so we have 25.
  • 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.

AFFILIATED AND COLOCATED EVENTS

IMPORTANT DATES

Abstracts 4 18 May 2018 (23:59 AoE)
Papers 11 25 May 2018 (23:59 AoE)
Notification 6 9 July 2018
Final versions 3 August 2018

INVITED SPEAKERS

PC CO-CHAIRS

SPONSORS