 |
The First International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2010 |
| Committees |
COMPUTATION TOOLS Advisory Chairs
Luis Gomes, Universidade Nova de Lisboa, Portugal
Kenneth Scerri, University of Malta, Malta
Radu-Emil Precup, "Politehnica" University of Timisoara, Romania
COMPUTATION TOOLS 2010 Technical Program Committee
Stefan Andrei, Lamar University, USA
Henri Basson, University of Lille North of France (Littoral), France
Ateet Bhalla, Technocrats Institute of Technology - Bhopal, India
Manfred Broy, Technical University of Munich, Germany
Noël Crespi, Institut Telecom, France
Brahma Dathan, Metropolitan State University - St. Paul, USA
Luis Gomes, Universidade Nova de Lisboa, Portugal
Rajiv Gupta, University of California - Riverside, USA
Haidar Harmanani, Lebanese American University, Lebanon
Raimund Kirner, University of Hertfordshire, UK
Bernd J. Krämer, FernUniversität - Hagen, Germany
Giovanni Lagorio, DISI/University of Genova, Italy
Yuan Fang Li, University of Queensland, Australia
Zhiming Liu, UNU-IIST, Macao
Tomoharu Nakashima, Osaka Prefecture University, Japan
Flavio Oquendo, European University of Brittany - UBS/VALORIA, France
Aomar Osmani, Université Paris 13, France
Radu-Emil Precup, "Politehnica" University of Timisoara, Romania
Antoine Rollet, University of Bordeaux, France
Antonino Sabetta, ISTI-CNR - Pisa, Italy
Kenneth Scerri, University of Malta, Malta
Daniel Schall, Vienna University of Technology, Austria
Sharad Sharma, Bowie State University, USA
Giovanni Semeraro, University of Bari "Aldo Moro", Italy
Bernhard Steffen, TU Dortmund, Germany
Toyotaro Suzumura, IBM Research / Tokyo Institute of Technology, Japan
Zhonglei Wang, Technical University of Munich, Germany
Marek Zaremba, University of Quebec, Canada
