European Master's Program in Computational Logic

Search:

News Archive

  • 2018: 1 item
  • 2016: 10 items
  • 2015: 7 items
  • 2014: 15 items
  • 2013: 15 items
  • 2012: 15 items
  • 2011: 32 items
  • 2010: 30 items
  • 2009: 3 items
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...]


26 April 2016

Master Thesis Defense by Mr Luis Palacios Medinacelli

Mr Luis Palacios Medinacelli defended his master thesis on ' Skeptical Abduction: A Connectionist Network'.[more...]


23 March 2016

Master Thesis Defense by Ms Medina-Petrina Andresel

Ms Medina-Petrina Andresel defended her master thesis on 'A Compilation Technique for Interactive Ontology-mediated Data Exploration'[more...]


<< First < Previous 1-7 8-14 15-21 22-28 29-35 36-42 43-49 Next > Last >>