 |
The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2012 |
| Committees |
COMPUTATION TOOLS Advisory Chairs
Kenneth Scerri, University of Malta, Malta
Jaime Lloret Mauri, Polytechnic University of Valencia, Spain
Radu-Emil Precup, "Politehnica" University of Timisoara, Romania
COMPUTATIONAL TOOLS 2012 Industry/Research Chairs
Torsten Ullrich, Fraunhofer Austria Research GmbH - Graz, Austria
Zhiming Liu, UNU-IIST, Macao
COMPUTATION TOOLS 2012 Technical Program Committee
François Anton, Technical University of Denmark, Denmark
Florin Avram, University of Pau, France
Henri Basson, University of Lille North of France (Littoral), France
Steffen Bernhard, TU-Dortmund, Germany
Ateet Bhalla, NRI Institute of Information Science and Technology, Bhopal, India
Narhimene Boustia, Saad Dahlab University - Blida, Algeria
Manfred Broy, Technical University of Munich, Germany
Luca Cassano, University of Pisa, Italy
Emanuele Covino, Università di Bari, Italy
Hepu Deng, RMIT University - Melbourne, Australia
Eugene Feinberg, Stony Brook University, USA
Cynthia Vera Glodeanu, Institute of Algebra / Technische Universität Dresden, Germany
Luis Gomes, Universidade Nova de Lisboa, Portugal
Rajiv Gupta, University of California - Riverside, USA
Fikret Gurgen, Bogazici University - Istanbul, Turkey
Cornel Klein, Siemens AG - Munich, Germany
Stano Krajci, Safarik University - Kosice, Slovakia
Giovanni Lagorio, DISI/University of Genova, Italy
Tsung-Chih Lin, Feng-Chia University, Taichung, Taiwan
Paolo Masci, Queen Mary, University of London, UK
Cecilia E. Nugraheni, Parahyangan Catholic University - Bandung, Indonesia
Flavio Oquendo, European University of Brittany/IRISA-UBS, France
Corrado Priami, CoSBi & University of Trento, Italy
Evgenia Smirni, College of William and Mary - Williamsburg, USA
James Tan, SIM University, Singapore
Torsten Ullrich, Fraunhofer Austria Research GmbH, Austria
Miroslav Velev, Aries Design Automation, USA
Zhonglei Wang, Karlsruhe Institute of Technology, Germany
Marek Zaremba, Universite du Quebec en Outaouais - Gatineau, Canada
Naijun Zhan, Institute of Software/Chinese Academy of Sciences - Beijing, China
