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

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


02 April 2014

EPCL Application Opened

The European PhD Program in Computational Logic now accepts applications. The deadline is 30 April.[more...]