2
+ − 1
<?xml version="1.0" encoding="utf-8"?>
+ − 2
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+ − 3
<HEAD>
+ − 4
<TITLE> Christian Urban </TITLE>
11
+ − 5
<script type="text/javascript" src="striper.js"></script>
3
+ − 6
<BASE HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">
2
+ − 7
</HEAD>
+ − 8
+ − 9
<BODY TEXT="#000000"
+ − 10
BGCOLOR="#4169E1"
+ − 11
LINK="#0000EF"
+ − 12
VLINK="#51188E"
11
+ − 13
ALINK="#FF0000"
+ − 14
ONLOAD="striper('ul','striped','li','first,second')">
2
+ − 15
+ − 16
<TABLE WIDTH="100%"
+ − 17
BGCOLOR="#4169E1"
+ − 18
BORDER="0"
+ − 19
FRAME="border"
+ − 20
CELLPADDING="10"
+ − 21
CELLSPACING="2"
+ − 22
RULES="all">
+ − 23
+ − 24
<!-- left column -->
+ − 25
<TR>
+ − 26
<TD BGCOLOR="#FFFFFF"
+ − 27
WIDTH="24%"
+ − 28
VALIGN="TOP"
+ − 29
ROWSPAN="2">
+ − 30
+ − 31
<B>Links</B><BR>
3
+ − 32
<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/">Home</A><BR>
+ − 33
<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/publications.html">Publications</A><BR>
+ − 34
<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/teaching.html">Teaching</A><BR>
+ − 35
<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/travelling.html">Recent Talks</A><BR>
2
+ − 36
<A HREF="http://isabelle.in.tum.de/nominal/">My Research Group</A>
+ − 37
<BR>
+ − 38
<BR>
+ − 39
+ − 40
<B>Handy Information</B><BR>
3
+ − 41
<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/logic.html">People in Logic</A><BR>
+ − 42
<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/programming.html">Programming Languages</A><BR>
+ − 43
<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/misc.html">Miscellaneous</A>
2
+ − 44
<BR><BR>
+ − 45
+ − 46
<A HREF="http://isabelle.in.tum.de/nominal/">
5
+ − 47
<IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left">
2
+ − 48
</A>
+ − 49
</TD>
+ − 50
+ − 51
+ − 52
<!-- right column -->
+ − 53
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
+ − 54
<H2>Talks and Travel Plans</H2>
11
+ − 55
<UL class="striped">
10
+ − 56
<li> Talk at Dyckhoff Fest (18 - 19 November)
2
+ − 57
</UL>
+ − 58
</TD>
+ − 59
</TR>
+ − 60
+ − 61
<TR>
+ − 62
<TD BGCOLOR="#FFFFFF" WIDTH="75%">
+ − 63
<H2>Old</H2>
+ − 64
+ − 65
<H5>2011</H5>
+ − 66
11
+ − 67
<UL class="striped">
10
+ − 68
<li> Talk at ITP'11 (22 - 25 August, Nijmegen)
+ − 69
<li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal)
2
+ − 70
<li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud)
+ − 71
<li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He)
+ − 72
<li> Talk at ESOP'11 (26 - 30 March, Saarbrücken)
+ − 73
<li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
+ − 74
<li> One-day <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-popl11/">tutorial</A>
+ − 75
on Nominal Isabelle at <A HREF="http://www.cse.psu.edu/popl/11/" target="_top">POPL 2011</A>
+ − 76
(21 January, Austin)
+ − 77
</UL>
+ − 78
+ − 79
+ − 80
<H5>2010</H5>
11
+ − 81
<UL class="striped">
2
+ − 82
<li> Isabelle/Isar tutorial at University Paris Sud (22 - 23 November, host: Dr Markus Wenzel)
+ − 83
<li> Talk about regular expressions and Myhill-Nerode in Cambridge (9 November)
+ − 84
<li> Talk at the University of Sussex (3 November, host: Dr Martin Berger)
+ − 85
<li> Invited Talk at WMM'10 (25 September)
+ − 86
<li> Talk at the Jiao Tong University (20 September, host: Prof. Kenny Zhu)
+ − 87
<li> Course on Isabelle Programming at the University of Nanjing
+ − 88
(host: Prof. Xingyuan Zhang, 1st - 31st August)
+ − 89
<li> Talk at ITP (Edinburgh, 11 - 14 July)
+ − 90
<li> Invited Talk at UNIF'10 (14 July)
+ − 91
<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)
+ − 92
<li> Talk in the Automated Reasoning Group in Cambridge (8 June)
+ − 93
<li> On the thesis committee of Clement Houtmann (Nancy, 12 March)
+ − 94
<li> Talk in the Automated Reasoning Group in Cambridge (16 February)
+ − 95
<li> POPL (20th - 22nd January)
+ − 96
</UL>
+ − 97
+ − 98
<H5>2009</H5>
11
+ − 99
<UL class="striped">
2
+ − 100
<li> Schloss Dagstuhl Seminar (4th - 9th October)
+ − 101
<li> visit to Dr James Cheney and ICFP & WMM (Edinburgh, 26th August - 5th September)
+ − 102
<li> Talk at Tsinghua University (22 May, host: Prof. Jean-Pierre Jouannaud)
+ − 103
<li> Isabelle course at the Chinese Academy of Sciences in Beijing (May/June, hosts: Prof. Huimin Lin
+ − 104
and Prof. Yongjian Li)
+ − 105
<li> Talk at Darmstadt (21 April, host: Prof. Helmut Veith)
+ − 106
<li> TAASN (PC member, 22 March, York)
+ − 107
<li> POPL (18th - 24th January)
+ − 108
</UL>
+ − 109
+ − 110
+ − 111
<H5>2008</H5>
11
+ − 112
<UL class="striped">
2
+ − 113
<LI> Research visit to Princeton University (15th September - 13th December, host: Prof. Andrew Appel)
10
+ − 114
<LI> <A HREF="http://www.csail.mit.edu/events/eventcalendar/calendar.php?show=event&id=2053">Talk</A>
2
+ − 115
at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer)
+ − 116
<LI> Talk at NYU (10th November, host Prof. Benjamin Goldberg)
+ − 117
<LI> Kick-off meeting of the
+ − 118
<A HREF="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA" target="_top">PUMA Doctoral Programme</A>
+ − 119
(28 September - 3 October, Spitzingsee)
+ − 120
<LI> Invited Talk at LSFA (26th August, Salvador, Brazil)
+ − 121
<LI> Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada)
+ − 122
<LI> <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-ijcar08/">Nominal Isabelle</A>
+ − 123
at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial
+ − 124
(11 August, Sydney)
+ − 125
<LI> A course on Nominal Isabelle at the
+ − 126
<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/">Oregon Summer School
+ − 127
on Logic and Theorem Proving in Programming Languages</A> (22 - 30 July, Eugene, 4h,
3
+ − 128
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon1.pdf">Slides 1</A>],
+ − 129
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon2.pdf">Slides 2</A>],
+ − 130
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/oregon3.pdf">Slides 3</A>],
2
+ − 131
[<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July25Lect3.wmv">Video 1</A>],
+ − 132
[<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July26Lect2.wmv">Video 2</A>],
+ − 133
[<A HREF="http://www.cs.uoregon.edu/research/summerschool/summer08/video/July24Lect1.wmv">Video 3</A>])
+ − 134
<LI> Talk at RTA (15 - 17 July, Hagenberg, Austria)
+ − 135
<LI> Talk at LICS (24 - 27 June, Pittsburgh)
+ − 136
<LI> Talk in Swansea (1 April, hosts: Prof. Roger Hindley, Dr Ulrich Berger)
+ − 137
<LI> Poster at TTVSI (25 - 26 March, London)
+ − 138
<LI> Talk at the CANS meeting (10 March, King's College London)
+ − 139
<LI> Talk at Imperial College London (6 March, host: Dr Philippa Gardner)
+ − 140
<LI> Talk at Yale University (24 January, New Haven, host: Prof. Zhong Shao)
+ − 141
<LI> Talk at Northeastern University (22 January, Boston, host: Prof. Mitchell Wand)
+ − 142
<LI> Invited Researcher at the Indiana University (January, Bloomington, host: Prof. Daniel Friedman)
+ − 143
<LI> POPL (7 - 12 January, San Francisco)
+ − 144
</UL>
+ − 145
+ − 146
<H5>2007</H5>
11
+ − 147
<UL class="striped">
2
+ − 148
<LI> Talks at the Saarbrücken University (13 - 14 December, host: Prof. Gerd Smolka)
+ − 149
<LI> Thesis examination of Dragisa Zunic (21. December, Lyon)
+ − 150
<LI> Talk at Workshop on Mechanizing Metatheory (Freiburg, 1 - 4 October)
+ − 151
<LI> TPHOLs (Kaiserslautern, 10 - 13 September)
+ − 152
<LI> Talks at CADE and LFMTP in Bremen (15 - 20 July)
+ − 153
<LI> Lecture course at the International School on Rewriting in Nancy (2 - 6 July)
+ − 154
<LI> Talk at LFCS in Edinburgh (29th May, host: Randy Pollack)
+ − 155
<LI> Talk at ICMS Workshop on Substitution and Naming in Computer Science
+ − 156
(26 - 28 May, Edinburgh)
+ − 157
<LI> Invited Researcher at the NICTA Institute in Canberra (5 - 24 May, host: Dr Michael Norrish)
+ − 158
<LI> Talk at St Andrews University (13th February, host: Dr Roy Dyckhoff)
+ − 159
<LI> CANS-workshop (19th March, London)
+ − 160
</UL>
+ − 161
+ − 162
<H5>2006</H5>
11
+ − 163
<UL class="striped">
2
+ − 164
<LI> Talk at the CANS-workshop (26th October, host: Prof. Andrew Pitts)
+ − 165
<LI> Talk in London (1st November, host: Prof. Edmund Robinson)
+ − 166
<LI> Talk in Amsterdam (15th Setptember, hosts: Prof. Jan Klop and Dr Femke van Raamsdonk)
+ − 167
<LI> visit to Prof. Henk Barendregt in Nijmegen (26th September)
+ − 168
<LI> Talk at IJCAR-Conference (16 - 21 August, Seattle)
+ − 169
<LI> Talk at LFMTP workshop (15th August, Seattle)
+ − 170
<LI> Meeting of all Emmy-Noether Fellows (21 - 24 July, Potsdam)
+ − 171
<LI> Talk at the CL&C Workshop (15 July, Venice)
+ − 172
<LI> Talk at the University of Frankfurt (22 June, host: Prof. Schmidt-Schauss)
+ − 173
<LI> Nominal-Sets Meeting in Cambridge (26 April)
+ − 174
<LI> Talk at the Types Workshop in Nottingham (18 - 21 April)
+ − 175
<LI> Winterhütte vom Lehrstuhl Broy (27 - 29 March)
+ − 176
<LI> Talk at PoplMark-Workshop (Charleston, South Carolina, 13 - 16 January)
+ − 177
</UL>
+ − 178
+ − 179
<H5>2005</H5>
11
+ − 180
<UL class="striped">
2
+ − 181
<LI> Talk in Edinburgh (25 January, host: Ian Stark)
+ − 182
<LI> Talk in Leicester (28 January, host: Neil Ghani)
+ − 183
<LI> Talk at King's College London (2 February, host: Maribel Fernandez)
+ − 184
<LI> Talk at RISC in Linz (3 March, host: Bruno Buchberger)
+ − 185
<LI> Talk at PPS in Paris (8 March, host: Pierre-Louis Curien)
+ − 186
<LI> Oberwolfach workshop on Proof Theory, Type Theory and Constructive Mathematics
+ − 187
(Germany, 20-26 March 2005)
+ − 188
<LI> Talk at Arbeitstagung Venedig (28 March - 2 April)
+ − 189
<LI> Talk at TLCA'05 in Nara (Japan, 21-23 April)
+ − 190
<LI> Talk at JAIST about Binding (Japan, 24 - 25 April, host: Rene Vestergaard)
+ − 191
<LI> Talk in Vienna on Cut-Elimination (4 - 6 July, host: Matthias Baaz)
+ − 192
<LI> Talk at CADE-20 in Tallinn (24 - 27 July)
+ − 193
<LI> Talk at MERLIN-3 in Tallinn (30 September)
+ − 194
<LI> Talk at Carnegie Mellon University (11 November, host: Frank Pfenning)
+ − 195
<LI> Course at University of Pennsylvania (9 - 21 November, hosts: Benjamin Pierce and Steve Zdancewic)
+ − 196
<LI> Course in Cambridge (5 - 8 December)
+ − 197
<LI> Talk at the Workshop on Computational Applications of
+ − 198
Nominal Sets in London (CANS, 6 December, hosts: Andrew Pitts and Maribel Fernandez)
+ − 199
</UL>
+ − 200
+ − 201
<H5>2004</H5>
11
+ − 202
<UL class="striped">
2
+ − 203
<LI> Talk on Binding in Isabelle/HOL (Nijmegen, The Netherlands, 1 - 2 November, host: Henk Barendregt)
+ − 204
<LI> visit to Prof. Dale Miller in Paris (France, 28 September)
+ − 205
<LI> Talk (with Jeney) at ICLP in St Malo (France, 5 - 10 September)
+ − 206
<LI> SOS workshop in London (30 August)
+ − 207
<LI> Course at <A href="http://esslli2004.loria.fr"
+ − 208
target="other">ESSLLI 2004 - The 16th European Summer School in
+ − 209
Logic, Language and Information</A>
+ − 210
Advanced Course on Nominal Reasoning (Nancy, France, 9-20 August)
+ − 211
<BR>
+ − 212
Slides of
3
+ − 213
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/MONDAY.pdf">Day 1</A>]
+ − 214
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/TUESDAY.pdf">Day 2</A>]
+ − 215
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/WEDNESDAY.pdf">Day 3</A>]
+ − 216
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/THURSDAY.pdf">Day 4</A>]
+ − 217
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/FRIDAY.pdf">Day 5</A>]
2
+ − 218
<LI> visit to Dr Claudia Faggian in Padova (Italy, 24 March)
+ − 219
</UL>
+ − 220
<H5>2003</H5>
11
+ − 221
<UL class="striped">
2
+ − 222
<LI> Talk in Oxford (24 November, host: Luke Ong)
+ − 223
<LI> Talk in the theory seminar at the University of Kent (13 October, host: Stefan Kahrs)
+ − 224
<LI> Talk at CSL & KGC 2003 Colloquium (Vienna, Austria, 22 - 30 August)
+ − 225
<LI> Talk (with Cheney) at UNIF 2003 workshop (Valencia, Spain, 7-13 June)
+ − 226
<LI> Talk at the festive <A HREF="http://www.cs.vu.nl/~terese/bookday.html">TeReSe-Bookday</A>
+ − 227
(Amsterdam, the Netherlands, 3 - 6 June, host: Jan Willem Klop, slides
3
+ − 228
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/amsterdam.ps">ps</A>]
+ − 229
[<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/amsterdam.pdf">pdf</A>])
2
+ − 230
<LI> Talk in Nijmegen (the Netherlands, 14 April, host: Henk Barendregt)
+ − 231
<LI> Talk in St Andrews (1 April, host: Roy Dyckhoff)
+ − 232
<LI> Talk at Workshop on Proof Theory and Algorithms (Edinburgh, 23 - 29 March)
+ − 233
<LI> Talk at LMU (Munich, 20 January, host: Helmut Schwichtenberg)
+ − 234
</UL>
+ − 235
<H5>2002</H5>
11
+ − 236
<UL class="striped">
2
+ − 237
<LI> Talk at <A HREF="http://www.cs.bham.ac.uk/~blc02/">BLC</A>
+ − 238
(Birmingham, 12-14 September)
+ − 239
<LI> <A HREF="http://www.cee.hw.ac.uk/~fairouz/automath2002/">Automath Workshop</A>
+ − 240
(Edinburgh, 10-13 April)
+ − 241
<LI> <A HREF="http://iml.univ-mrs.fr/~li2002/">Logic & Interaction Weeks</A>
+ − 242
(Marseille, 10 - 23 February)
+ − 243
</UL>
+ − 244
<H5>2001</H5>
11
+ − 245
<UL class="striped">
2
+ − 246
<LI> Linear Meeting in Bertinoro, Italy (22 - 25 April)
+ − 247
<LI> Talk at the <A HREF="http://www.ii.uj.edu.pl/zpi/tlca2001/">TLCA 2001</A>
+ − 248
(Krakow, 2 - 5 May)
+ − 249
<LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July,
3
+ − 250
slides [<A HREF="http://www.dcs.kcl.ac.uk/staff/urbanc/Slides/slides-rio.ps.gz">ps.gz</A>])
2
+ − 251
<LI> Summer School
+ − 252
<A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Marktoberdorf</A>
+ − 253
(24 July - 5 August)
+ − 254
</UL>
+ − 255
+ − 256
<H5>2000</H5>
11
+ − 257
<UL class="striped">
2
+ − 258
<LI> Talk in the
+ − 259
<A HREF="http://www.pps.jussieu.fr/">Preuves, Programmes et Systèmes Seminar</A>
+ − 260
in Paris (13 January, host: Pierre-Louis Curien)
+ − 261
<LI> Talk at LAMA in Chambéry, France (31 March)
+ − 262
<LI> <A HREF="http://users.comlab.ox.ac.uk/luke.ong/LINEAR2000/index.html">
+ − 263
Talk at the Linear Meeting in Oxford</a> (15 - 18 April)
+ − 264
<LI> Linear Working Meeting in Tende, France (10 - 14 June)
+ − 265
<LI> <A HREF="http://linear.di.fc.ul.pt">Linear Summer School Azores</A>, Portugal
+ − 266
(30 August - 7 September)
+ − 267
<LI> <A HREF="http://www-sop.inria.fr/oasis/Caminha00/index.html">APPSEM Summer School Caminha</A>,
+ − 268
Portugal (9 - 15 September)
+ − 269
<LI> Talk at the <A HREF="http://www.mathematik.uni-muenchen.de/~logik/abm.html">AMB Workshop</A>
+ − 270
in München, (21 - 22 December, host: Helmut Schwichtenberg)
+ − 271
</UL>
+ − 272
+ − 273
<H5>1999</H5>
11
+ − 274
<UL class="striped">
2
+ − 275
<LI> Talk in the Joint Theory Seminar of Imperial and QMW (London, 20 January, host: David Pym)
+ − 276
<LI> Proof and Computation Workshop in Leeds (12 - 13 February)
+ − 277
<LI> Talk at the <A HREF ="http://w3.dm.univaq.it/tlca99/">
+ − 278
Typed Lambda Calculi and Applications Conference (TLCA '99)</A>
+ − 279
in L'Aquila, Italy (7 - 9 April)
+ − 280
<LI> Linear Meeting in Edinburgh (3 - 7 June)
+ − 281
<LI> Schloss Dagstuhl Seminar:
+ − 282
<A HREF="http://www.cs.bham.ac.uk/research/xslam/dagstuhl/programme.html">
+ − 283
Linear Logic and Applications</A> (Germany, 22 - 27 August)
+ − 284
</UL>
+ − 285
+ − 286
<H5>1998</H5>
11
+ − 287
<UL class="striped">
2
+ − 288
<LI> Talk at the <A HREF ="http://iml.univ-mrs.fr/~ehrhard/ll-hcm-1998.html">
+ − 289
Linear Logic and Typed Lambda-Calculus Workshop</A> in Marseille (6 - 10 April)
+ − 290
<LI> Talk at the TABLEAUX'98 Conference in Tilburg, the Netherlands (5 - 8 May)
+ − 291
<LI> Mathfit Workshop on Concurrency in London (9 - 11 June)
+ − 292
<LI> Talk in the Theory Seminar in St Andrews (July, host: Roy Dyckhoff)
+ − 293
<LI> Talk at the Linear Meeting in Tende, France (8 - 11 September)
+ − 294
<LI> <A HREF ="http://pikas.inf.tu-dresden.de"> Talk at the AI Dep. in Dresden</A>
+ − 295
(September)
+ − 296
</UL>
+ − 297
+ − 298
<H5>1997</H5>
11
+ − 299
<UL class="striped">
2
+ − 300
<LI> Talk at the
+ − 301
<A HREF="http://orchid.inf.tu-dresden.de/gk-spezifikation/index.html">
+ − 302
Graduate College</A> Meeting held by the University in Dresden
+ − 303
(Reinhartsdorf/Sächsische Schweiz, 17 - 21 February)
+ − 304
<LI> <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Summer School
+ − 305
Marktoberdorf on Computational Logic</A> (29 July - 10 August)
+ − 306
<LI> Problems and Advances in the Semantics of Linear Logic
+ − 307
(Utrecht, the Netherlands, 28 - 29 November)
+ − 308
</UL>
+ − 309
+ − 310
<H5>1996</H5>
11
+ − 311
<UL class="striped">
2
+ − 312
<LI> ELP'96 in Leipzig (Germany, 28 - 30 March)
+ − 313
<LI> BCTCS 12 in Canterbury (1 - 4 April)
+ − 314
<LI> Research visit to the UPenn (Philadelphia, 9 May - 3 June)
+ − 315
<LI> Meeting with
+ − 316
<A HREF ="http://research.microsoft.com/~gmb/">Dr Gavin Bierman</A> and
+ − 317
Dr Martin Hyland in Cambridge (6 - 7 June)
+ − 318
<LI> KI'96 in Dresden (17 - 19 September)
+ − 319
</UL>
+ − 320
+ − 321
<H5>1995</H5>
11
+ − 322
<UL class="striped">
2
+ − 323
<LI> Linear Logic and Applications Meeting in Cambridge (16 - 18 October)
+ − 324
</UL>
+ − 325
</TD>
+ − 326
</TR>
+ − 327
+ − 328
+ − 329
</TABLE>
+ − 330
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 -->
+ − 331
<!-- hhmts start -->
11
+ − 332
Last modified: Sat Oct 22 11:53:32 BST 2011
2
+ − 333
<!-- hhmts end -->
+ − 334
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
+ − 335
</BODY>
+ − 336
</HTML>