Committees

Honorary Chairs

Bruno Buchberger, Johannes Kepler University, Austria

Steering Committee

Tetsuo Ida, University of Tsukuba, Japan
Tudor Jebelean, Johannes Kepler University, Austria
Laura Kovacs, Vienna University of Technology, 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

Hoon Hong, North Carolina State University, USA
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
Tudor Jebelean, Johannes Kepler University, Linz, Austria
Laura Kovacs, Technical University of Vienna, Austria

Artificial Intelligence

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

Distributed Computing

       Marc Frincu, West University of Timisoara, Romania

Advances in the Theory of Computing

Gabriel Istrate, Research Institute e-Austria Timisoara, Romania
Florin Manea, Christian-Albrechts-University, Kiel, Germany
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

Hoon Hong, North Carolina State University, USA
Daniela Zaharie, West University of Timisoara, Romania

Organizing Committee Chairs

Monica Tirea, West University of Timisoara, Romania
Isabela Dramnesc, West University of Timisoara, Romania

Publicity Chairs

Silviu Panica, Research Institute e-Austria Timisoara, Romania
Sebastian Stefănigă, West University of Timisoara, Romania

Technical Committee Chairs

Adelin Dăescu, West University of Timisoara, Romania
        Theodor Grumeza, West University of Timisoara, Romania
        Mihai Maghiar, West University of Timisoara, Romania
Ioan Samuila, West University of Timisoara, Romania