 |
The Fifth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2014 May 25 - 29, 2014 - Venice, Italy |
| Committees |
COMPUTATION TOOLS Advisory Chairs
Kenneth Scerri, University of Malta, Malta
Alexander Gegov, University of Portsmouth, UK
Ahmed Khedr, University of Sharjah, UAE
COMPUTATIONAL TOOLS Industry/Research Chairs
Torsten Ullrich, Fraunhofer Austria Research GmbH - Graz, Austria
Zhiming Liu, UNU-IIST, Macao
COMPUTATION TOOLS Publicity Chair
Lev Naiman, University of Toronto, Canada
Ingram Bondin, University of Malta, Malta
Tomáš Bublík, Czech Technical University in Prague, Czech Republic
COMPUTATION TOOLS 2014 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, Oriental Institute of Science & Technology - Bhopal, India
Paul-Antoine Bisgambiglia, Université de Corse, France
Narhimene Boustia, Saad Dahlab University - Blida, Algeria
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, University of Insubria, Italy
Janos Fodor, Obuda University, Hungary
Alexander Gegov, University of Portsmouth, UK
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, University of Genova, Italy
Tsung-Chih Lin, Feng-Chia University, Taichung, Taiwan
Giuseppe Longo, Ecole Normale Supérieure Paris, France
Glenn R. Luecke, Iowa State University, USA
Elisa Marengo, Free University of Bozen-Bolzano, Italy
Julian Molina, University of Malaga, Spain
Gianina Alina Negoita, Iowa State University, USA
Cecilia E. Nugraheni, Parahyangan Catholic University - Bandung, Indonesia
Flavio Oquendo, European University of Brittany/IRISA-UBS, France
Mario Pavone, University of Catania, Italy
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
Marcus Randall, Bond University, Australia
Evgenia Smirni, College of William and Mary - Williamsburg, USA
Patrick Siarry, Université de Paris 12, France
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
