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

06 January 2016

EMCL Student Workshop 2016

The EMCL Student Workshop 2016 will take place at TUW on 11 and 12 February 2016.[more...]


26 November 2015

Master Thesis Defence by Ms Alina Aleksandrova

Ms Alina Aleksandrova defended her master thesis on 'Engineering data-aware commitment-based multiagent systems'[more...]


26 November 2015

Master Thesis Defence by Mr Adrian Rebola Pardo

Mr Adrian Rebola Pardo defended his master thesis on ' Unsatisfiability Proofs in SAT Solving with Parity Reasoning'[more...]


26 August 2015

Master Thesis Defence by Ms Alifah Syamsiyah

Ms Alifah Syamsiyah defended her master thesis on 'Ontology-Driven Extraction of Event Logs from Relational Databases'[more...]


05 August 2015

Master Thesis Defence by Mr Radityo Eko Prasojo

Mr Radityo Eko Prasojo defended his master thesis on 'Entity and Aspect Extraction for Organizing News Comments'[more...]