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 Waterloo, Canada
Daniela Zaharie, West University of Timisoara, Romania

General Chairs

Viorel Negru, West University of Timisoara, Romania
Dana Petcu, West University of Timisoara, Romania

Program Chairs

James Davenport, University of Bath, UK
Daniela Zaharie, West University of Timisoara, Romania

Track Chairs

Symbolic Computation

James Davenport, University of Bath, UK
Stephen Watt, University of Waterloo, Canada

Numerical Computing

Eva Kaslik, West University of Timisoara, Romania
Stefan Takacs, Johannes Kepler University Linz, Austria

Logic and Programming

Nikolaj Bjorner,  Microsoft, USA
Laura Kovacs, Chalmers University of Technology, Sweden
Tudor Jebelean, Johannes Kepler University Linz, Austria

Artificial Intelligence

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

Distributed Computing

Karoly Bosa, Johannes Kepler University Linz, Austria
Marc Frincu, West University of Timisoara, Romania

Advances in the Theory of Computing

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

Special sessions and workshops chair

Daniel Pop, West University of Timisoara, Romania

Tutorial chair

Florin Fortis, West University of Timisoara, Romania

Proceedings Chairs

James Davenport, University of Bath, UK
Daniela Zaharie, West University of Timisoara, Romania

Local Committee Chairs

Isabela Dramnesc, West University of Timisoara, Romania
Silviu Panica, Research Institute e-Austria Timisoara, Romania
Monica Tirea, West University of Timisoara, Romania
Mihai Gaianu, West University of Timisoara, Romania