Krivine20090414

From PLSwiki

Jump to: navigation, search

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?
Personal tools