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

26 November 2015

Master Thesis Defence by Mr Adrian Rebola Pardo

Mr Adrian Rebola Pardo defended his master thesis on ' Unsatisfiability Proofs in SAT Solving with Parity Reasoning'[more...]


26 August 2015

Master Thesis Defence by Ms Alifah Syamsiyah

Ms Alifah Syamsiyah defended her master thesis on 'Ontology-Driven Extraction of Event Logs from Relational Databases'[more...]


05 August 2015

Master Thesis Defence by Mr Radityo Eko Prasojo

Mr Radityo Eko Prasojo defended his master thesis on 'Entity and Aspect Extraction for Organizing News Comments'[more...]


22 April 2015

Master Thesis Defence by Ms Ximena Isabel Kumi Juarez Castro

Ms Ximena Isabel Kumi Juarez Castro defended her master thesis on ' A case study on intelligent data querying'.[more...]


25 February 2015

Best EMCL Thesis Award 2014

Mr Tobias Kaminski received the price for the best EMCL master thesis 2014 during the EMCL students workshop at NOVA in February 2015.[more...]