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 Mundus programme of the European Union. With support of the Erasmus Mundus programme of the European Union

Important Dates

The EMCL program 2015 will start on Monday, 5 October, at the Technische Universität Dresden.

What's New

08 August 2014

Master Thesis Defense by Mr Sergejs Pugacs

Mr Sergejs Pugacs defended his master thesis on 'A Clustering Approach for Vehicle Routing Problems with Hard Time Windows'[more...]


30 April 2014

Master Thesis Defense by Mr Peter Skocovsky

Mr Peter Skocovsky defended his master thesis on 'Realisation of Stepping for Real-World ASP Languages'[more...]


30 April 2014

Master Thesis Defense by Mr Martin Diller

Mr Martin Diller defended his master thesis on 'Reasoning on Abstract Dialectical Frameworks via Quantified Boolean Formulas'[more...]


30 April 2014

Master Thesis Defense by Ms Nina Solomakhina

Ms Nina Solomakhina defended her master thesis on 'Combining Ontologies and Statistics for Sensor Data Quality Improvement'[more...]


30 April 2014

Master Thesis Defense by Mr Ferdian Jovan Kurniawan

Mr Ferdian Jovan Kurniawan defended his master thesis on 'Planning Problems in Petri Nets and the Fluent Calculu' [more...]