Program
|
 |
¤ Invited Speakers
¤ Special Sessions
- Security - organized by Catherine Maedows (NRL).
- Quantum Computing - organized by Prakash Panangaden (McGill), Mike Mislove (Tulane) and Peter Selinger (Dalhousie).
- Real Time Systems - organized by Joel Ouaknine (Oxford) and James Worrell (Oxford).
Details will be announced as they become available.
¤ Contributed talks
-
Local reasoning about tree updates,
Philippa Gardner and Uri Zarfaty
-
Typed Event Structures and the Pi-calculus,
Daniele Varacca and Nobuko Yoshida
-
Functors Defined by Values on Objects,
Daniela Cancila, Furio Honsell and Marina Lenisa
-
Efficient Patterns for Model Checking Partial State Spaces in CTL & LTL,
Adam Antonik and Michael Huth
-
Variables as resource for shared-memory programs: semantics and soundness,
Stephen Brookes
-
Algebraic information theory for binary channels,
Gerard Allwein, Ira Moskowitz and Keye Martin
-
Towards a calculus for wireless systems,
Nicola Mezzetti and Davide Sangiorgi
-
Monads and Adjunctions for Global Exceptions,
Paul Levy
-
The Linear Logical Abstract Machine,
Eduardo Bonelli
-
Computational Effects in Topological Domain Theory,
Ingo Battenfeld
-
Bunching for Regions and Locations,
Matthew Collinson and David Pym
-
Arrows, like Monads, are monoids,
Chris Heunen and Bart Jacobs
-
Strong Update, Disposal, and Encapsulation in Bunched Typing,
Josh Berdine and Peter O'Hearn
-
An Operational Domain-theoretic Treatment,
Weng Kin Ho
-
Priestley duality for strong proximity lattices,
Mohamed El-Zawawy and Achim Jung
-
Semantics for local computational effects,
John Power
-
On the observational theory of the CPS-calculus,
Massimo Merro and Corrado Biasi
|
|