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 </ul> |
|
68 </TD> |
|
69 </TR> |
|
70 |
|
71 <TR> |
|
72 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
|
73 <H2>Old</H2> |
|
74 <H5>2019</H5> |
|
75 <ul class="striped"> |
67 <li>Curry On and ECOOP (15 - 19 July, London)</li> |
76 <li>Curry On and ECOOP (15 - 19 July, London)</li> |
68 <li>ICFP (19 - 21, August, Berlin)</li> |
77 <li>ICFP (19 - 21, August, Berlin)</li> |
69 <li>Talk at Journeys in Computational Logic: Tributes to Roy Dyckhoff (3 September, London) |
78 <li>Talk at Journeys in Computational Logic: Tributes to Roy Dyckhoff (3 September, London) |
70 <li>VeTSS Workshop (24 - 25 September, Newton Institute, Cambridge)</li> |
79 <li>VeTSS Workshop (24 - 25 September, Newton Institute, Cambridge)</li> |
71 <li>Functional Scala (12 - 13 December, National Gallery, London)</li> |
80 <li>Functional Scala (12 - 13 December, National Gallery, London)</li> |
72 </ul> |
81 </ul> |
73 </TD> |
82 |
74 </TR> |
|
75 |
|
76 <TR> |
|
77 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
|
78 <H2>Old</H2> |
|
79 |
83 |
80 <H5>2018</H5> |
84 <H5>2018</H5> |
81 <ul class="striped"> |
85 <ul class="striped"> |
82 <li> ITP in Oxford (July)</li> |
86 <li> ITP in Oxford (July)</li> |
83 </ul> |
87 </ul> |