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 will start on Monday, 4 October, at the Technische Universität Dresden.

What's New

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


23 March 2016

Master Thesis Defense by Ms Medina-Petrina Andresel

Ms Medina-Petrina Andresel defended her master thesis on 'A Compilation Technique for Interactive Ontology-mediated Data Exploration'[more...]


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