ICTAC 2008
5th International Colloquium on Theoretical Aspects of Computing

1-3 September 2008

The Marmara, Istanbul, Turkey

(Tutorials & Workshops 30-31 August 2008 at Sabancı University, Istanbul)

Invited speakers: Jean-Raymond Abrial, Jan Peleska and Bill Roscoe

About ICTAC 2008

ICTAC 2008 is the 5th 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 2008 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. Our 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. The previous four ICTAC events were held in Guiyang, China (2004), Hanoi, Vietnam (2005), Tunis, Tunisia (2006) and Macau (2007).

We welcome scientific papers in a deliberately wide range of topics, from theoretical foundations of computing to modern tools and industrial applications of formal methods. Two days of workshops and tutorials will precede the colloquium this year, and we also welcome proposals for workshops (small informal conferences) as well as tutorials by educators and experts.

For full details of how to submit papers and workshop or tutorial proposals, please see the Call for Papers.

We look forward to meeting you in Istanbul!

John Fitzgerald, Anne Haxthausen, Husnu Yenigun

Programme & Organising Chairs