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> Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
67 <li> Talk at ITP'13 in Rennes (23 - 26 July) |
68 <li> ITP in Rennes (23 - 26 July) |
68 <li> Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) |
69 </ul> |
69 </ul> |
70 </TD> |
70 </TD> |
71 </TR> |
71 </TR> |
72 |
72 |
73 <TR> |
73 <TR> |
76 |
76 |
77 <H5>2013</H5> |
77 <H5>2013</H5> |
78 |
78 |
79 <ul class="striped"> |
79 <ul class="striped"> |
80 <li> POPL in Rome (23 - 25 January) |
80 <li> POPL in Rome (23 - 25 January) |
|
81 <li> Visit at NASA Research Center in Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
81 </ul> |
82 </ul> |
82 |
83 |
83 <H5>2012</H5> |
84 <H5>2012</H5> |
84 |
85 |
85 <ul class="striped"> |
86 <ul class="striped"> |