Computer Algebra and Computational Logic

Aim and description:

Computer algebra and computational logic are two highly active branches of symbolic computation. The goal of this special session is to provide a forum where interactions between these two fields are discussed. It concerns

 – computer algebra techniques exploiting insight from computational logic,
 – computational logic techniques exploiting insight from computer
algebra, and
 – hybrid techniques like SMT which draw from both sides.

The session will consist of invited presentations, followed by discussion rounds.


James Davenport (University of Bath)
Georg Regensburger (University of Kassel)
Andrei Voronkov (The University of Manchester and EasyChair)
James Worrell (University of Oxford)


Ezio Bartocci (Vienna University of Technology)
Manuel Kauers (Johannes Kepler University Linz)
Christoph Koutschan (RICAM, Austrian Academy of Sciences)
Laura Kovács (Vienna University of Technology)
Temur Kutsia (Johannes Kepler University Linz, co-chair)
Veronika Pillwein (Johannes Kepler University Linz)
Carsten Schneider (Johannes Kepler University Linz, co-chair)
Martina Seidl (Johannes Kepler University Linz)