 |
The Fourth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2013 May 27 - June 1, 2013 - Valencia, Spain |
| Committees |
COMPUTATION TOOLS General Chair
Vicente Casares-Giner, Polytechnic University of Valencia, Spain
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 Industry/Research Chairs
Torsten Ullrich, Fraunhofer Austria Research GmbH - Graz, Austria
Zhiming Liu, Birmingham City University, UK
COMPUTATION TOOLS Publicity Chair
Sandra Sendra, Polytechnic University of Valencia, Spain
COMPUTATION TOOLS 2013 Technical Program Committee
François Anton, Technical University of Denmark, Denmark
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
Paul-Antoine Bisgambiglia, Université de Corse, France
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
Tommaso Flaminio, Artificial Intelligence Research Institute (IIIA-CSIC) Spain
Janos Fodor, Obuda University, Hungary
Giuseppe Longo, Ecole Normale Supérieure Paris, France
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
Hani Hamdan, École Supérieure d’Électricité (SUPÉLEC), France
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
Zhiming Liu, Birmingham City University, UK
Glenn R. Luecke, Iowa State University, USA
Elisa Marengo, Università degli Studi di Torino, Italy
Gianina Alina Negoita, Iowa State University, USA
Cecilia E. Nugraheni, Parahyangan Catholic University - Bandung, Indonesia
Flavio Oquendo, European University of Brittany/IRISA-UBS, France
Mikhail Peretyat'kin, Institute of mathematics and mathematical modeling, Kazakhstan
Alexandre Pinto, ISG - Royal Holloway University of London, UK / Instituto Superior da Maia, Portugal
Enrico Pontelli, New Mexico State University, USA
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
