Krivine20090414
From PLSwiki
Jean Krivine visit 14-17.04.2009
| Time | Tuesday 14.04.2009 | Place |
|---|---|---|
| 13:00 - 16:00 | BPL/biomodelling: Arne, Espen, Thomas?, Søren |
| Time | Wednesday 15.04.2009 | Place |
|---|---|---|
| 09:00 - 12:00 | BPL/biomodelling: Arne, Espen, Thomas?, Søren? | |
| 12:00 - 13:00 | Lunch | n/a |
| 13:00 - 14:00 | ||
| 14:00 - 15:00 | ||
| 15:00 - 16:00 | ||
| 16:00 - 17:00 |
| Time | Thursday 16.04.2009 | Place |
|---|---|---|
| 09:00 - 10:00 | ||
| 10:00 - 11:00 | ||
| 11:00 - 12:00 | ||
| 12:00 - 13:00 | Lunch | n/a |
| 13:00 - 14:00 | BPL/biomodelling: Arne, Espen, Thomas?, Søren? | |
| 15:00 - 16:00 | Krivine Talk: Reversible process algebra | Aud 3 |
| 16:00 - 17:00 |
| Time | Friday 17.04.2009 | Place |
|---|---|---|
| 09:00 - 10:00 | ||
| 10:00 - 11:00 | ||
| 11:00 - 12:00 | ||
| 12:00 - 13:00 | Lunch | n/a |
| 13:00 - 15:00 | BPL/biomodelling: Arne, Espen, Thomas?, Søren? |
