Christian Urban

# HG changeset patch # User Christian Urban # Date 1319281789 -3600 # Node ID 0b4a5595cbe4903bd7e8cd1664c8baf3ac5efc52 # Parent 486ac2d8a8191ac58a3855f24a24a66343935a1d tuned diff -r 486ac2d8a819 -r 0b4a5595cbe4 teaching.html --- a/teaching.html Sat Oct 22 11:56:13 2011 +0100 +++ b/teaching.html Sat Oct 22 12:09:49 2011 +0100 @@ -24,7 +24,7 @@ + ROWSPAN="13"> Links
Home
@@ -65,20 +65,26 @@ (the paper coming out of this work was presented at CADE)

Mathilde Arnaud (2007, ENS Cachan, France) Formalization of Generative Unbinding

Parminder Sandhu (2011-2012, King's) Parsing using Derivatives

- +

2011-2012

Autumn +

Course on Access Control and Privacy Policies (at King's; original course by Steve Barker) +

+ + + + + +

2010-2011

Spring @@ -349,7 +355,7 @@

-Last modified: Tue Sep 20 15:55:36 CEST 2011 +Last modified: Sat Oct 22 12:08:37 BST 2011 [Validate this page.] 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

Talk at BLC (Birmingham, 12-14 September)
Automath Workshop (Edinburgh, 10-13 April)
Logic & Interaction Weeks (Marseille, 10 - 23 February) -

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

Talk in the Preuves, Programmes et Systèmes Seminar in Paris (13 January, host: Pierre-Louis Curien) @@ -269,10 +269,10 @@ Portugal (9 - 15 September)
Talk at the AMB Workshop in München, (21 - 22 December, host: Helmut Schwichtenberg) -

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,10 +282,10 @@
Schloss Dagstuhl Seminar: Linear Logic and Applications (Germany, 22 - 27 August) -

1998

Talk at the Linear Logic and Typed Lambda-Calculus Workshop in Marseille (6 - 10 April)
Talk at the TABLEAUX'98 Conference in Tilburg, the Netherlands (5 - 8 May) @@ -294,10 +294,10 @@
Talk at the Linear Meeting in Tende, France (8 - 11 September)
Talk at the AI Dep. in Dresden (September) -

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.]