Prizes

Anela Lolic got the prize for the best Master Thesis at the Computer Science Faculty of TU Wien (EPILOG WS 2015 prize) with the Thesis Herbrand sequents and the Skolem-free CERES method under the supervision of Alexander Leitsch

Christoph Wolfgang Spoerk got the prize for the best Poster presentation of his Master Thesis "Algorithms for Quantified Cut-Introduction", under the supervision of Alexander Leitsch at the Computer Science Faculty of TU Wien (EPILOG WS 2015 prize)