European Master's Program in Computational Logic

Search:

This website is no longer being updated and may contain erroneous information! Registered students may contact the CL-secretary or the EMCL-coordinator for more information.

Important Dates

The EMCL program will not be offered any longer. However, applications to the local partner universities in Austria, Germany or Portugal are possible. Please consider the different deadlines!

What's New

20 August 2014

Master Thesis Defense by Mr Amr Hany Shehata Saleh

Mr Amr Hany Shehata Saleh defended his master thesis on 'Constraint Reasoning with Local Search for Continuous Optimization'[more...]


08 August 2014

Master Thesis Defense by Mr Sergejs Pugacs

Mr Sergejs Pugacs defended his master thesis on 'A Clustering Approach for Vehicle Routing Problems with Hard Time Windows'[more...]


30 April 2014

Master Thesis Defense by Mr Peter Skocovsky

Mr Peter Skocovsky defended his master thesis on 'Realisation of Stepping for Real-World ASP Languages'[more...]


30 April 2014

Master Thesis Defense by Mr Martin Diller

Mr Martin Diller defended his master thesis on 'Reasoning on Abstract Dialectical Frameworks via Quantified Boolean Formulas'[more...]


30 April 2014

Master Thesis Defense by Ms Nina Solomakhina

Ms Nina Solomakhina defended her master thesis on 'Combining Ontologies and Statistics for Sensor Data Quality Improvement'[more...]