diff -r 38568b07bfef -r a1add930f3a1 travelling.html
--- a/travelling.html Sat Oct 22 11:49:14 2011 +0100
+++ b/travelling.html Sat Oct 22 11:54:03 2011 +0100
@@ -2,6 +2,7 @@
Christian Urban
+
@@ -9,7 +10,8 @@
BGCOLOR="#4169E1"
LINK="#0000EF"
VLINK="#51188E"
- ALINK="#FF0000">
+ ALINK="#FF0000"
+ ONLOAD="striper('ul','striped','li','first,second')">
Talks and Travel Plans
-
+
- Talk at Dyckhoff Fest (18 - 19 November)
|
@@ -62,7 +64,7 @@
2011
-
+
- Talk at ITP'11 (22 - 25 August, Nijmegen)
- Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal)
- Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud)
@@ -76,7 +78,7 @@
2010
-
+
- Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel)
- Talk about regular expressions and Myhill-Nerode in Cambridge (9 November)
- Talk at the University of Sussex (3 November, host: Dr Martin Berger)
@@ -94,7 +96,7 @@
2009
-
+
- Schloss Dagstuhl Seminar (4th - 9th October)
- visit to Dr James Cheney and ICFP & WMM (Edinburgh, 26th August - 5th September)
- Talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud)
@@ -107,7 +109,7 @@
2008
-
+
- Research visit to Princeton University (15th September - 13th December, host: Prof. Andrew Appel)
- Talk
at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer)
@@ -142,7 +144,7 @@
2007
-
+
- Talks at the Saarbrücken University (13 - 14 December, host: Prof. Gerd Smolka)
- Thesis examination of Dragisa Zunic (21. December, Lyon)
- Talk at Workshop on Mechanizing Metatheory (Freiburg, 1 - 4 October)
@@ -158,7 +160,7 @@
2006
-
+
- Talk at the CANS-workshop (26th October, host: Prof. Andrew Pitts)
- Talk in London (1st November, host: Prof. Edmund Robinson)
- Talk in Amsterdam (15th Setptember, hosts: Prof. Jan Klop and Dr Femke van Raamsdonk)
@@ -175,7 +177,7 @@
2005
-
+
- Talk in Edinburgh (25 January, host: Ian Stark)
- Talk in Leicester (28 January, host: Neil Ghani)
- Talk at King's College London (2 February, host: Maribel Fernandez)
@@ -197,7 +199,7 @@
2004
-
+
- Talk on Binding in Isabelle/HOL (Nijmegen, The Netherlands, 1 - 2 November, host: Henk Barendregt)
- visit to Prof. Dale Miller in Paris (France, 28 September)
- Talk (with Jeney) at ICLP in St Malo (France, 5 - 10 September)
@@ -216,7 +218,7 @@
- visit to Dr Claudia Faggian in Padova (Italy, 24 March)
2003
-
+
- Talk in Oxford (24 November, host: Luke Ong)
- Talk in the theory seminar at the University of Kent (13 October, host: Stefan Kahrs)
- Talk at CSL & KGC 2003 Colloquium (Vienna, Austria, 22 - 30 August)
@@ -231,7 +233,7 @@
- Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg)
2002
-
+
- Talk at BLC
(Birmingham, 12-14 September)
- Automath Workshop
@@ -240,7 +242,7 @@
(Marseille, 10 - 23 February)
2001
-
+
- Linear Meeting in Bertinoro, Italy (22 - 25 April)
- Talk at the TLCA 2001
(Krakow, 2 - 5 May)
@@ -252,7 +254,7 @@
2000
-
+
1999
-
+
- Talk in the Joint Theory Seminar of Imperial and QMW (London, 20 January, host: David Pym)
- Proof and Computation Workshop in Leeds (12 - 13 February)
- Talk at the
@@ -282,7 +284,7 @@
1998
-
+
1997
-
+
- Talk at the
Graduate College Meeting held by the University in Dresden
@@ -306,7 +308,7 @@
1996
-
+
- ELP'96 in Leipzig (Germany, 28 - 30 March)
- BCTCS 12 in Canterbury (1 - 4 April)
- Research visit to the UPenn (Philadelphia, 9 May - 3 June)
@@ -317,7 +319,7 @@
1995
-
+
- Linear Logic and Applications Meeting in Cambridge (16 - 18 October)
@@ -327,7 +329,7 @@
-Last modified: Sat Oct 22 11:49:00 BST 2011
+Last modified: Sat Oct 22 11:53:32 BST 2011
[Validate this page.]