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

General Chair

Viorel Negru, West University of Timisoara, Romania

Program Chair

Laura Kovacs, Chalmers University of Technology, Sweden

Track Chairs

Symbolic Computation

James Davenport, University of Bath, UK
Stephen Watt, University of Western Ontario and University of Waterloo, Canada

Numerical Computing

Dana Petcu, West University of Timisoara, Romania
Stefan Takacs, Johannes Kepler University Linz, Austria

Logic and Programming

Nikolaj Bjorner,  Microsoft, US
Tudor Jebelean, Johannes Kepler University Linz, Austria

Artificial Intelligence

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

Distributed Computing

Marc Frincu, University of Southern California, US and West University of Timisoara, Romania
Karoly Bosa, Johannes Kepler University Linz, 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

Daniel Pop, West University of Timisoara, Romania

Tutorial chair

Dana Petcu, West University of Timisoara, Romania

Proceedings Chairs

Laura Kovacs, Chalmers University of Technology, Sweden 
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