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 will start on Monday, 4 October, at the Technische Universität Dresden.
Mr Peter Skocovsky defended his master thesis on 'Realisation of Stepping for Real-World ASP Languages'
Mr Martin Diller defended his master thesis on 'Reasoning on Abstract Dialectical Frameworks via Quantified Boolean Formulas'
Ms Nina Solomakhina defended her master thesis on 'Combining Ontologies and Statistics for Sensor Data Quality Improvement'
Mr Ferdian Jovan Kurniawan defended his master thesis on 'Planning Problems in Petri Nets and the Fluent Calculu'
The European PhD Program in Computational Logic now accepts applications. The deadline is 30 April.