10th International Colloquium on Theoretical Aspects of Computing
Sep 04 - 06, 2013, Shanghai, China

Welcome to ICTAC 2013

Sep 04 - 06, 2013
Shanghai, China

For more information e-mail:ictac2013@sei.ecnu.edu.cn

ICTAC was founded in China in 2004, and now the 10th edition of the Colloquium is returning back China, and will be held at Shanghai. Shanghai is one of the fastest developing cities in the world, with a large number of good universities, hi-tech companies and research institute. Holding the conference in Shanghai gives the conference participants valuable opportunity to discuss and network with the software practitioners and researchers in China. This will be further facilitated via two associated events: a three-day Festschrift Symposium Dedicated to the 70th Birthday of He Jifeng, and a five-day Summer School Software Engineering. He Jifeng, a founder of ICTAC, is known by the profound contribution he has made in the area of theories and techniques of programming through the work he has done at East China Normal University, UNU-IIST and Oxford.


ICTAC 2013 is the 10th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2013 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University.

Plans for ICTAC 2013 events

Festschrift Symposium in Honor of He Jifeng: 01-03 September 2013.
The proceedings of the Festschrift Symposium will be published as Springer LNCS 8051. (Front Cover: PDF JPG)

ICTAC 2013: 04-06 September 2013.
The proceedings of ICTAC 2013 will be published as Springer LNCS 8049. (Front Cover:PDF JPG)

Summer School on Software Engineering: 26-30 August 2013.
The proceedings of the Summer School will be published as Springer LNCS 8050. (Front Cover:PDF JPG)


Important Dates

The submission deadline has been extended!

Paper submission deadline : 8 March 2013 22 March 2013
Paper Accept/Reject Notification : 26 Apr 2013 3 May 2013
Final paper submission : 17 May 2013
Conference dates : 04 - 06 September 2013