European Master's Program in Computational Logic

Search:

Welcome

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. With support of the Erasmus Mundus programme of the European Union

Important Dates

The EMCL program 2016 started in October at the Technische Universität Dresden.

What's New

12 May 2010

Thesis Work at NICTA

Christian Drescher is preparing his Master thesis at NICTA in the period from 18 March to 22 May 2010.[more...]


31 March 2010

EMCL Student Workshop in Summer 2010

It has been decided to run a second workshop in Dresden, Germany in summer 2010.[more...]


31 March 2010

Summer Schools at the ICCL

In 2010 there are summer schools in Dresden, Germany as well as in Jakarta, Indonesia.[more...]


01 March 2010

EMCL Master Thesis Award 2009

The price is given every year by the EMCL joint commission. Carroline Kencana received the award for 2009.[more...]


24 February 2010

EMCL Scholar Steffen Hölldobler visits NICTA

Steffen Hölldobler from TUD joins Peter Baumgartner's research group at NICTA in 2010.[more...]