diff -r 3c1a98a18f92 -r 1afb9462ea70 travelling.html
--- a/travelling.html Fri Oct 28 10:16:45 2011 +0100
+++ b/travelling.html Fri Oct 28 14:43:57 2011 +0100
@@ -2,7 +2,7 @@
Christian Urban
-
+
@@ -29,18 +29,18 @@
ROWSPAN="2">
Links
-Home
-Publications
-Teaching
-Recent Talks
+Home
+Publications
+Teaching
+Recent Talks
My Research Group
Handy Information
-People in Logic
-Programming Languages
-Miscellaneous
+People in Logic
+Programming Languages
+Miscellaneous
@@ -123,9 +123,9 @@
A course on Nominal Isabelle at the
Oregon Summer School
on Logic and Theorem Proving in Programming Languages (22 - 30 July, Eugene, 4h,
- [Slides 1],
- [Slides 2],
- [Slides 3],
+ [Slides 1],
+ [Slides 2],
+ [Slides 3],
[Video 1],
[Video 2],
[Video 3])
@@ -208,11 +208,11 @@
Advanced Course on Nominal Reasoning (Nancy, France, 9-20 August)
Slides of
- [Day 1]
- [Day 2]
- [Day 3]
- [Day 4]
- [Day 5]
+ [Day 1]
+ [Day 2]
+ [Day 3]
+ [Day 4]
+ [Day 5]
visit to Dr Claudia Faggian in Padova (Italy, 24 March)
@@ -224,8 +224,8 @@
Talk (with Cheney) at UNIF 2003 workshop (Valencia, Spain, 7-13 June)
Talk at the festive TeReSe-Bookday
(Amsterdam, the Netherlands, 3 - 6 June, host: Jan Willem Klop, slides
- [ps]
- [pdf])
+ [ps]
+ [pdf])
Talk in Nijmegen (the Netherlands, 14 April, host: Henk Barendregt)
Talk in St Andrews (1 April, host: Roy Dyckhoff)
Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March)
@@ -248,7 +248,7 @@
Talk at the TLCA 2001
(Krakow, 2 - 5 May)
Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July,
- slides [ps.gz])
+ slides [ps.gz])
Summer School
Marktoberdorf
(24 July - 5 August)