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 January 2018

EMCL Student Workshop 2018

The EMCL Student Workshop 2018 will take place at TUD on 20 and 21 February 2018.[more...]


09 November 2016

Master Thesis Defence by Ms Nika Pona

Ms Nika Pona defended her master thesis on 'Cut-Elimination in Functional Higher-Order Logic' [more...]


05 September 2016

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...]


26 April 2016

Master Thesis Defense by Ms Gonca Güllü

Ms Gonca Güllü defended her master thesis on 'A Bipolar Social Argumentation Framework' [more...]


26 April 2016

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...]


<< First < Previous 1-5 6-10 11-15 16-20 21-25 26-30 31-35 Next > Last >>