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 in Leicester (7 December, host: Dr Alexander Kurz) |
67 <li> Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
|
68 <li> ITP in Rennes (23 - 26 June) |
68 </ul> |
69 </ul> |
69 </TD> |
70 </TD> |
70 </TR> |
71 </TR> |
71 |
72 |
72 <TR> |
73 <TR> |
73 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
74 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
74 <H2>Old</H2> |
75 <H2>Old</H2> |
|
76 |
|
77 <H5>2013</H5> |
|
78 |
|
79 <ul class="striped"> |
|
80 <li> POPL in Rome (23 - 25 January) |
|
81 </ul> |
75 |
82 |
76 <H5>2012</H5> |
83 <H5>2012</H5> |
77 |
84 |
78 <ul class="striped"> |
85 <ul class="striped"> |
79 <li> Talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February) |
86 <li> Talk at the Nominal Sets Meet Automata Theory Workshop (Warsaw, 9 - 10 February) |
80 <li> Talk in Edinburgh (21 February, host: Dr James Cheney) |
87 <li> Talk in Edinburgh (21 February, host: Dr James Cheney) |
81 <li> Talk at ITP'12, Princeton (13 - 15, August) |
88 <li> Talk at ITP'12, Princeton (13 - 15, August) |
82 <li> Talk at Wessex Theory Seminar at Imperial (29 August, host: Dr Dirk Patinson) |
89 <li> Talk at Wessex Theory Seminar at Imperial (29 August, host: Dr Dirk Patinson) |
83 <li> ICFP (9 - 12 September, Copenhagen) |
90 <li> ICFP (9 - 12 September, Copenhagen) |
|
91 <li> Talk in Leicester (7 December, host: Dr Alexander Kurz) |
84 </ul> |
92 </ul> |
85 |
93 |
86 <H5>2011</H5> |
94 <H5>2011</H5> |
87 |
95 |
88 <ul class="striped"> |
96 <ul class="striped"> |