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)

ORGANIZATION

Conference Committee

General Chair: George Michael Reed, UNU-IIST, Macao

Program Chairs:

John Fitzgerald, Newcastle University, UK

Anne Haxthausen, Technical University of Denmark

Organisation Chair: Husnu Yenigun, Sabanci University, Turkey

Publicity Chair: Jeremy Bryans, Newcastle University, UK

Steering Committee

John Fitzgerald, University of Newcastle upon Tyne, UK

Martin Leucker, Technische Universität München, Germany

Zhiming Liu (Chair), UNU-IIST, Macao

Tobias Nipkow, Technische Universität München, Germanye

Augusto Sampaio, Universidade Federal de Pernambuco, Brazil

Natarajan Shankar, SRI, USA

Jim Woodcock, University of York, UK

Program Committee

Keijiro Araki, JP

Kokichi Futatsugi, JP

Jonathan Bowen, UK

Ana Cavalcanti, UK

Jim Woodcock, UK

Jim Davies, UK

Maciej Koutny, UK

Kung-Kiu Lau, UK

Peter Mosses, UK

Michael Butler, UK

Helen Treharne, UK

Joe Kiniry, IE

Joe Morris, IE

Jin Song Dong, SA

George Eleftherakis, GR

Marcelo Frias, AR

Lindsay Groves, NZ

Michael R. Hansen, DK

Anders Ravn, DK

Ian Hayes, AU

Wan Fokkink, NL

Wolfgang Reisig, DE

Bernhard Schaetz, DE

Ernst-Rüdiger Olderog, DE

Martin Leucker, DE

Chris George, UNU-IIST

Tomasz Janowski, UNU-IIST

Augusto Sampaio, BR

Alan Wassyng, CA

Patrice Chalin, CA

Natarajan Shankar, USA

He Jifeng, CN

Dang Van Hung, VN

Naijun Zhan, CN

Ji Wang, CN

Paritosh K Pandya, IN

Christine Choppy, FR

Serdar Tasiran, TR

Esra Erdem, TR