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)