equal
deleted
inserted
replaced
10 BGCOLOR="#4169E1" |
10 BGCOLOR="#4169E1" |
11 LINK="#0000EF" |
11 LINK="#0000EF" |
12 VLINK="#51188E" |
12 VLINK="#51188E" |
13 ALINK="#FF0000" |
13 ALINK="#FF0000" |
14 ONLOAD="striper('ul','striped','li','first,second')"> |
14 ONLOAD="striper('ul','striped','li','first,second')"> |
15 |
15 <font face='Tahoma'> |
16 <TABLE WIDTH="100%" |
16 <TABLE WIDTH="100%" |
17 BGCOLOR="#4169E1" |
17 BGCOLOR="#4169E1" |
18 BORDER="0" |
18 BORDER="0" |
19 FRAME="border" |
19 FRAME="border" |
20 CELLPADDING="10" |
20 CELLPADDING="10" |
65 <H2>Talks and Travel Plans</H2> |
65 <H2>Talks and Travel Plans</H2> |
66 <ul class="striped"> |
66 <ul class="striped"> |
67 <li>Curry On and ECOOP (15 - 19 July, London)</li> |
67 <li>Curry On and ECOOP (15 - 19 July, London)</li> |
68 <li>ICFP (19 - 21, August, Berlin)</li> |
68 <li>ICFP (19 - 21, August, Berlin)</li> |
69 <li>Talk at Journeys in Computational Logic: Tributes to Roy Dyckhoff (3 September, London) |
69 <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> |
70 </ul> |
71 </ul> |
71 </TD> |
72 </TD> |
72 </TR> |
73 </TR> |
73 |
74 |
74 <TR> |
75 <TR> |
80 <li> ITP in Oxford (July)</li> |
81 <li> ITP in Oxford (July)</li> |
81 </ul> |
82 </ul> |
82 |
83 |
83 <H5>2017</H5> |
84 <H5>2017</H5> |
84 <ul class="striped"> |
85 <ul class="striped"> |
85 <li> Big Proof Meeting in Cambridge (Newton Institute, June - August) |
86 <li> Big Proof Meeting in Cambridge (Newton Institute, Cambridge, June - August) |
86 </ul> |
87 </ul> |
87 |
88 |
88 <H5>2016</H5> |
89 <H5>2016</H5> |
89 <ul class="striped"> |
90 <ul class="striped"> |
90 <li> Talk at the University of Kent (22 February, host Dr Scott Owens) |
91 <li> Talk at the University of Kent (22 February, host Dr Scott Owens) |
91 <li> Talk in SMAL group meeting (9 March) |
92 <li> Talk in SMAL group meeting (9 March, King's) |
92 <li> Talk at ITP'16 (Nancy) |
93 <li> Talk at ITP'16 (Nancy) |
93 </ul> |
94 </ul> |
94 |
95 |
95 |
96 |
96 <H5>2015</H5> |
97 <H5>2015</H5> |
399 </TR> |
400 </TR> |
400 |
401 |
401 |
402 |
402 </TABLE> |
403 </TABLE> |
403 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
404 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
404 <!-- hhmts start --> |
|
405 Last modified: Thu Dec 15 18:35:35 GMT 2011 |
|
406 <!-- hhmts end --> |
|
407 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
405 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
|
406 <font face='Tahoma'></font> |
408 </BODY> |
407 </BODY> |
409 </HTML> |
408 </HTML> |