PRELIMINARY TIMETABLE



 
 
 

Aug31
Sept1
Sept2
Sept3
Sept4
Sept5
Sept6
8:45-9:30
Welcome 
Lafont
 
Scott
Abramsky
Abramsky
Abramsky
9:35-10:20
Girard
Lafont
F
Girard
Girard
Girard
Girard
 10:20-10:50  break  break R break  break break  break
10:50-11:35
Scott
Scott
E
Proof
Applic
Concur
Semantics
11:40-12:25
Scott
Scott
E
Proof
Applic
Concur
Semantics
 12:30-14:00  lunch  lunch   lunch lunch lunch lunch
14:00-14:45
Abramsky
Guerrini
D
Proof
Applic
Concur
Semantics
14:50-15:35
Abramsky
Guerrini
A
Proof
Applic
Concur
Semantics
 15:35-16:05  break break Y break break break break
16:05-16:50
Guerrini
Lafont
 
Discussion
Discussion
Discussion
Discussion
 16:55-17:40 Guerrini
Lafont
  Discussion Discussion Discussion Discussion