Conference Co-Chairs

James Harland (AU)
Barry Jay (AU)

Programme Co-Chairs

Track A: Cristian S. Calude (NZ)
Track B: Vladimiro Sassone (GB)

Programme Committee

Track A: Algorithms, Complexity & Models of Computation
Valérie Berthé (Montpellier, F)
Cristian S. Calude (Auckland, NZ;chair)
Cezar Campeanu (Charlottetown, CAN)
S. Barry Cooper (Leeds, UK)
Michael J. Dinneen (Auckland, NZ)
Rod Downey (Victoria, NZ)
Cunsheng Ding (Hong Kong, HG)
Graham Farr (Melbourne, AU)
Joachim Gudmundsson (Alexandria, AU)
Lane A. Hemaspaandra (Rochester, USA)
Oscar H. Ibarra (Santa Barbara, USA)
Masami Ito (Kyoto, JP)
Alexander Shen (Marseille, F)
Ludwig Staiger (Halle, D)
Frank Stephan (Singapore, SG)
Ileana Streinu (Northampton, USA)
Kohtaro Tadaki (Tokyo, JP)
Vincent Vajnovszki (Dijon, F)
Taso Viglas (Sydney, AU)
Klaus Wagner (Wuerzburg, D)
Damien Woods (Seville, S)
Sheng Yu (London, Ont., CAN)

Track B: Logic, Semantics, Specification and Verification
Stephen L Bloom (Stevens Inst, USA)
Roberto Bruni (Pisa, I)
Kostas Chatzikokolakis (CWI, NL)
Corina Cirstea (Southampton, UK)
Veronique Cortier (CNRS Loria, F)
Mariangiola Dezani (Turin, I)
Rob van Glabbeek (NICTA & UNSW, AU & Stanford, USA)
Atsushi Igarashi (Kyoto, JP)
Alan Jeffrey (Bell Labs, USA)
He Jifeng (Shanghai, CN)
Bartek Klin (Cambridge, UK & Warsaw, PL)
Barbara Koenig (Duisburg, D)
Dexter Kozen (Cornell, USA)
Marta Kwiatkowska (Oxford, UK)
Huimin Lin (Bejing, CN)
Dale Miller (Ecole Polytechnique, F)
Carroll Morgan (UNSW, AU)
Doron Peled (Bar Ilan, IL)
Sabina Rossi (Venice, I)
Vladimiro Sassone (Southampton, UK; chair)
Thomas Schwentick (TU Dortmund, D)
Andrzej Tarlecki (Warsaw, PL)
Yde Venema (Amsterdam, NL)

TCS 2010 is organized by IFIP Technical Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal Descriptions of Programming Concepts) in association with SIGACT and EATCS.