Sep 04 - 06, 2013
For more information e-mail:firstname.lastname@example.org
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.
Festschrift Symposium in Honor of He Jifeng: 01-03
The proceedings of the Festschrift Symposium will be published as Springer LNCS 8051.
(Front Cover: PDF
ICTAC 2013: 04-06 September 2013.
The proceedings of ICTAC 2013 will be published as Springer LNCS 8049.
Summer School on Software Engineering: 26-30 August
The proceedings of the Summer School will be published as Springer LNCS 8050.
Paper submission deadline : 8 March
Paper Accept/Reject Notification : 26
Apr 2013 3
Final paper submission : 17 May 2013
Conference dates : 04 - 06 September 2013