equal
deleted
inserted
replaced
62 |
62 |
63 <!-- right column --> |
63 <!-- right column --> |
64 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
64 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
65 <H2>Talks and Travel Plans</H2> |
65 <H2>Talks and Travel Plans</H2> |
66 <ul class="striped"> |
66 <ul class="striped"> |
67 <li> Talk at Dyckhoff Fest (18 - 19 November) |
67 <li> Talk in Edinburgh (21 February, host: Dr James Cheney) |
68 <li> Talk at Nominal Workshop in Leicester (23 November) |
|
69 </ul> |
68 </ul> |
70 </TD> |
69 </TD> |
71 </TR> |
70 </TR> |
72 |
71 |
73 <TR> |
72 <TR> |
75 <H2>Old</H2> |
74 <H2>Old</H2> |
76 |
75 |
77 <H5>2011</H5> |
76 <H5>2011</H5> |
78 |
77 |
79 <ul class="striped"> |
78 <ul class="striped"> |
|
79 <li> Talk at Nominal Workshop in Leicester (23 November) |
|
80 <li> Talk at Dyckhoff Fest (18 - 19 November) |
80 <li> Talk at ITP'11 (22 - 25 August, Nijmegen) |
81 <li> Talk at ITP'11 (22 - 25 August, Nijmegen) |
81 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal) |
82 <li> Talk at ITU, Copenhagen (15 August, host: Prof. Lars Birkedal) |
82 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) |
83 <li> Talk at Tsinghua (28 April - 8 May, host: Prof. Jean-Pierre Jouannaud) |
83 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He) |
84 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He) |
84 <li> Talk at ESOP'11 (26 - 30 March, Saarbrücken) |
85 <li> Talk at ESOP'11 (26 - 30 March, Saarbrücken) |
340 |
341 |
341 |
342 |
342 </TABLE> |
343 </TABLE> |
343 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
344 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
344 <!-- hhmts start --> |
345 <!-- hhmts start --> |
345 Last modified: Sun Nov 20 22:48:00 GMT 2011 |
346 Last modified: Thu Dec 15 18:35:35 GMT 2011 |
346 <!-- hhmts end --> |
347 <!-- hhmts end --> |
347 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
348 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
348 </BODY> |
349 </BODY> |
349 </HTML> |
350 </HTML> |