diff -r 9dae6e101cde -r a1e588fe2f38 travelling.html --- a/travelling.html Wed May 04 12:04:16 2016 +0100 +++ b/travelling.html Thu May 05 09:40:48 2016 +0100 @@ -306,9 +306,7 @@ (Krakow, 2 - 5 May)
  • Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July, slides [ps.gz]) -
  • Summer School -Marktoberdorf -(24 July - 5 August) +
  • Summer School Marktoberdorf (24 July - 5 August)
    2000
    @@ -359,8 +357,7 @@ Graduate College Meeting held by the University in Dresden (Reinhartsdorf/Sächsische Schweiz, 17 - 21 February) -
  • Summer School - Marktoberdorf on Computational Logic (29 July - 10 August) +
  • Summer School Marktoberdorf on Computational Logic (29 July - 10 August)
  • Problems and Advances in the Semantics of Linear Logic (Utrecht, the Netherlands, 28 - 29 November)