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