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.