equal
deleted
inserted
replaced
304 <LI> Linear Meeting in Bertinoro, Italy (22 - 25 April) |
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> |
305 <LI> Talk at the <A HREF="http://www.ii.uj.edu.pl/zpi/tlca2001/">TLCA 2001</A> |
306 (Krakow, 2 - 5 May) |
306 (Krakow, 2 - 5 May) |
307 <LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July, |
307 <LI> Talk at the Natural Deduction meeting in Rio de Janeiro (30 June - 7 July, |
308 slides [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-rio.ps.gz">ps.gz</A>]) |
308 slides [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/slides-rio.ps.gz">ps.gz</A>]) |
309 <LI> Summer School |
309 <LI> Summer School Marktoberdorf (24 July - 5 August) |
310 <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Marktoberdorf</A> |
|
311 (24 July - 5 August) |
|
312 </ul> |
310 </ul> |
313 |
311 |
314 <H5>2000</H5> |
312 <H5>2000</H5> |
315 <ul class="striped"> |
313 <ul class="striped"> |
316 <LI> Talk in the |
314 <LI> Talk in the |
357 <ul class="striped"> |
355 <ul class="striped"> |
358 <LI> Talk at the |
356 <LI> Talk at the |
359 <A HREF="http://orchid.inf.tu-dresden.de/gk-spezifikation/index.html"> |
357 <A HREF="http://orchid.inf.tu-dresden.de/gk-spezifikation/index.html"> |
360 Graduate College</A> Meeting held by the University in Dresden |
358 Graduate College</A> Meeting held by the University in Dresden |
361 (Reinhartsdorf/Sächsische Schweiz, 17 - 21 February) |
359 (Reinhartsdorf/Sächsische Schweiz, 17 - 21 February) |
362 <LI> <A HREF="http://www4.informatik.tu-muenchen.de/div/summerschool/">Summer School |
360 <LI> Summer School Marktoberdorf on Computational Logic (29 July - 10 August) |
363 Marktoberdorf on Computational Logic</A> (29 July - 10 August) |
|
364 <LI> Problems and Advances in the Semantics of Linear Logic |
361 <LI> Problems and Advances in the Semantics of Linear Logic |
365 (Utrecht, the Netherlands, 28 - 29 November) |
362 (Utrecht, the Netherlands, 28 - 29 November) |
366 </ul> |
363 </ul> |
367 |
364 |
368 <H5>1996</H5> |
365 <H5>1996</H5> |