Chair
|
Wednesday March 19, 2003
|
|
9:30 - 15:00
|
Registration - Room 5345
|
|
J. Lawson
|
14:00 - 14:50
|
Invited Speaker
M. Mislove (Tulane) |
Special Session on
Domain Theory |
||
14:50 - 15:30
|
A. Edalat (Imperial)
|
|
15:30 Coffee break - Room 6245
|
||
A. Jung
|
16:00 - 16:40
|
M. Escardo (Birmingham)
|
16:40 - 17:20
|
K. Hofmann (Darmstadt)
|
|
17:20 - 18:00
|
K. Keimel (Darmstadt)
|
|
Welcoming reception - Room 6245
|
Chair
|
Thursday March 20, 2003
|
|
G. Plotkin
|
9:30 - 10:30
|
Invited Speaker
M. Fiore (Cambridge) |
10:30 11:00
|
D. Hughes (Standford)
"A construction subsuming the Chu construction" |
|
11:00 Coffee break
|
||
M. Escardo
|
11:30 - 12:00
|
G.-Q. Zhang
(Case Western Reserve) "Chu spaces, concept lattices and domains" |
|
12:00 - 12:30
|
P. Waszkiewicz (Jagiellonian)
"How do domains model topologies?" |
12:30 Lunch
|
||
M. Mislove
|
14:00 - 15:00
|
Invited Speaker
N. Lynch (MIT) |
Special Session on
Hybrid Systems |
||
15:00 - 15:30
|
A Edalat (Imperial)
|
|
15:30 Coffee break |
||
P. Panangaden
|
16:00 - 16:40
|
E. Klavins (Caltech)
|
16:40 - 17:20
|
S. Thrun (CMU)
|
Chair
|
Friday March 21, 2003
|
|
P. Panangaden
|
9:30 - 10:30
|
Invited Speaker
V. Danos (Paris VII) |
|
10:30 - 11:00
|
J. Bean (Queen Mary, London)
"Ribbon proofs" |
11:00 Coffee break (room 6245)
|
||
A. Jeffrey
|
11:30 - 12:00
|
G. McCusker (COGS, Sussex)
"On the semantics of the bad-variable constructor in Algol-like languages" |
|
12:00 - 12:30
|
Y . Chen (Leicester)
"Imperative programming of resource cumulation" |
12:30 Lunch
|
||
K. Kiemel
|
14:00 - 15:00
|
Invited Speaker
J. Lawson (Louisiana State) |
|
15:00 - 15:30
|
B. Coeke (Oxford)
"Entropic Geometry from Logic" |
15:30 Coffee break
|
||
P. Panangaden
|
16:00 - 16:30
|
R. Negulescu (McGill)
"Generic Transforms on Incomplete Specifications of Asynchronous Interfaces" |
|
Special Session on
Probability |
|
|
16:30 - 17:00
|
F. van Breugel (York)
|
|
17:00 - 17:30
|
J. Desharnais (Laval)
|
19:30 Banquet
|
Chair
|
Saturday March 22, 2003
|
|
S. Brookes
|
9:30 - 10:30
|
Invited Speaker
G. Plotkin (Edinburgh) |
|
10:30 - 11:00
|
E. Chen (Edinburgh)
"Pseudo-distributive laws" |
11:00 Coffee break (room 6245)
|
||
|
11:30 - 12:00
|
A. Jeffrey (DePaul)
"Contextual equivalence for higher-order pi-calculus revisited" |
|
12:00 - 12:30
|
M . Hennessy (Sussex)
"The Security pi-calculus and non-interference" |
12:30 Lunch
|
||
C. Meadows
|
14:00 - 15:00
|
Invited Speaker
J. Millen (SRI) |
|
Special Session on
Security |
|
|
15:00 - 15:30
|
V. Shmatikov (SRI)
"What does it mean to ne anonymous?" |
15:30 Coffee break
|
||
J. Millen
|
16:00 - 16:30
|
C. Meadows (NRL)
"Formal Specifications and Analysis of the Group Domain of Interpretation protocol Using NPATRL and the NRL Protocol Analyzer" |
|
16:30 - 17:00
|
M. Debabi (Laval)
"Security by Typing" |
|
17:00 - 17:30
|
S. Zdancewic (Pennsylvania)
"A Type system for Robust Declassification" |
|
17:30 - 18:00
|
D. Pavolvic (Kestrel)
"Reuse of generic refinement patterns in protocol derivation" |