Chairs

Program Committee

Bruno Buchberger
Founder of the Research Institute for Symbolic Computation (RISC) and of the Journal of Symbolic Computation.
François Charton
Research Engineer at Meta AI; affiliated to Center for Training and Research in Mathematics and Scientific Computing” (CERMICS), Ecole des Ponts.
Matthew England
Professor of Computer Science at Coventry University; Director of the Research Centre for Computational Science and Mathematical Modelling (CSMM).
Cezary Kaliszyk
Professor of Theoretical Computer Science at the University of Melbourne.
Manuel Kauers
Professor at the Institute for Algebra of the Johannes Kepler University Linz.
Hiroshi Kera
Associate Professor at the Institute for Advanced Academic Research (IAAR) of the Chiba University.
Temur Kutsia
Associate Professor at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz.
Bernhard Moser
Technology and Innovation Manager of the Software Competence Center Hagenberg (SCCH), President of the Austrian Society for Artificial Intelligence (ASAI).
Markus Schedl
Professor at the Institute for Computational Perception of the Johannes Kepler University Linz.
Wolfgang Schreiner
Associate Professor at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz.
Martina Seidl
Professor at the Institute for Symbolic Artificial Intelligence (SAI) of the Johannes Kepler University Linz.
Wolfgang Windsteiger
Associate Professor at the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz.