Mr Ferdian Jovan Kurniawan defended his master thesis on 'Planning Problems in Petri Nets and the Fluent Calculu'
The European PhD Program in Computational Logic now accepts applications. The deadline is 30 April.
Mr Fariz Darari received the price for the best EMCL master thesis 2013 during the EMCL students workshop at TUW in February 2014.
The EMCL Student Workshop 2014 will take place at TUW on 18 and 19 February 2014.
Ms Alina Petrova defended her master thesis on 'Learning formal definitions for biomedical concepts'
Mr Andrey Rivkin defended his master thesis on 'Formal verification of data-aware business processes based on Petri nets'.
Mr Oleksandr Stashuk defended his master thesis on 'Integrating Constraint Programming into Answer Set Programming'.