The Seventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2016 March 20 - 24, 2016 - Rome, Italy

Committees

COMPUTATION TOOLS Advisory Committee

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 2016 Technical Program Committee

Yas Aksultanny, Arabian Gulf University, Bahrain
Youssif B. Al-Nashif, Old Dominion University, USA
Adel Alimi, University of Sfax, Tunisia
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, Independent Consultant, India
Paul-Antoine Bisgambiglia, Université de Corse, France
Narhimene Boustia, Saad Dahlab University - Blida, Algeria
Azahara Camacho, Complutense University of Madrid, Spain
Luca Cassano, University of Pisa, Italy
Emanuele Covino, Università degli Studi di Bari Aldo Moro, Italy
Hepu Deng, RMIT University - Melbourne, Australia
Rene de Souza Pinto, University of Sao Paulo, Brazil
Craig C. Douglas, University of Wyoming / Yale University, USA
António Dourado, University of Coimbra, Portugal
Eugene Feinberg, Stony Brook University, USA
Tommaso Flaminio, University of Insubria, Italy
Janos Fodor, Obuda University, Hungary
Alexander Gegov, University of Portsmouth, UK
Victor Gergel, University of Nizhni Novgorod (UNN), Russia
Veronica Gil-Costa, University of San Luis, Argentina
Luis Gomes, Universidade Nova de Lisboa, Portugal
Yuriy Gorbachev, Geolink Technologies LLC, Russia
George A. Gravvanis, Democritus University of Thrace, Greece
Rajiv Gupta, University of California - Riverside, USA
Fikret Gurgen, Bogazici University - Istanbul, Turkey
Hani Hamdan, École Supérieure d’Électricité (SUPÉLEC), France
Said Jabbour, CRIL - CNRS | University of Artois, France
Nawaz Khan, Middlesex University London, UK
Cornel Klein, Siemens AG - Munich, Germany
Stano Krajci, Safarik University - Kosice, Slovakia
Isaac Lera, University of the Balearic Islands, Spain
Tsung-Chih Lin, Feng-Chia University, Taichung, Taiwan
Glenn R. Luecke, Iowa State University, USA
Reza Madankan, University of Texas MD Anderson Cancer Center, USA
Elisa Marengo, Free University of Bozen-Bolzano, Italy
Roderick Melnik, Wilfrid Laurier University, Canada
Rob Miller, University College London, UK
Julian Molina, University of Malaga, Spain
Susana Muñoz Hernández, Universidad Politécnica de Madrid, Spain
Adam Naumowicz, University of Bialystok, Poland
Gianina Alina Negoita, Iowa State University, USA
Cecilia E. Nugraheni, Parahyangan Catholic University - Bandung, Indonesia
Flavio Oquendo, European University of Brittany/IRISA-UBS, France
Javier Panadero, Universitat Autònoma de Barcelona, Spain
Juan Jose Pardo, University of Castilla-la Mancha, Spain
Vangelis Paschos, LAMSADE - University Paris-Dauphine, 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
Dolores Rexachs, University Autonoma of Barcelona (UAB), Spain
Morris Riedel, University of Iceland, Iceland / Juelich Supercomputing Centre, Germany
Ricardo Rocha, University of Porto, Portugal
Lakhdar Saïs , CRIL - CNRS, University of Artois, France
Guido Sciavicco, University of Murcia, Spain
Evgenia Smirni, College of William and Mary - Williamsburg, USA
Patrick Siarry, Université de Paris 12, France
Hooman Tahayori, Ryerson University, Canada
James Tan, SIM University, Singapore
Torsten Ullrich, Fraunhofer Austria Research GmbH, Austria
Miroslav Velev, Aries Design Automation, USA
Chao-Tung Yang, Tunghai University, Taiwan
Marek Zaremba, Universite du Quebec en Outaouais - Gatineau, Canada
Naijun Zhan, Institute of Software/Chinese Academy of Sciences - Beijing, China