University of Calgary

ESSLLI open for registration

Submitted by Richard Zach on March 30, 2005 - 6:29pm.

The European Summer School for Logic, Language and Information will be held in Edinburgh, 8-19 August 2005. You can now register on their website. Lots of interesting-looking courses, including ones by Greg Restall on cut-elimination and normalization, by Matthias Baaz and Alex Leitsch on computational analysis of proofs, on dynamic epistemic logic by Hans von Ditmarsch and Barteld Kooi, plus lots of linguistics.