European Master's Program in Computational Logic

Search:

Welcome

to the European Master's Program in Computational Logic (EMCL), a unique distributed two-year master's program offered by leading European universities in the field of Computational Logic.

With support of the Erasmus+: Erasmus Mundus programme of the European Union. With support of the Erasmus Mundus programme of the European Union

What's New

05 December 2016

Master Thesis Defence by Mr Matteo Manighetti

Mr Matteo Manighetti defended his master thesis on 'Computational Interpretations of Markov's Principle'[more...]


05 December 2016

Master Thesis Defence by Mr Andrea Condoluci

Mr Andrea Condoluci defended his master thesis on 'CERES in Propositional Proof Schemata'[more...]


09 November 2016

Master Thesis Defence by Ms Nika Pona

Ms Nika Pona defended her master thesis on 'Cut-Elimination in Functional Higher-Order Logic' [more...]


05 September 2016

Master Thesis Defence by Mr Thanh Hai Tran

Mr Thanh Hai Tran defended his master thesis on 'User-guided predicate abstraction of TLA+ specification'[more...]


26 April 2016

Master Thesis Defense by Ms Gonca Güllü

Ms Gonca Güllü defended her master thesis on 'A Bipolar Social Argumentation Framework' [more...]