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 will start on Monday, 4 October, at the Technische Universität Dresden.
What's New
Master Thesis Defence by Mr Thanh Hai Tran
Mr Thanh Hai Tran defended his master thesis on 'User-guided predicate abstraction of TLA+ specification'[more...]
Master Thesis Defense by Ms Gonca Güllü
Ms Gonca Güllü defended her master thesis on 'A Bipolar Social Argumentation Framework' [more...]
Master Thesis Defense by Mr Prildy
Mr Prildy defended his master thesis on 'A Hybrid Constrained Ant Colony Approach to the Public Bus Assignment Problem with Time Windows'[more...]
Master Thesis Defense by Mr Luis Palacios Medinacelli
Mr Luis Palacios Medinacelli defended his master thesis on ' Skeptical Abduction: A Connectionist Network'.[more...]
Master Thesis Defense by Ms Medina-Petrina Andresel
Ms Medina-Petrina Andresel defended her master thesis on 'A Compilation Technique for Interactive Ontology-mediated Data Exploration'[more...]