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.|
The EMCL program 2016 started in October at the Technische Universität Dresden.
Mr Fariz Darari defended his master thesis on 'Completeness Reasoning for Linked Data Queries'.
Mr Davide Lanti defended his master thesis on 'Sharing Information in Parallel Search with Search Space Partitioning'.
Mr Gil Vegliach defended his master thesis on 'Monitoring of data-centric business rules and processes'.
Ms Ana Pavlisic defended her master thesis on 'Efficient Algorithms for Language Emptiness of Infinite-State FTS and Satisfiability of LTL Extensions'
The European PhD Program in Computational Logic now accepts applications. The deadline is 30 April.