Welcome to ICTAC 2013

Sep 04 - 06, 2013
Shanghai, China
http://ictac2013.ecnu.edu.cn

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.

Background

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.

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