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