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. |
Important Dates
The EMCL program 2016 started in October at the Technische Universität Dresden.
What's New
Master Thesis Defense by Mr Fariz Darari
Mr Fariz Darari defended his master thesis on 'Completeness Reasoning for Linked Data Queries'.[more...]
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...]
Master Thesis Defense by Mr Gil Vegliach
Mr Gil Vegliach defended his master thesis on 'Monitoring of data-centric business rules and processes'.[more...]
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...]
EPCL Application Opened
The European PhD Program in Computational Logic now accepts applications. The deadline is 30 April.[more...]