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 started in October at the Technische Universit├Ąt Dresden.

What's New

23 July 2013

Master Thesis Defense by Mr Fariz Darari

Mr Fariz Darari defended his master thesis on 'Completeness Reasoning for Linked Data Queries'.[more...]


23 April 2013

Master Thesis Defense by Mr Davide Lanti

Mr Davide Lanti defended his master thesis on 'Sharing Information in Parallel Search with Search Space Partitioning'.[more...]


23 April 2013

Master Thesis Defense by Mr Gil Vegliach

Mr Gil Vegliach defended his master thesis on 'Monitoring of data-centric business rules and processes'.[more...]


10 April 2013

Master Thesis Defense by Ms Ana Pavlisic

Ms Ana Pavlisic defended her master thesis on 'Efficient Algorithms for Language Emptiness of Infinite-State FTS and Satisfiability of LTL Extensions'[more...]


20 March 2013

EPCL Application Opened

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