Computational Logic Workshop in honour of Roy Dyckhoff (2011)
Website: http://www.lix.polytechnique.fr/%7Elengrand/Events/Dyckhoff/
Dates: 18 Nov - 19 Nov
City: St. Andrews