11th International Colloquium on Theoretical Aspects of Computing
17-19 September 2014, Bucharest, Romania

Committees


General Chairs

Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Florentin Ipate, University of Bucharest, Romania

PC Chairs

Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Dominique Méry, LORIA, Université de Lorraine, France

Program Committee

Yamine Ait-Ameur, IRIT, ENSEIHT, France
Farhad Arbab, CWI and Leiden University, The Netherlands
Michael Butler, University of Southampton, UK
Ana Calvacanti, University of York, UK
Jérémie Chalopin, CNRS, Aix-Marseille Université, France
Zhenbang Chen, National University of Defense Technology, China
Maximiliano Cristia, Faculty of Exact Sciences, Argentina
David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil
Rocco De Nicola, IMT Lucca, Italy
José Luiz Fiadeiro, Royal Holloway, University of London, UK
John Fitzgerald, Newcastle University, UK
Simon Gay, University of Glasgow, UK
Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Lindsay Groves, Victoria University of Wellington, New Zealand
Geoff Hamilton, Dublin City University, Ireland
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Jane Hillston, University of Edinburgh, UK
Ross Horne, Romanian Academy, Iasi, Romania
Zhenjiang Hu, National Institute of Informatics, Japan
Florentin Ipate, University of Bucharest, Romania
Tudor Jebelean, Johannes Kepler University, Austria
Cliff Jones, Newcastle University, UK
Lila Kari, University of Western Ontario, Canada
Jetty Kleijn, Leiden University, The Netherlands
Maciej Koutny, Newcastle University, UK
Yassine Lakhnech, VERIMAG, France
Kim G. Larsen, Aalborg University, Denmark
Insup Lee, University of Pennsylvania, USA
Axel Legay, INRIA, France
Martin Leucker, University of Lübeck, Germany
Zhiming Liu, UNU-IIST, Macau, China
Marius Minea, Politehnica University of Timisoara, Romania
Victor Mitrana, University of Bucharest, Romania
Rosemary Monahan, National University of Ireland, Ireland
Mohammed Mosbah, LABRI, University of Bordeaux, France
Tobias Nipkow, Technical University Munich, Germany
Manuel Núñez, Universidad Complutense de Madrid, Spain
Paritosh Pandya, Tata Institute of Fundamental Research, India
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Shengchao Qin, University of Teesside, UK
António Ravara, Universidade Nova de Lisboa, Portugal
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Augusto Sampaio, Federal University of Pernambuco, Brazil
Pierre-Yves Schobbens, University of Namur, Belgium
Emil Sekerinski, McMaster University, Canada
Natarajan Shankar, SRI International, USA
Viorica Sofronie-Stokkermans, Max-Planck Institute, Germany
Gheorghe Stefanescu, University of Bucharest, Romania
Andrzej Tarlecki, Warsaw University, Poland
Elena Troubitsyna, Åbo Akademi University, Finland
Emilio Tuosto, University of Leicester, UK
Martin Wirsing, Ludwig-Maximilian University of Munich, Germany
Burkhart Wolff, University Paris-Sud, France
Jim Woodcock, University of York, UK
Fatiha Zaidi, University Paris-Sud, France
Naijun Zhan, Chinese Academy of Sciences, China
Jianjun Zhao, Shanghai Jiao Tong University, China
Huibiao Zhu, East China Normal University, China

Steering Committee

Ana Cavalcanti, University of York, UK
John Fitzgerald, Newcastle University, UK
Martin Leucker, University of Luebeck, Germany
Zhiming Liu, UNU-IIST, Macao, China
Tobias Nipkow, Technical University Munich, Germany
Augusto Sampaio, Federal University of Pernambuco, Brazil
Natarajan Shankar, SRI International, USA

Organizing Committee

Radu Gramatovici, University of Bucharest, Romania (co-chair)
Alin Stefanescu, University of Bucharest, Romania (co-chair)
Camil Alexandru Parvu, University of Bucharest Alumni Association, Romania
Maria Constantin, University of Bucharest, Romania