Committees
Programme Committee co-Chairs
- Cesar Sanchez, IMDEA Software Institute, Madrid, Spain
- Brent Venable, Department of Computer Science, Tulane University, New Orleans, LA, USA
- Esteban Zimanyi, Universite Libre de Bruxelles, Belgium
Program Committee
- Alessandro Artale, Free University of Bolzano-Bozen, Italy
- Laura Bozzelli, Technical University of Madrid (UPM), Spain
- Carlo Combi, Universita' degli Studi di Verona, Italy
- Curtis Dyreson, Utah State University, USA
- Georgios Fainekos, Arizona State University, USA
- Bernd Finkbeiner, Saarland University, Germany
- Keijo Heljanko, Aalto University, Finland
- Luke Hunsberger, Vassar College, USA
- Christian Jensen, Aarhus University, Denmark
- Felix Klaedtke, ETH Zurich, Switzerland
- Martin Lange, University of Kassel, Germany
- Martin Leucker, University of Lübeck, Germany
- Elzbieta Malinowski, University of Costa Rica, Costa Rica
- Ben Moszkowski, de Monfort University, UK
- Angelo Montanari, University of Udine, Italy
- Bob Morris, NASA, USA
- Angelo Oddi, ISTC-CNR, Italian National Research Council, Italy
- Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium
- Lucia Sacchi, Brunel University, Italy
- Cesar Sanchez, IMDEA Software Institute and CSIC, Spain
- Sven Schewe, University of Liverpool, UK
- Philippe Schnoebelen, LSV - CNRS & ENS Cachan, France
- Richard Snodgrass, University of Arizona, USA
- Volker Stolz, University of Oslo, Norway
- Jun Sun, Singapore University of Technology and Design, Singapore
- David Toman, University of Waterloo, Canada
- YihKuen Tsay, National Taiwan University, Taiwan
- Brent Venable, Tulane University and IHMC, USA
- Jef Wijsen, University of Mons, Belgium
- Neil Yorke-Smith, American University of Beirut, Lebanon
- Esteban Zimanyi, Universite Libre de Bruxelles, Belgium
TIME Steering Committee
- Claudio Bettini, University of Milan, Italy
- Stephane Demri, LSV, CNRS & ENS de Cachan, France
- Clare Dixon, University of Liverpool, UK
- Martin Leucker, University of Lübeck, Germany
- Angelo Montanari, University of Udine, Italy
- Mark Reynolds, The University of Western Australia, Australia
- David Toman, University of Waterloo, Canada
- Andre Trudel, Acadia University, Canada
- Jef Wijsen, University of Mons, Belgium
|
