Johan Wittocx is defending his PhD thesis titled "Finite domain and symbolic inference methods for extensions of first-order logic".
The defense will take place at the Arenberg castle on Wednesday, May 26, at 10h00. The defense is followed by a reception in the salons of the castle.
In the afternoon, there will be talks by
Mirek Truszczinsky (University of Kentucky) : Representing Preferences Among Sets
Torsten Schaub (Universität Potsdam) : Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
More information is available on http://www.cs.kuleuven.be/~johan/PhD/