equal
deleted
inserted
replaced
7 <link rel="stylesheet" href="nominal.css"> |
7 <link rel="stylesheet" href="nominal.css"> |
8 </head> |
8 </head> |
9 <body onload="striper('ul','striped','li','first,second')"> |
9 <body onload="striper('ul','striped','li','first,second')"> |
10 <h1>Our Old Activities</h1> |
10 <h1>Our Old Activities</h1> |
11 |
11 |
|
12 <h2>Past</h2> |
12 |
13 |
13 <h2>2013</h2> |
14 <h2>2013</h2> |
14 <ul class="striped"> |
15 <ul class="striped"> |
15 <li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban) |
16 <li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban) |
16 <li> Christian is at ITP (Rennes, 23 - 26 July) |
17 <li> Christian is at ITP (Rennes, 23 - 26 July) |
17 <li> Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August) |
18 <li> Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August) |
18 <li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) |
19 <li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) |
19 </ul> |
20 </ul> |
20 |
|
21 <h2>Past</h2> |
|
22 |
21 |
23 <h2>2013</h2> |
22 <h2>2013</h2> |
24 <ul class="striped"> |
23 <ul class="striped"> |
25 <li> Christian is at POPL (Rome, 23 - 25 January) |
24 <li> Christian is at POPL (Rome, 23 - 25 January) |
26 <li> Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
25 <li> Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |