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)