Pieter Wuille will be defending his doctoral thesis, entitled "Functional programming abstractions for CP modeling."Â All are invited.
The defense will take place on December 6th, 2011 in Auditorium De Molen. More information, including a form for confirming your presence, can be found at http://people.cs.kuleuven.be/~pieter.wuille/phd.php