equal
deleted
inserted
replaced
11 |
11 |
12 <h2>Past</h2> |
12 <h2>Past</h2> |
13 |
13 |
14 <h2>2013</h2> |
14 <h2>2013</h2> |
15 <ul class="striped"> |
15 <ul class="striped"> |
|
16 <li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) |
|
17 <li> Christian is at POPL (Rome, 23 - 25 January) |
|
18 <li> Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
|
19 <li> Visit by Michael Norrish from NICTA (19 - 22 July) |
16 <li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban) |
20 <li> Larry Paulson visits the SMAL group (16 July, hosts: Prof. Maribel Fernandez and Christian Urban) |
17 <li> Christian is at ITP (Rennes, 23 - 26 July) |
21 <li> Christian is at ITP (Rennes, 23 - 26 July) |
18 <li> Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August) |
22 <li> Visit by Xingyuan Zhang from the PLA University in Nanjing (27 July - 5 August) |
19 <li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October) |
|
20 </ul> |
|
21 |
|
22 <h2>2013</h2> |
|
23 <ul class="striped"> |
|
24 <li> Christian is at POPL (Rome, 23 - 25 January) |
|
25 <li> Christian is at NASA Langley (10 - 21 June, hosts: Dr Cesar Munoz and Dr Mahyar Malekpour) |
|
26 <li> Visit by Michael Norrish from NICTA (19 - 22 July) |
|
27 </ul> |
23 </ul> |
28 |
24 |
29 <h3>2012</h3> |
25 <h3>2012</h3> |
30 <ul class="striped"> |
26 <ul class="striped"> |
31 <li> Chunhan Wu joins the Nominal Group at King's (25 June) |
27 <li> Chunhan Wu joins the Nominal Group at King's (25 June) |