Past Conferences

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