equal
deleted
inserted
replaced
49 |
49 |
50 <!-- right column --> |
50 <!-- right column --> |
51 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
51 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
52 <H2>Talks and Travel Plans</H2> |
52 <H2>Talks and Travel Plans</H2> |
53 <UL> |
53 <UL> |
54 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal) |
54 <li> Talk at Dyckhoff Fest (18 - 19 November) |
55 <li> Talk at ITP'11 (22 - 25 August, Nijmegen) |
|
56 </UL> |
55 </UL> |
57 </TD> |
56 </TD> |
58 </TR> |
57 </TR> |
59 |
58 |
60 <TR> |
59 <TR> |
62 <H2>Old</H2> |
61 <H2>Old</H2> |
63 |
62 |
64 <H5>2011</H5> |
63 <H5>2011</H5> |
65 |
64 |
66 <UL> |
65 <UL> |
|
66 <li> Talk at ITP'11 (22 - 25 August, Nijmegen) |
|
67 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal) |
67 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) |
68 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) |
68 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He) |
69 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He) |
69 <li> Talk at ESOP'11 (26 - 30 March, Saarbrücken) |
70 <li> Talk at ESOP'11 (26 - 30 March, Saarbrücken) |
70 <li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow) |
71 <li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow) |
71 <li> One-day <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-popl11/">tutorial</A> |
72 <li> One-day <A HREF="http://isabelle.in.tum.de/nominal/activities/nominal-popl11/">tutorial</A> |
106 |
107 |
107 |
108 |
108 <H5>2008</H5> |
109 <H5>2008</H5> |
109 <UL> |
110 <UL> |
110 <LI> Research visit to Princeton University (15th September - 13th December, host: Prof. Andrew Appel) |
111 <LI> Research visit to Princeton University (15th September - 13th December, host: Prof. Andrew Appel) |
111 <LI> <A HREF="http://www.csail.mit.edu/events/eventcalendar/calendar.php?show=event&id=2053">Talk</A> |
112 <LI> <A HREF="http://www.csail.mit.edu/events/eventcalendar/calendar.php?show=event&id=2053">Talk</A> |
112 at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer) |
113 at MIT (21th November, hosts Prof. Martin Rinard and Dr Cameron Freer) |
113 <LI> Talk at NYU (10th November, host Prof. Benjamin Goldberg) |
114 <LI> Talk at NYU (10th November, host Prof. Benjamin Goldberg) |
114 <LI> Kick-off meeting of the |
115 <LI> Kick-off meeting of the |
115 <A HREF="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA" target="_top">PUMA Doctoral Programme</A> |
116 <A HREF="http://puma.in.tum.de/wiki/Doctorate_Program:_PUMA" target="_top">PUMA Doctoral Programme</A> |
116 (28 September - 3 October, Spitzingsee) |
117 (28 September - 3 October, Spitzingsee) |
324 |
325 |
325 |
326 |
326 </TABLE> |
327 </TABLE> |
327 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
328 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
328 <!-- hhmts start --> |
329 <!-- hhmts start --> |
329 Last modified: Mon Jul 11 14:49:50 CEST 2011 |
330 Last modified: Sat Oct 22 11:49:00 BST 2011 |
330 <!-- hhmts end --> |
331 <!-- hhmts end --> |
331 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
332 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
332 </BODY> |
333 </BODY> |
333 </HTML> |
334 </HTML> |