public_html: comparison travelling.html

equal deleted inserted replaced

-:486ac2d8a819
+:0b4a5595cbe4
 <?xml version="1.0" encoding="utf-8"?>
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 <HEAD>
-<TITLE> Christian Urban </TITLE>
+<TITLE>Christian Urban</TITLE>
 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
 <script type="text/javascript" src="striper.js"></script>
 <link rel="stylesheet" href="nominal.css">
 </HEAD>
 <BODY TEXT="#000000"
 BGCOLOR="#4169E1"
 LINK="#0000EF"
 VLINK="#51188E"
 ALINK="#FF0000"
 <!-- right column -->
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
-<UL class="striped">
+<ul class="striped">
 <li> Talk at Dyckhoff Fest (18 - 19 November)
-</UL>
+</ul>
 </TD>
 </TR>
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Old</H2>
 <H5>2011</H5>
-<UL class="striped">
+<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)
 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He)
 <li> Talk at ESOP'11 (26 - 30 March, Saarbr&uuml;cken)
 <li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
 <li>  One-day <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-popl11/">tutorial</A>
 on Nominal Isabelle at <A HREF="http://www.cse.psu.edu/popl/11/" target="_top">POPL 2011</A>
 (21 January, Austin)
-</UL>
+</ul>
 <H5>2010</H5>
-<UL class="striped">
+<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)
 <li> Invited Talk at WMM'10 (25 September)
 <li> Talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu)
 <li> Larry Paulson and Christian organise the <A href="http://isabelle.in.tum.de/nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 and 18 June)
 <li> Talk in the Automated Reasoning Group in Cambridge (8 June)
 <li> On the thesis committee of Clement Houtmann (Nancy, 12 March)
 <li> Talk in the Automated Reasoning Group in Cambridge (16 February)
 <li> POPL (20th - 22nd January)
-</UL>
+</ul>
 <H5>2009</H5>
-<UL class="striped">
+<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)
 <li> Isabelle course at the Chinese Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin
 and Prof. Yongjian Li)
 <li> Talk at Darmstadt (21 April, host: Prof. Helmut Veith)
 <li> TAASN (PC member, 22 March, York)
 <li> POPL (18th - 24th January)
-</UL>
+</ul>
 <H5>2008</H5>
-<UL class="striped">
+<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&amp;id=2053">Talk</A>
 at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer)
 <LI> Talk at NYU (10th November, host Prof. Benjamin Goldberg)
 <LI> Kick-off meeting of the
 <LI> Talk at Imperial College London (6 March, host: Dr Philippa Gardner)
 <LI> Talk at Yale University (24 January, New Haven, host: Prof. Zhong Shao)
 <LI> Talk at Northeastern University (22 January, Boston, host: Prof. Mitchell Wand)
 <LI> Invited Researcher at the Indiana University (January, Bloomington, host: Prof. Daniel Friedman)
 <LI> POPL (7 - 12 January, San Francisco)
-</UL>
+</ul>
 <H5>2007</H5>
-<UL class="striped">
+<ul class="striped">
 <LI> Talks at the Saarbr&uuml;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)
 <LI> TPHOLs (Kaiserslautern, 10 - 13 September)
 <LI> Talks at CADE and LFMTP in Bremen (15 - 20 July)
 <LI> Talk at ICMS Workshop on Substitution and Naming in Computer Science
 (26 - 28 May, Edinburgh)
 <LI> Invited Researcher at the NICTA Institute in Canberra (5 - 24 May, host: Dr Michael Norrish)
 <LI> Talk at St Andrews University (13th February, host: Dr Roy Dyckhoff)
 <LI> CANS-workshop (19th March, London)
-</UL>
+</ul>
 <H5>2006</H5>
-<UL class="striped">
+<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)
 <LI> visit to Prof. Henk Barendregt in Nijmegen (26th September)
 <LI> Talk at IJCAR-Conference (16 - 21 August, Seattle)
 <LI> Talk at the University of Frankfurt (22 June, host: Prof. Schmidt-Schauss)
 <LI> Nominal-Sets Meeting in Cambridge (26 April)
 <LI> Talk at the Types Workshop in Nottingham (18 - 21 April)
 <LI> Winterh&uuml;tte vom Lehrstuhl Broy (27 - 29 March)
 <LI> Talk at PoplMark-Workshop (Charleston, South Carolina, 13 - 16 January)
-</UL>
+</ul>
 <H5>2005</H5>
-<UL class="striped">
+<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)
 <LI> Talk at RISC in Linz (3 March, host: Bruno Buchberger)
 <LI> Talk at PPS in Paris (8 March, host: Pierre-Louis Curien)
 <LI> Talk at Carnegie Mellon University (11 November, host: Frank Pfenning)
 <LI> Course at University of Pennsylvania (9 - 21 November, hosts: Benjamin Pierce and Steve Zdancewic)
 <LI> Course in Cambridge (5 - 8 December)
 <LI> Talk at the Workshop on Computational Applications of
 Nominal Sets in London (CANS, 6 December, hosts: Andrew Pitts and Maribel Fernandez)
