- ICTAC 2016 was held in Taipei, Taiwan 24-28 October, 2016.
Proceedings:
Special issue: to appear -
ICTAC 2015 was held in Cali, Colombia, 29-31 October, 2015.
Proceedings: LNCS volume 9399
Special issue: -
ICTAC 2014 was held in Bucharest, Romania, 17-19 September, 2014.
Proceedings: LNCS volume 8687
Special issue: Gabriel Ciobanu, Theoretical Aspects of Computing. Scientific Annals of Computer Science,. 24(2): 173-176 (2014) -
ICTAC 2013 was held in Shanghai, China, 04-06 September, 2013.
Proceedings: LNCS volume 8049 -
ICTAC 2012 was held in Bangalore, India, 24-27 September 2012.
Proceedings: LNCS volume 7521 -
ICTAC 2011 was held in Johannesburg, South Africa, 31 August – 2 September, 2011.
Proceedings: LNCS volume 6916
Special issue: Antonio Cerone, Pekka Pihlajasaari. Theoretical Aspects of Computing (ICTAC 2011). Theoretical Computer Science. 537: 1-2 (2014) -
ICTAC 2010 was held in Natal, Brazil, 1-3 September, 2010.
Proceedings: LNCS volume 6255
Special issue: Ana Cavalcanti, David Déharbe. Special issue: International Colloquium on Theoretical Aspects of Computing – ICTAC 2010. Theoretical Computer Science. 455: 1 (2012) -
ICTAC 2009 was held in Kuala Lumpur, Malaysia, 16-20 August, 2009.
Proceedings: LNCS volume 5684 -
ICTAC 2008 was held in Marmara, Istanbul, Turkey – 1-3 November, 2008.
Proceedings: LNCS volume 5160 -
ICTAC 2007 was held in Macao, Macao – 26-28 November 2007.
Proceedings:Â LNCS volume 4711 -
ICTAC 2006 was held in Tunis, Tunisia – 20-24 November 2006.
Proceedings:Â LNCS volume 4281
Special issue: Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone. Formal Aspects of Computing 20(4-5):Â (2008) -
ICTAC 2005 was held in Hanoi, Vietnam – 17-21 October 2005.
Proceedings:Â LNCS volume 3722 -
ICTAC 2004 was held in Guiyang, China, 20-24 September 2004.
Proceedings:Â LNCS volume 3407