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 @@ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <HEAD> <TITLE> Christian Urban </TITLE> +<script type="text/javascript" src="striper.js"></script> <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/"> </HEAD> @@ -9,7 +10,8 @@ BGCOLOR="#4169E1" LINK="#0000EF" VLINK="#51188E" - ALINK="#FF0000"> + ALINK="#FF0000" + ONLOAD="striper('ul','striped','li','first,second')"> <TABLE WIDTH="100%" BGCOLOR="#4169E1" @@ -50,7 +52,7 @@ <!-- right column --> <TD BGCOLOR="#FFFFFF" WIDTH="75%"> <H2>Talks and Travel Plans</H2> -<UL> +<UL class="striped"> <li> Talk at Dyckhoff Fest (18 - 19 November) </UL> </TD> @@ -62,7 +64,7 @@ <H5>2011</H5> -<UL> +<UL class="striped"> <li> Talk at ITP'11 (22 - 25 August, Nijmegen) <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal) <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) @@ -76,7 +78,7 @@ <H5>2010</H5> -<UL> +<UL class="striped"> <li> Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel) <li> Talk about regular expressions and Myhill-Nerode in Cambridge (9 November) <li> Talk at the University of Sussex (3 November, host: Dr Martin Berger) @@ -94,7 +96,7 @@ </UL> <H5>2009</H5> -<UL> +<UL class="striped"> <li> Schloss Dagstuhl Seminar (4th - 9th October) <li> visit to Dr James Cheney and ICFP & WMM (Edinburgh, 26th August - 5th September) <li> Talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud) @@ -107,7 +109,7 @@ <H5>2008</H5> -<UL> +<UL class="striped"> <LI> Research visit to Princeton University (15th September - 13th December, host: Prof. Andrew Appel) <LI> <A HREF="http://www.csail.mit.edu/events/eventcalendar/calendar.php?show=event&id=2053">Talk</A> at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer) @@ -142,7 +144,7 @@ </UL> <H5>2007</H5> -<UL> +<UL class="striped"> <LI> Talks at the Saarbrücken University (13 - 14 December, host: Prof. Gerd Smolka) <LI> Thesis examination of Dragisa Zunic (21. December, Lyon) <LI> Talk at Workshop on Mechanizing Metatheory (Freiburg, 1 - 4 October) @@ -158,7 +160,7 @@ </UL> <H5>2006</H5> -<UL> +<UL class="striped"> <LI> Talk at the CANS-workshop (26th October, host: Prof. Andrew Pitts) <LI> Talk in London (1st November, host: Prof. Edmund Robinson) <LI> Talk in Amsterdam (15th Setptember, hosts: Prof. Jan Klop and Dr Femke van Raamsdonk) @@ -175,7 +177,7 @@ </UL> <H5>2005</H5> -<UL> +<UL class="striped"> <LI> Talk in Edinburgh (25 January, host: Ian Stark) <LI> Talk in Leicester (28 January, host: Neil Ghani) <LI> Talk at King's College London (2 February, host: Maribel Fernandez) @@ -197,7 +199,7 @@ </UL> <H5>2004</H5> -<UL> +<UL class="striped"> <LI> Talk on Binding in Isabelle/HOL (Nijmegen, The Netherlands, 1 - 2 November, host: Henk Barendregt) <LI> visit to Prof. Dale Miller in Paris (France, 28 September) <LI> Talk (with Jeney) at ICLP in St Malo (France, 5 - 10 September) @@ -216,7 +218,7 @@ <LI> visit to Dr Claudia Faggian in Padova (Italy, 24 March) </UL> <H5>2003</H5> -<UL> +<UL class="striped"> <LI> Talk in Oxford (24 November, host: Luke Ong) <LI> Talk in the theory seminar at the University of Kent (13 October, host: Stefan Kahrs) <LI> Talk at CSL & KGC 2003 Colloquium (Vienna, Austria, 22 - 30 August) @@ -231,7 +233,7 @@ <LI> Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg) </UL> <H5>2002</H5> -<UL> +<UL class="striped"> <LI> Talk at <A HREF="http://www.cs.bham.ac.uk/~blc02/">BLC</A> (Birmingham, 12-14 September) <LI> <A HREF="http://www.cee.hw.ac.uk/~fairouz/automath2002/">Automath Workshop</A> @@ -240,7 +242,7 @@ (Marseille, 10 - 23 February) </UL> <H5>2001</H5> -<UL> +<UL class="striped"> <LI> Linear Meeting in Bertinoro, Italy (22 - 25 April) <LI> Talk at the <A HREF="http://www.ii.uj.edu.pl/zpi/tlca2001/">TLCA 2001</A> (Krakow, 2 - 5 May) @@ -252,7 +254,7 @@ </UL> <H5>2000</H5> -<UL> +<UL class="striped"> <LI> Talk in the <A HREF="http://www.pps.jussieu.fr/">Preuves, Programmes et Systèmes Seminar</A> in Paris (13 January, host: Pierre-Louis Curien) @@ -269,7 +271,7 @@ </UL> <H5>1999</H5> -<UL> +<UL class="striped"> <LI> Talk in the Joint Theory Seminar of Imperial and QMW (London, 20 January, host: David Pym) <LI> Proof and Computation Workshop in Leeds (12 - 13 February) <LI> Talk at the <A HREF ="http://w3.dm.univaq.it/tlca99/"> @@ -282,7 +284,7 @@ </UL> <H5>1998</H5> -<UL> +<UL class="striped"> <LI> Talk at the <A HREF ="http://iml.univ-mrs.fr/~ehrhard/ll-hcm-1998.html"> Linear Logic and Typed Lambda-Calculus Workshop</A> in Marseille (6 - 10 April) <LI> Talk at the TABLEAUX'98 Conference in Tilburg, the Netherlands (5 - 8 May) @@ -294,7 +296,7 @@ </UL> <H5>1997</H5> -<UL> +<UL class="striped"> <LI> Talk at the <A HREF="http://orchid.inf.tu-dresden.de/gk-spezifikation/index.html"> Graduate College</A> Meeting held by the University in Dresden @@ -306,7 +308,7 @@ </UL> <H5>1996</H5> -<UL> +<UL class="striped"> <LI> ELP'96 in Leipzig (Germany, 28 - 30 March) <LI> BCTCS 12 in Canterbury (1 - 4 April) <LI> Research visit to the UPenn (Philadelphia, 9 May - 3 June) @@ -317,7 +319,7 @@ </UL> <H5>1995</H5> -<UL> +<UL class="striped"> <LI> Linear Logic and Applications Meeting in Cambridge (16 - 18 October) </UL> </TD> @@ -327,7 +329,7 @@ </TABLE> <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> <!-- hhmts start --> -Last modified: Sat Oct 22 11:49:00 BST 2011 +Last modified: Sat Oct 22 11:53:32 BST 2011 <!-- hhmts end --> <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> </BODY>