Computer Science Logic 2005 (CSL'05) (2005)
Website: http://web.comlab.ox.ac.uk/oucl/conferences/CSL05
Dates: 22 Aug - 25 Aug
City: Oxford