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)