-</UL>
+</ul>
 <H5>2004</H5>
-<UL class="striped">
+<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)
 <LI> SOS workshop in London (30 August)
 <LI> Course at <A href="http://esslli2004.loria.fr"
 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>]
 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>]
 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>]
 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]
 <LI> visit to Dr Claudia Faggian in Padova (Italy, 24 March)
-</UL>
+</ul>
 <H5>2003</H5>
-<UL class="striped">
+<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)
 <LI> Talk (with Cheney) at UNIF 2003 workshop (Valencia, Spain, 7-13 June)
 <LI> Talk at the festive <A HREF="http://www.cs.vu.nl/~terese/bookday.html">TeReSe-Bookday</A>
 [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/amsterdam.pdf">pdf</A>])
 <LI> Talk in Nijmegen (the Netherlands, 14 April, host: Henk Barendregt)
 <LI> Talk in St Andrews (1 April, host: Roy Dyckhoff)
 <LI> Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March)
 <LI> Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg)
-</UL>
+</ul>
 <H5>2002</H5>
-<UL class="striped">
+<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>
 (Edinburgh, 10-13 April)
 <LI> <A HREF="http://iml.univ-mrs.fr/~li2002/">Logic & Interaction Weeks</A>
 (Marseille, 10 - 23 February)
-</UL>
+</ul>
 <H5>2001</H5>
-<UL class="striped">
+<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)
 <LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July,
 slides [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-rio.ps.gz">ps.gz</A>])
 <LI> Summer School
 <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Marktoberdorf</A>
 (24 July - 5 August)
-</UL>
+</ul>
 <H5>2000</H5>
-<UL class="striped">
+<ul class="striped">
 <LI> Talk in the
 <A HREF="http://www.pps.jussieu.fr/">Preuves, Programmes et Syst&egrave;mes Seminar</A>
 in Paris (13 January, host: Pierre-Louis Curien)
 <LI> Talk at LAMA in Chamb&eacute;ry, France (31 March)
 <LI> <A HREF="http://users.comlab.ox.ac.uk/luke.ong/LINEAR2000/index.html">
 (30 August - 7 September)
 <LI> <A HREF="http://www-sop.inria.fr/oasis/Caminha00/index.html">APPSEM Summer School Caminha</A>,
 Portugal (9 - 15 September)
 <LI> Talk at the <A HREF="http://www.mathematik.uni-muenchen.de/~logik/abm.html">AMB Workshop</A>
 in M&uuml;nchen, (21 - 22 December, host: Helmut Schwichtenberg)
-</UL>
+</ul>
 <H5>1999</H5>
-<UL class="striped">
+<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/">
 Typed Lambda Calculi and Applications Conference (TLCA '99)</A>
 in L'Aquila, Italy (7 - 9 April)
 <LI>  Linear Meeting in Edinburgh (3 - 7 June)
 <LI>  Schloss Dagstuhl Seminar:
 <A HREF="http://www.cs.bham.ac.uk/research/xslam/dagstuhl/programme.html">
 Linear Logic and Applications</A> (Germany, 22 - 27 August)
-</UL>
+</ul>
 <H5>1998</H5>
-<UL class="striped">
+<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)
 <LI>  Mathfit Workshop on Concurrency in London (9 - 11 June)
 <LI>  Talk in the Theory Seminar in St Andrews (July, host: Roy Dyckhoff)
 <LI>  Talk at the Linear Meeting in Tende, France (8 - 11 September)
 <LI>  <A HREF ="http://pikas.inf.tu-dresden.de"> Talk at the AI Dep. in Dresden</A>
 (September)
-</UL>
+</ul>
 <H5>1997</H5>
-<UL class="striped">
+<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
 (Reinhartsdorf/S&auml;chsische Schweiz, 17 - 21 February)
 <LI>  <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Summer School
 Marktoberdorf on Computational Logic</A> (29 July - 10 August)
 <LI>  Problems and Advances in the Semantics of Linear Logic
 (Utrecht, the Netherlands, 28 - 29 November)
-</UL>
+</ul>
 <H5>1996</H5>
-<UL class="striped">
+<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)
 <LI>  Meeting with
 <A HREF ="http://research.microsoft.com/~gmb/">Dr Gavin Bierman</A> and
 Dr Martin Hyland in Cambridge (6 - 7 June)
 <LI>  KI'96 in Dresden (17 - 19 September)
-</UL>
+</ul>
 <H5>1995</H5>
-<UL class="striped">
+<ul class="striped">
 <LI>  Linear Logic and Applications Meeting in Cambridge (16 - 18 October)
-</UL>
+</ul>
 </TD>
 </TR>
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Sat Oct 22 11:55:55 BST 2011
+Last modified: Sat Oct 22 12:01:22 BST 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>

changeset 13	0b4a5595cbe4
parent 12	486ac2d8a819
child 24	1afb9462ea70