Mercurial Mercurial > hg > public_html / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
travelling.html
changeset 11 a1add930f3a1
parent 10 38568b07bfef
child 12 486ac2d8a819
equal deleted inserted replaced
10:38568b07bfef 11:a1add930f3a1 
     1 <?xml version="1.0" encoding="utf-8"?>
 
     1 <?xml version="1.0" encoding="utf-8"?>
 
     2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 
     2 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 
     3 <HEAD>
 
     3 <HEAD>
 
     4 <TITLE> Christian Urban </TITLE>
 
     4 <TITLE> Christian Urban </TITLE>
 
       
     5 <script type="text/javascript" src="striper.js"></script>
 
     5 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
 
     6 <BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
 
     6 </HEAD>
 
     7 </HEAD>
 
     7 
     8 
     8 <BODY TEXT="#000000" 
     9 <BODY TEXT="#000000" 
     9       BGCOLOR="#4169E1" 
    10       BGCOLOR="#4169E1" 
    10       LINK="#0000EF" 
    11       LINK="#0000EF" 
    11       VLINK="#51188E" 
    12       VLINK="#51188E" 
    12       ALINK="#FF0000">
 
    13       ALINK="#FF0000"
 
       
    14       ONLOAD="striper('ul','striped','li','first,second')">
 
    13 
    15 
    14 <TABLE WIDTH="100%" 
    16 <TABLE WIDTH="100%" 
    15        BGCOLOR="#4169E1" 
    17        BGCOLOR="#4169E1" 
    16        BORDER="0"   
    18        BORDER="0"   
    17        FRAME="border"  
    19        FRAME="border"  
    48 
    50 
    49 
    51 
    50 <!-- right column -->
 
    52 <!-- right column -->
 
    51 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
    53 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
    52 <H2>Talks and Travel Plans</H2>
 
    54 <H2>Talks and Travel Plans</H2>
 
    53 <UL>
 
    55 <UL class="striped">
 
    54 <li> Talk at Dyckhoff Fest (18 - 19 November)
 
    56 <li> Talk at Dyckhoff Fest (18 - 19 November)
 
    55 </UL>
 
    57 </UL>
 
    56 </TD>
 
    58 </TD>
 
    57 </TR>
 
    59 </TR>
 
    58 
    60 
    60 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
    62 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 
    61 <H2>Old</H2>
 
    63 <H2>Old</H2>
 
    62 
    64 
    63 <H5>2011</H5>
 
    65 <H5>2011</H5>
 
    64 
    66 
    65 <UL>
 
    67 <UL class="striped">
 
    66 <li> Talk at ITP'11 (22 - 25 August, Nijmegen)
 
    68 <li> Talk at ITP'11 (22 - 25 August, Nijmegen)
 
    67 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal)
 
    69 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal)
 
    68 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) 
    70 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) 
    69 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He)
 
    71 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He)
 
    70 <li> Talk at ESOP'11 (26 - 30 March, Saarbr&uuml;cken)
 
    72 <li> Talk at ESOP'11 (26 - 30 March, Saarbr&uuml;cken)
 
    74       (21 January, Austin)
 
    76       (21 January, Austin)
 
    75 </UL>
 
    77 </UL>
 
    76 
    78 
    77 
    79 
    78 <H5>2010</H5>
 
    80 <H5>2010</H5>
 
    79 <UL>
 
    81 <UL class="striped">
 
    80 <li> Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel)
 
    82 <li> Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel)
 
    81 <li> Talk about regular expressions and Myhill-Nerode in Cambridge (9 November)
 
    83 <li> Talk about regular expressions and Myhill-Nerode in Cambridge (9 November)
 
    82 <li> Talk at the University of Sussex (3 November, host: Dr Martin Berger)
 
    84 <li> Talk at the University of Sussex (3 November, host: Dr Martin Berger)
 
    83 <li> Invited Talk at WMM'10 (25 September)
 
    85 <li> Invited Talk at WMM'10 (25 September)
 
    84 <li> Talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu)
 
    86 <li> Talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu)
 
    92 <li> Talk in the Automated Reasoning Group in Cambridge (16 February)
 
    94 <li> Talk in the Automated Reasoning Group in Cambridge (16 February)
 
    93 <li> POPL (20th - 22nd January) 
    95 <li> POPL (20th - 22nd January) 
    94 </UL>
 
    96 </UL>
 
    95 
    97 
    96 <H5>2009</H5>
 
    98 <H5>2009</H5>
 
    97 <UL>
 
    99 <UL class="striped">
 
    98 <li> Schloss Dagstuhl Seminar (4th - 9th October)
 
   100 <li> Schloss Dagstuhl Seminar (4th - 9th October)
 
    99 <li> visit to Dr James Cheney and ICFP & WMM (Edinburgh, 26th August - 5th September)
 
   101 <li> visit to Dr James Cheney and ICFP & WMM (Edinburgh, 26th August - 5th September)
 
   100 <li> Talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud)
 
   102 <li> Talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud)
 
   101 <li> Isabelle course at the Chinese Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin 
   103 <li> Isabelle course at the Chinese Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin 
   102   and Prof. Yongjian Li)
 
   104   and Prof. Yongjian Li)
 
   105 <li> POPL (18th - 24th January)
 
   107 <li> POPL (18th - 24th January)
 
   106 </UL>
 
   108 </UL>
 
   107 
   109 
   108 
   110 
   109 <H5>2008</H5>
 
   111 <H5>2008</H5>
 
   110 <UL>
 
   112 <UL class="striped">
 
   111 <LI> Research visit to Princeton University (15th September - 13th December, host: Prof. Andrew Appel)
 
   113 <LI> Research visit to Princeton University (15th September - 13th December, host: Prof. Andrew Appel)
 
   112 <LI> <A HREF="http://www.csail.mit.edu/events/eventcalendar/calendar.php?show=event&amp;id=2053">Talk</A> 
   114 <LI> <A HREF="http://www.csail.mit.edu/events/eventcalendar/calendar.php?show=event&amp;id=2053">Talk</A> 
   113      at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer)
 
   115      at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer)
 
   114 <LI> Talk at NYU (10th November, host Prof. Benjamin Goldberg)
 
   116 <LI> Talk at NYU (10th November, host Prof. Benjamin Goldberg)
 
   115 <LI> Kick-off meeting of the 
   117 <LI> Kick-off meeting of the 
   140 <LI> Invited Researcher at the Indiana University (January, Bloomington, host: Prof. Daniel Friedman)
 
   142 <LI> Invited Researcher at the Indiana University (January, Bloomington, host: Prof. Daniel Friedman)
 
   141 <LI> POPL (7 - 12 January, San Francisco)
 
   143 <LI> POPL (7 - 12 January, San Francisco)
 
   142 </UL>
 
   144 </UL>
 
   143 
   145 
   144 <H5>2007</H5>
 
   146 <H5>2007</H5>
 
   145 <UL>
 
   147 <UL class="striped">
 
   146 <LI> Talks at the Saarbr&uuml;cken University (13 - 14 December, host: Prof. Gerd Smolka)
 
   148 <LI> Talks at the Saarbr&uuml;cken University (13 - 14 December, host: Prof. Gerd Smolka)
 
   147 <LI> Thesis examination of Dragisa Zunic (21. December, Lyon)
 
   149 <LI> Thesis examination of Dragisa Zunic (21. December, Lyon)
 
   148 <LI> Talk at Workshop on Mechanizing Metatheory (Freiburg, 1 - 4 October)
 
   150 <LI> Talk at Workshop on Mechanizing Metatheory (Freiburg, 1 - 4 October)
 
   149 <LI> TPHOLs (Kaiserslautern, 10 - 13 September)
 
   151 <LI> TPHOLs (Kaiserslautern, 10 - 13 September)
 
   150 <LI> Talks at CADE and LFMTP in Bremen (15 - 20 July)
 
   152 <LI> Talks at CADE and LFMTP in Bremen (15 - 20 July)
 
   156 <LI> Talk at St Andrews University (13th February, host: Dr Roy Dyckhoff)
 
   158 <LI> Talk at St Andrews University (13th February, host: Dr Roy Dyckhoff)
 
   157 <LI> CANS-workshop (19th March, London)
 
   159 <LI> CANS-workshop (19th March, London)
 
   158 </UL>
 
   160 </UL>
 
   159 
   161 
   160 <H5>2006</H5>
 
   162 <H5>2006</H5>
 
   161 <UL>
 
   163 <UL class="striped">
 
   162 <LI> Talk at the CANS-workshop (26th October, host: Prof. Andrew Pitts)
 
   164 <LI> Talk at the CANS-workshop (26th October, host: Prof. Andrew Pitts)
 
   163 <LI> Talk in London (1st November, host: Prof. Edmund Robinson)
 
   165 <LI> Talk in London (1st November, host: Prof. Edmund Robinson)
 
   164 <LI> Talk in Amsterdam (15th Setptember, hosts: Prof. Jan Klop and Dr Femke van Raamsdonk)
 
   166 <LI> Talk in Amsterdam (15th Setptember, hosts: Prof. Jan Klop and Dr Femke van Raamsdonk)
 
   165 <LI> visit to Prof. Henk Barendregt in Nijmegen (26th September)
 
   167 <LI> visit to Prof. Henk Barendregt in Nijmegen (26th September)
 
   166 <LI> Talk at IJCAR-Conference (16 - 21 August, Seattle)
 
   168 <LI> Talk at IJCAR-Conference (16 - 21 August, Seattle)
 
   173 <LI> Winterh&uuml;tte vom Lehrstuhl Broy (27 - 29 March)
 
   175 <LI> Winterh&uuml;tte vom Lehrstuhl Broy (27 - 29 March)
 
   174 <LI> Talk at PoplMark-Workshop (Charleston, South Carolina, 13 - 16 January)
 
   176 <LI> Talk at PoplMark-Workshop (Charleston, South Carolina, 13 - 16 January)
 
   175 </UL>
 
   177 </UL>
 
   176 
   178 
   177 <H5>2005</H5>
 
   179 <H5>2005</H5>
 
   178 <UL>
 
   180 <UL class="striped">
 
   179 <LI> Talk in Edinburgh (25 January, host: Ian Stark)
 
   181 <LI> Talk in Edinburgh (25 January, host: Ian Stark)
 
   180 <LI> Talk in Leicester (28 January, host: Neil Ghani)
 
   182 <LI> Talk in Leicester (28 January, host: Neil Ghani)
 
   181 <LI> Talk at King's College London (2 February, host: Maribel Fernandez)
 
   183 <LI> Talk at King's College London (2 February, host: Maribel Fernandez)
 
   182 <LI> Talk at RISC in Linz (3 March, host: Bruno Buchberger)
 
   184 <LI> Talk at RISC in Linz (3 March, host: Bruno Buchberger)
 
   183 <LI> Talk at PPS in Paris (8 March, host: Pierre-Louis Curien)
 
   185 <LI> Talk at PPS in Paris (8 March, host: Pierre-Louis Curien)
 
   195 <LI> Talk at the Workshop on Computational Applications of 
   197 <LI> Talk at the Workshop on Computational Applications of 
   196      Nominal Sets in London (CANS, 6 December, hosts: Andrew Pitts and Maribel Fernandez)
 
   198      Nominal Sets in London (CANS, 6 December, hosts: Andrew Pitts and Maribel Fernandez)
 
   197 </UL>
 
   199 </UL>
 
   198 
   200 
   199 <H5>2004</H5>
 
   201 <H5>2004</H5>
 
   200 <UL>
 
   202 <UL class="striped">
 
   201 <LI> Talk on Binding in Isabelle/HOL (Nijmegen, The Netherlands, 1 - 2 November, host: Henk Barendregt)
 
   203 <LI> Talk on Binding in Isabelle/HOL (Nijmegen, The Netherlands, 1 - 2 November, host: Henk Barendregt)
 
   202 <LI> visit to Prof. Dale Miller in Paris (France, 28 September)
 
   204 <LI> visit to Prof. Dale Miller in Paris (France, 28 September)
 
   203 <LI> Talk (with Jeney) at ICLP in St Malo (France, 5 - 10 September) 
   205 <LI> Talk (with Jeney) at ICLP in St Malo (France, 5 - 10 September) 
   204 <LI> SOS workshop in London (30 August)
 
   206 <LI> SOS workshop in London (30 August)
 
   205 <LI> Course at <A href="http://esslli2004.loria.fr"
 
   207 <LI> Course at <A href="http://esslli2004.loria.fr"
 
   214      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] 
   216      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>] 
   215      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]
 
   217      [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]
 
   216 <LI> visit to Dr Claudia Faggian in Padova (Italy, 24 March) 
   218 <LI> visit to Dr Claudia Faggian in Padova (Italy, 24 March) 
   217 </UL>
 
   219 </UL>
 
   218 <H5>2003</H5>
 
   220 <H5>2003</H5>
 
   219 <UL>
 
   221 <UL class="striped">
 
   220 <LI> Talk in Oxford (24 November, host: Luke Ong)
 
   222 <LI> Talk in Oxford (24 November, host: Luke Ong)
 
   221 <LI> Talk in the theory seminar at the University of Kent (13 October, host: Stefan Kahrs)
 
   223 <LI> Talk in the theory seminar at the University of Kent (13 October, host: Stefan Kahrs)
 
   222 <LI> Talk at CSL & KGC 2003 Colloquium (Vienna, Austria, 22 - 30 August)
 
   224 <LI> Talk at CSL & KGC 2003 Colloquium (Vienna, Austria, 22 - 30 August)
 
   223 <LI> Talk (with Cheney) at UNIF 2003 workshop (Valencia, Spain, 7-13 June)
 
   225 <LI> Talk (with Cheney) at UNIF 2003 workshop (Valencia, Spain, 7-13 June)
 
   224 <LI> Talk at the festive <A HREF="http://www.cs.vu.nl/~terese/bookday.html">TeReSe-Bookday</A> 
   226 <LI> Talk at the festive <A HREF="http://www.cs.vu.nl/~terese/bookday.html">TeReSe-Bookday</A> 
   229 <LI> Talk in St Andrews (1 April, host: Roy Dyckhoff)
 
   231 <LI> Talk in St Andrews (1 April, host: Roy Dyckhoff)
 
   230 <LI> Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March)
 
   232 <LI> Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March)
 
   231 <LI> Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg)
 
   233 <LI> Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg)
 
   232 </UL>
 
   234 </UL>
 
   233 <H5>2002</H5>
 
   235 <H5>2002</H5>
 
   234 <UL> 
   236 <UL class="striped"> 
   235 <LI> Talk at <A HREF="http://www.cs.bham.ac.uk/~blc02/">BLC</A>
 
   237 <LI> Talk at <A HREF="http://www.cs.bham.ac.uk/~blc02/">BLC</A>
 
   236 (Birmingham, 12-14 September)
 
   238 (Birmingham, 12-14 September)
 
   237 <LI> <A HREF="http://www.cee.hw.ac.uk/~fairouz/automath2002/">Automath Workshop</A>
 
   239 <LI> <A HREF="http://www.cee.hw.ac.uk/~fairouz/automath2002/">Automath Workshop</A>
 
   238 (Edinburgh, 10-13 April)
 
   240 (Edinburgh, 10-13 April)
 
   239 <LI> <A HREF="http://iml.univ-mrs.fr/~li2002/">Logic & Interaction Weeks</A>
 
   241 <LI> <A HREF="http://iml.univ-mrs.fr/~li2002/">Logic & Interaction Weeks</A>
 
   240 (Marseille, 10 - 23 February)
 
   242 (Marseille, 10 - 23 February)
 
   241 </UL>
 
   243 </UL>
 
   242 <H5>2001</H5>
 
   244 <H5>2001</H5>
 
   243 <UL> 
   245 <UL class="striped"> 
   244 <LI> Linear Meeting in Bertinoro, Italy (22 - 25 April) 
   246 <LI> Linear Meeting in Bertinoro, Italy (22 - 25 April) 
   245 <LI> Talk at the <A HREF="http://www.ii.uj.edu.pl/zpi/tlca2001/">TLCA 2001</A> 
   247 <LI> Talk at the <A HREF="http://www.ii.uj.edu.pl/zpi/tlca2001/">TLCA 2001</A> 
   246      (Krakow, 2 - 5 May) 
   248      (Krakow, 2 - 5 May) 
   247 <LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July,
 
   249 <LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July,
 
   248      slides [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-rio.ps.gz">ps.gz</A>]) 
   250      slides [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-rio.ps.gz">ps.gz</A>]) 
   250 <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Marktoberdorf</A> 
   252 <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Marktoberdorf</A> 
   251 (24 July - 5 August)
 
   253 (24 July - 5 August)
 
   252 </UL>
 
   254 </UL>
 
   253 
   255 
   254 <H5>2000</H5>
 
   256 <H5>2000</H5>
 
   255 <UL> 
   257 <UL class="striped"> 
   256 <LI> Talk in the
 
   258 <LI> Talk in the
 
   257      <A HREF="http://www.pps.jussieu.fr/">Preuves, Programmes et Syst&egrave;mes Seminar</A>
 
   259      <A HREF="http://www.pps.jussieu.fr/">Preuves, Programmes et Syst&egrave;mes Seminar</A>
 
   258      in Paris (13 January, host: Pierre-Louis Curien)   
   260      in Paris (13 January, host: Pierre-Louis Curien)   
   259 <LI> Talk at LAMA in Chamb&eacute;ry, France (31 March)
 
   261 <LI> Talk at LAMA in Chamb&eacute;ry, France (31 March)
 
   260 <LI> <A HREF="http://users.comlab.ox.ac.uk/luke.ong/LINEAR2000/index.html">
 
   262 <LI> <A HREF="http://users.comlab.ox.ac.uk/luke.ong/LINEAR2000/index.html">
 
   267 <LI> Talk at the <A HREF="http://www.mathematik.uni-muenchen.de/~logik/abm.html">AMB Workshop</A> 
   269 <LI> Talk at the <A HREF="http://www.mathematik.uni-muenchen.de/~logik/abm.html">AMB Workshop</A> 
   268      in M&uuml;nchen, (21 - 22 December, host: Helmut Schwichtenberg) 
   270      in M&uuml;nchen, (21 - 22 December, host: Helmut Schwichtenberg) 
   269 </UL>
 
   271 </UL>
 
   270 
   272 
   271 <H5>1999</H5>
 
   273 <H5>1999</H5>
 
   272 <UL>
 
   274 <UL class="striped">
 
   273 <LI>  Talk in the Joint Theory Seminar of Imperial and QMW (London, 20 January, host: David Pym)   
   275 <LI>  Talk in the Joint Theory Seminar of Imperial and QMW (London, 20 January, host: David Pym)   
   274 <LI>  Proof and Computation Workshop in Leeds (12 - 13 February) 
   276 <LI>  Proof and Computation Workshop in Leeds (12 - 13 February) 
   275 <LI>  Talk at the <A HREF ="http://w3.dm.univaq.it/tlca99/">
 
   277 <LI>  Talk at the <A HREF ="http://w3.dm.univaq.it/tlca99/">
 
   276       Typed Lambda Calculi and Applications Conference (TLCA '99)</A>
 
   278       Typed Lambda Calculi and Applications Conference (TLCA '99)</A>
 
   277       in L'Aquila, Italy (7 - 9 April) 
   279       in L'Aquila, Italy (7 - 9 April) 
   280       <A HREF="http://www.cs.bham.ac.uk/research/xslam/dagstuhl/programme.html">
 
   282       <A HREF="http://www.cs.bham.ac.uk/research/xslam/dagstuhl/programme.html">
 
   281       Linear Logic and Applications</A> (Germany, 22 - 27 August)
 
   283       Linear Logic and Applications</A> (Germany, 22 - 27 August)
 
   282 </UL>
 
   284 </UL>
 
   283     
   285     
   284 <H5>1998</H5>
 
   286 <H5>1998</H5>
 
   285 <UL>
 
   287 <UL class="striped">
 
   286 <LI>  Talk at the <A HREF ="http://iml.univ-mrs.fr/~ehrhard/ll-hcm-1998.html">
 
   288 <LI>  Talk at the <A HREF ="http://iml.univ-mrs.fr/~ehrhard/ll-hcm-1998.html">
 
   287       Linear Logic and Typed Lambda-Calculus Workshop</A> in Marseille (6 - 10 April)  
   289       Linear Logic and Typed Lambda-Calculus Workshop</A> in Marseille (6 - 10 April)  
   288 <LI>  Talk at the TABLEAUX'98 Conference in Tilburg, the Netherlands (5 - 8 May)
 
   290 <LI>  Talk at the TABLEAUX'98 Conference in Tilburg, the Netherlands (5 - 8 May)
 
   289 <LI>  Mathfit Workshop on Concurrency in London (9 - 11 June)  
   291 <LI>  Mathfit Workshop on Concurrency in London (9 - 11 June)  
   290 <LI>  Talk in the Theory Seminar in St Andrews (July, host: Roy Dyckhoff)
 
   292 <LI>  Talk in the Theory Seminar in St Andrews (July, host: Roy Dyckhoff)
 
   292 <LI>  <A HREF ="http://pikas.inf.tu-dresden.de"> Talk at the AI Dep. in Dresden</A> 
   294 <LI>  <A HREF ="http://pikas.inf.tu-dresden.de"> Talk at the AI Dep. in Dresden</A> 
   293       (September)   
   295       (September)   
   294 </UL>
 
   296 </UL>
 
   295 
   297 
   296 <H5>1997</H5>
 
   298 <H5>1997</H5>
 
   297 <UL>
 
   299 <UL class="striped">
 
   298 <LI>  Talk at the 
   300 <LI>  Talk at the 
   299       <A HREF="http://orchid.inf.tu-dresden.de/gk-spezifikation/index.html">
 
   301       <A HREF="http://orchid.inf.tu-dresden.de/gk-spezifikation/index.html">
 
   300       Graduate College</A> Meeting held by the University in Dresden
 
   302       Graduate College</A> Meeting held by the University in Dresden
 
   301       (Reinhartsdorf/S&auml;chsische Schweiz, 17 - 21 February)
 
   303       (Reinhartsdorf/S&auml;chsische Schweiz, 17 - 21 February)
 
   302 <LI>  <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Summer School 
   304 <LI>  <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Summer School 
   304 <LI>  Problems and Advances in the Semantics of Linear Logic 
   306 <LI>  Problems and Advances in the Semantics of Linear Logic 
   305       (Utrecht, the Netherlands, 28 - 29 November)   
   307       (Utrecht, the Netherlands, 28 - 29 November)   
   306 </UL>
 
   308 </UL>
 
   307 
   309 
   308 <H5>1996</H5>
 
   310 <H5>1996</H5>
 
   309 <UL>
 
   311 <UL class="striped">
 
   310 <LI>  ELP'96 in Leipzig (Germany, 28 - 30 March) 
   312 <LI>  ELP'96 in Leipzig (Germany, 28 - 30 March) 
   311 <LI>  BCTCS 12 in Canterbury (1 - 4 April) 
   313 <LI>  BCTCS 12 in Canterbury (1 - 4 April) 
   312 <LI>  Research visit to the UPenn (Philadelphia, 9 May - 3 June)
 
   314 <LI>  Research visit to the UPenn (Philadelphia, 9 May - 3 June)
 
   313 <LI>  Meeting with 
   315 <LI>  Meeting with 
   314       <A HREF ="http://research.microsoft.com/~gmb/">Dr Gavin Bierman</A> and
 
   316       <A HREF ="http://research.microsoft.com/~gmb/">Dr Gavin Bierman</A> and
 
   315       Dr Martin Hyland in Cambridge (6 - 7 June)
 
   317       Dr Martin Hyland in Cambridge (6 - 7 June)
 
   316 <LI>  KI'96 in Dresden (17 - 19 September)
 
   318 <LI>  KI'96 in Dresden (17 - 19 September)
 
   317 </UL>     
   319 </UL>     
   318 
   320 
   319 <H5>1995</H5>
 
   321 <H5>1995</H5>
 
   320 <UL> 
   322 <UL class="striped"> 
   321 <LI>  Linear Logic and Applications Meeting in Cambridge (16 - 18 October) 
   323 <LI>  Linear Logic and Applications Meeting in Cambridge (16 - 18 October) 
   322 </UL>
 
   324 </UL>
 
   323 </TD>
 
   325 </TD>
 
   324 </TR>
 
   326 </TR>
 
   325 
   327 
   326  
   328  
   327 </TABLE>
 
   329 </TABLE>
 
   328 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 
   330 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 
   329 <!-- hhmts start -->
 
   331 <!-- hhmts start -->
 
   330 Last modified: Sat Oct 22 11:49:00 BST 2011
 
   332 Last modified: Sat Oct 22 11:53:32 BST 2011
 
   331 <!-- hhmts end -->
 
   333 <!-- hhmts end -->
 
   332 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 
   334 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 
   333 </BODY>
 
   335 </BODY>
 
   334 </HTML>
 
   336 </HTML>
public_html