Committees

Honorary Chairs

* Bruno Buchberger, Johannes Kepler University, Austria
* Stefan Maruster, West University of Timisoara, Romania

Steering Committee

* Tetsuo Ida, University of Tsukuba, Japan
* Tudor Jebelean, Johannes Kepler University, Austria
* Viorel Negru, West University of Timisoara, Romania
* Dana Petcu, West University of Timisoara, Romania
* Stephen Watt, University of Western Ontario, Canada
* Daniela Zaharie, West University of Timisoara, Romania

General Chair

* Viorel Negru, West University of Timisoara, Romania

Program Chair

* Nikolaj Bjorner, Microsoft Research, US

Track Chairs

* Symbolic Computation

+ Tetsuo Ida, University of Tsukuba, Japan
+ Stephen Watt, University of Western Ontario, Canada

* Numerical Computing

+ Yonghong Yao, Tianjin Polytechnic University, China
+ Ioan A. Rus, “Babes-Bolyai” University of Cluj-Napoca, Romania

* Logic and Programming

+ Tudor Jebelean, Johannes Kepler University, Austria
+ Laura Kovacs, Chalmers University of Technology, Sweden

* Artificial Intelligence

+ Andrei Petrovski, Robert Gordon University, UK
+ Daniela Zaharie, West University of Timisoara, Romania

* Distributed Computing

+ Marc Frincu, University of Strasbourg, France
+ Karoly Bosa, Johannes Kepler University, Austria

* Advances in the Theory of Computing

+ Mircea Marin, West University of Timisoara, Romania
+ Gabriel Istrate, Research Institute e-Austria Timisoara, Romania

Special sessions and workshops chair

* Dana Petcu, West University of Timisoara, Romania

Tutorial chair

* Adrian Craciun, West University of Timisoara, Romania

Proceedings Chairs

* Nikolaj Bjorner, Microsoft Research, US
* Daniela Zaharie, West University of Timisoara, Romania

Local Committee Chairs

* Isabela Dramnesc, West University of Timisoara, Romania
* Silviu Panica, Institute e-Austria Timisoara, Romania