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

Important Dates

The EMCL program 2016 started in October at the Technische Universität Dresden.

What's New

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...]


26 April 2016

Master Thesis Defense by Mr Prildy

Mr Prildy defended his master thesis on 'A Hybrid Constrained Ant Colony Approach to the Public Bus Assignment Problem with Time Windows'[more...]


26 April 2016

Master Thesis Defense by Mr Luis Palacios Medinacelli

Mr Luis Palacios Medinacelli defended his master thesis on ' Skeptical Abduction: A Connectionist Network'.[more...]


<< First < Previous 1-5 6-10 11-15 16-20 21-25 26-30 31-35 Next > Last >>