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>ITP in Oxford (July)</li> |
67 <li>Curry On and ECOOP (15 - 19 July, London)</li> |
|
68 <li>ICFP (19 - 21, August, Berlin)</li> |
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> |
75 |
76 |
|
77 <H5>2018</H5> |
|
78 <ul class="striped"> |
|
79 <li> ITP in Oxford (July)</li> |
|
80 </ul> |
|
81 |
76 <H5>2017</H5> |
82 <H5>2017</H5> |
77 |
|
78 <ul class="striped"> |
83 <ul class="striped"> |
79 <li> Big Proof Meeting in Cambridge (Newton Institute, June - August) |
84 <li> Big Proof Meeting in Cambridge (Newton Institute, June - August) |
80 </ul> |
85 </ul> |
81 |
86 |
82 <H5>2016</H5> |
87 <H5>2016</H5> |
83 |
|
84 <ul class="striped"> |
88 <ul class="striped"> |
85 <li> Talk at the University of Kent (22 February, host Dr Scott Owens) |
89 <li> Talk at the University of Kent (22 February, host Dr Scott Owens) |
86 <li> Talk in SMAL group meeting (9 March) |
90 <li> Talk in SMAL group meeting (9 March) |
87 <li> Talk at ITP'16 (Nancy) |
91 <li> Talk at ITP'16 (Nancy) |
88 </ul> |
92 </ul> |
89 |
93 |
90 |
94 |
91 <H5>2015</H5> |
95 <H5>2015</H5> |
92 |
|
93 <ul class="striped"> |
96 <ul class="striped"> |
94 <li> S-REPLS 2 (20 November, London) |
97 <li> S-REPLS 2 (20 November, London) |
95 <li> ITP (21 - 28 August, Nanjing) |
98 <li> ITP (21 - 28 August, Nanjing) |
96 <li> CADE (4 - 6 August, Berlin) |
99 <li> CADE (4 - 6 August, Berlin) |
97 <li> Viva examination (7 July, Leicester) |
100 <li> Viva examination (7 July, Leicester) |