diff -r 486ac2d8a819 -r 0b4a5595cbe4 travelling.html
--- a/travelling.html Sat Oct 22 11:56:13 2011 +0100
+++ b/travelling.html Sat Oct 22 12:09:49 2011 +0100
@@ -1,12 +1,11 @@
- Christian Urban
+Christian Urban
Talks and Travel Plans
-
+
Talk at Dyckhoff Fest (18 - 19 November)
-
+
@@ -65,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)
@@ -75,11 +74,10 @@
One-day tutorial
on Nominal Isabelle at POPL 2011
(21 January, Austin)
-
-
+
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,10 +92,10 @@
On the thesis committee of Clement Houtmann (Nancy, 12 March)
Talk in the Automated Reasoning Group in Cambridge (16 February)
POPL (20th - 22nd January)
-
+
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)
@@ -106,11 +104,10 @@
Talk at Darmstadt (21 April, host: Prof. Helmut Veith)
TAASN (PC member, 22 March, York)
POPL (18th - 24th January)
-
-
+
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,10 +139,10 @@
Talk at Northeastern University (22 January, Boston, host: Prof. Mitchell Wand)
Invited Researcher at the Indiana University (January, Bloomington, host: Prof. Daniel Friedman)
POPL (7 - 12 January, San Francisco)
-
+
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,10 +155,10 @@
Invited Researcher at the NICTA Institute in Canberra (5 - 24 May, host: Dr Michael Norrish)
Talk at St Andrews University (13th February, host: Dr Roy Dyckhoff)
CANS-workshop (19th March, London)
-
+
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,10 +172,10 @@
Talk at the Types Workshop in Nottingham (18 - 21 April)
Winterhütte vom Lehrstuhl Broy (27 - 29 March)
Talk at PoplMark-Workshop (Charleston, South Carolina, 13 - 16 January)
-
+
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,10 +194,10 @@
Course in Cambridge (5 - 8 December)
Talk at the Workshop on Computational Applications of
Nominal Sets in London (CANS, 6 December, hosts: Andrew Pitts and Maribel Fernandez)
-
+
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)
@@ -217,9 +214,10 @@
[Day 4 ]
[Day 5 ]
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)
@@ -232,18 +230,20 @@
Talk in St Andrews (1 April, host: Roy Dyckhoff)
Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March)
Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg)
-
+
+
2002
-
+
2001
-
+
Linear Meeting in Bertinoro, Italy (22 - 25 April)
Talk at the TLCA 2001
(Krakow, 2 - 5 May)
@@ -252,10 +252,10 @@
Summer School
Marktoberdorf
(24 July - 5 August)
-
+
2000
-
1999
-
1998
-
1997
-
+
Talk at the
Graduate College Meeting held by the University in Dresden
@@ -306,10 +306,10 @@
Marktoberdorf on Computational Logic (29 July - 10 August)
Problems and Advances in the Semantics of Linear Logic
(Utrecht, the Netherlands, 28 - 29 November)
-
+
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,12 +317,12 @@
Dr Gavin Bierman and
Dr Martin Hyland in Cambridge (6 - 7 June)
KI'96 in Dresden (17 - 19 September)
-
+
1995
-
+
Linear Logic and Applications Meeting in Cambridge (16 - 18 October)
-
+
@@ -330,7 +330,7 @@
-Last modified: Sat Oct 22 11:55:55 BST 2011
+Last modified: Sat Oct 22 12:01:22 BST 2011
[Validate this page.]