|
The Second International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
COMPUTATION TOOLS 2011
September 25-30, 2011 - Rome, Italy |
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 2011 Industry/Research Chairs
Torsten Ullrich, Fraunhofer Austria Research GmbH - Graz, Austria
Zhiming Liu, UNU-IIST, Macao
COMPUTATION TOOLS 2011 Technical Program Committee
Henri Basson, University of Lille North of France (Littoral), France
Ateet Bhalla, NRI Institute of Information Science and Technology - Bhopal, India
Wolfgang Boehmer, Technische Universitaet Darmstadt, Germany
Sergey Boldyrev, Nokia/SDX - Helsinki, Finland
Narhimene Boustia, Saad Dahlab University, Algeria
Manfred Broy, Technical University of Munich, Germany
Noël Crespi, Institut Telecom, France
Brahma Dathan, Metropolitan State University - St. Paul, USA
Hepu Deng, RMIT University - Melbourne, Australia
Roland Dodd, Central Queensland University - North Rockhampton, Australia
Luis Gomes, Universidade Nova de Lisboa, Portugal
Victor Govindaswamy, Texas A&M University-Texarkana, USA
Rajiv Gupta, University of California, Riverside, USA
Fikret Guren, Bogazici Universty - Istanbul, Turkey
Zeynep Kiziltan, University of Bologna, Italy
Cornel Klein, Siemens AG - Munich, Germany
Giovanni Lagorio, DISI/University of Genova, Italy
Zhiming Liu, UNU-IIST, Macau
Paolo Masci, Queen Mary, University of London, UK
Tomoharu Nakashima, Osaka Prefecture University, Japan
Flavio Oquendo, European University of Brittany - UBS/VALORIA, France
David M. W. Powers, Flinders University of South Australia – Adelaide, Australia
Radu-Emil Precup, "Politehnica" University of Timisoara, Romania
Antoine Rollet, University of Bordeaux, France
Kenneth Scerri, University of Malta - Msida, Malta
Daniel Schall, Vienna University of Technology, Austria
Vladimir Stantchev, Berlin Institute of Technology, Germany
Bernhard Steffen, TU Dortmund, Germany
James Tan, SIM University, Singapore
Torsten Ullrich, Fraunhofer Austria Research GmbH - Graz, Austria
Miroslav Velev, Aries Design Automation, USA
Zhonglei Wang, Karlsruhe Institute of Technology, Germany
Marek Zaremba, University of Quebec, Canada
Naijun Zhan, Chinese Academy of Science, China