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 the Inductive Theorem Proving Workshop (Imperial College, 23 - 24 November) |
67 <li> CREST Workshop (UCL, 24 - 25 March) |
68 <li> Talk at CPP'13 in Melbourne (11 - 13 December) |
|
69 </ul> |
68 </ul> |
70 </TD> |
69 </TD> |
71 </TR> |
70 </TR> |
72 |
71 |
73 <TR> |
72 <TR> |
81 <li> Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
80 <li> Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
82 <li> Talk at ITP'13 in Rennes (23 - 26 July) |
81 <li> Talk at ITP'13 in Rennes (23 - 26 July) |
83 <li> Pierre-Louis Curien Meeting in Venice (9 - 12 September) |
82 <li> Pierre-Louis Curien Meeting in Venice (9 - 12 September) |
84 <li> Talk in the Theory Seminar at QMUL (host: Dr Nikos Tzevelekos, 3 October) |
83 <li> Talk in the Theory Seminar at QMUL (host: Dr Nikos Tzevelekos, 3 October) |
85 <li> Talk at Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) |
84 <li> Talk at Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) |
|
85 <li> Talk at the Inductive Theorem Proving Workshop (Imperial College, 23 - 24 November) |
|
86 <li> Talk at CPP'13 in Melbourne (11 - 13 December) |
86 </ul> |
87 </ul> |
87 |
88 |
88 <H5>2012</H5> |
89 <H5>2012</H5> |
89 |
90 |
90 <ul class="striped"> |
91 <ul class="striped"> |