--- 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) 
 <LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July,
      slides [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-rio.ps.gz">ps.gz</A>]) 
-<LI> Summer School 
-<A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Marktoberdorf</A> 
-(24 July - 5 August)
+<LI> Summer School Marktoberdorf (24 July - 5 August)
 </ul>
 
 <H5>2000</H5>
@@ -359,8 +357,7 @@
       <A HREF="http://orchid.inf.tu-dresden.de/gk-spezifikation/index.html">
       Graduate College</A> Meeting held by the University in Dresden
       (Reinhartsdorf/S&auml;chsische Schweiz, 17 - 21 February)
-<LI>  <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Summer School 
-      Marktoberdorf on Computational Logic</A> (29 July - 10 August)  
+<LI>  Summer School Marktoberdorf on Computational Logic (29 July - 10 August)  
 <LI>  Problems and Advances in the Semantics of Linear Logic 
       (Utrecht, the Netherlands, 28 - 29 November)   
 </ul>