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

NEW: The EMCL program will be revised. If you are interested in this program and if you meet the requirements, we encourage you to apply.
Grants are available. The online application portal opens on 1 April 2017.

What's New

13 January 2016

Master Thesis Defense by Ms Asma Afeefy

Ms Asma Afeefy defended her master thesis on 'Navigation Approaches for Answer Sets' [more...]


06 January 2016

EMCL Student Workshop 2016

The EMCL Student Workshop 2016 will take place at TUW on 11 and 12 February 2016.[more...]


26 November 2015

Master Thesis Defence by Ms Alina Aleksandrova

Ms Alina Aleksandrova defended her master thesis on 'Engineering data-aware commitment-based multiagent systems'[more...]


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