diff -r f329c1f3b365 -r 60f6cd4991ad travelling.html
--- a/travelling.html Sat Oct 22 10:43:10 2011 +0100
+++ b/travelling.html Sat Oct 22 10:51:58 2011 +0100
@@ -2,7 +2,7 @@
Christian Urban
-
+
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
@@ -122,9 +122,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])
@@ -207,11 +207,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)
2003
@@ -222,8 +222,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)
@@ -244,7 +244,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)