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

08 October 2014

Master Thesis Defense by Ms Ilina Stoilkovska

Ms Ilina Stoilkovska defended her master thesis on 'XML Data Integration'[more...]


08 October 2014

Master Thesis Defense by Mr Adrian Haret

Mr Adrian Haret defended his master thesis on 'Merging in the Horn fragment'[more...]


08 October 2014

Master Thesis Defense by Mr Andreas Fellner

Mr Andreas Fellner defended his master thesis on 'Space & Congruence Compression of Proofs ' [more...]


08 October 2014

Master Thesis Defense by Mr Enrique Matos

Mr Enrique Matos defended his master thesis on 'Increasing the Robustness of SAT Solving with Machine Learning Techniques'[more...]


20 August 2014

EMCL Distinguished Alumni Award 2014

The former EMCL student, Ms Maria Magdalena Ortiz de la Fuente, received the EMCL Distinguished Alumni Award 2014. [more...]