ICTAC 2010 - Committees
Steering Committee
- John Fitzgerald, UK
- Martin Leucker, Germany
- Zhiming Liu (Chair), Macao
- Tobias Nipkow, Germany
- Augusto Sampaio, Brazil
- Natarajan Shankar, USA
- Jim Woodcock, UK
Special Tracks Chairs
- Marie-Claude Gaudel, France
- Jim Woodcock, UK
Program Committee
- Bernhard Aichernig, Austria
- Keijiro Araki, Japan
- Jonathan Bowen, UK
- Christiano Braga, Brazil
- Michael Butler, UK
- Andrew Butterfield, Ireland
- Ana Cavalcanti, UK (chair)
- Jim Davies, UK
- David Déharbe, Brazil (chair)
- John Fitzgerald, UK
- Wan Fokkink, Netherlands
- Pascal Fontaine, France
- Marcelo Frias, Argentina
- Lindsay Groves, New Zealand
- Michael Hansen, Denmark
- Robert Hierons, UK
- Monzoo Kim, South Korea
- Maciej Koutny, UK
- Pascale Le Gall, France
- Martin Leucker, Germany
- Zhiming Liu, Macao
- Patrícial Machado, Brazil
- Marius Minea, Romania
- Ali Mili, USA
- Michael Mislove, USA
- Tobias Nipkow, Germany
- José Nuno Oliveira, Portugal
- Paritosh Pandya, India
- Alberto Pardo, Uruguay
- Anders P Ravn, Denmark
- Leila Ribeiro, Brazil
- Markus Roggenbach, UK
- Augusto Sampaio, Brazil
- Bernhard Schätz, Germany
- Gerhard Schellhorn, Germany
- Emil Sekerinski, Canada
- Natarajan Shankar, USA
- Marjan Sirjani, Iran
- Jin Song Dong, Singapore
- Dang Van Hung, Vietnam
- Daniel Varró, Hungary
- Helmut Veith, Germany
- Ji Wang, China
- Martin Wirsing, Germany
- Burkhart Wolff, France
- Husnu Yenigun, Turkey
- Naijun Zhan, China
Organizing Committee
- David Déharbe, Brazil
- Anamaria Moreira, Brazil
- Bartira Rocha, Brazil
- Marcel Oliveira, Brazil