# 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 +

    + + + + + +

    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

    - @@ -65,7 +64,7 @@
    2011
    -
    2010
    -
    2009
    -
    2008
    -
    2007
    -
    2006
    -
    2005
    -
    2004
    - +
    2003
    - +
    2002
    - +
    2001
    -
    2000
    -
    1999
    -
    1998
    -
    1997
    -
    1996
    -
    1995
    - @@ -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.]