$ 0 0 CENTRIA/DI/FCT student Tobias Kaminski, co-supervised by Prof. João Leite and Dr. Matthias Knorr, won the European Master’s Program in Computational Logic Best Thesis Award 2014.