Tuesday, April 17th |
|
|
|
9.30 - 10.10 |
|
Resource access control in systems of mobile agents, |
|
|
Matthew Hennessy |
10.30 - 11.10 |
|
Origin tracking in orthogonal term rewriting systems, |
|
|
J.W. Klop |
11.10 - 11.50 |
|
Tile Formats for Located and Mobile Systems, |
|
|
Gianluigi Ferrari |
|
|
12.45-14.00 |
|
Lunch |
|
|
|
14.00 - 14.40 |
|
A Concurrent Object Calculus, |
|
|
Andy Gordon |
14.40 - 15.20 |
|
Bisimulation congruences for Action Calculi, |
|
|
James Leifer |
15.40 - 16.20 |
|
From Rewrite Rules to Bisimulation Congruences, |
|
|
Peter Sewell |
16.20 - 17.00 |
|
A conceptual view of weak bisimulation, |
|
|
Marcelo Fiore |
Monday, September 14 |
|
|
|
9h - 9h45 |
|
The Join Calculus from a Functional Perspective |
|
|
Martin Odersky |
9h45 - 10h30 |
|
From the Join-Calculus to a Class-Based,
Concurrent OO Language |
|
|
Didier Remy |
|
|
|
10h30 - 11h |
|
pause |
|
|
|
11h - 11h30 |
|
Communication Infrastructure for Mobile Agents:
Calculi for Algorithms |
|
|
Peter Sewell |
11h30 - 12h |
|
Fusion Particles: Symmetrically Asynchronous
Mobile Processes |
|
|
Bjorn Victor |
|
|
|
12.00-14.00 |
|
Lunch |
|
|
|
14h - 14h45 |
|
Static Analysis of Concurrent Programs, with
Applications |
|
|
(application to the Ariane 5 on-board programs) |
|
|
Alain Deutsch |
14h45 - 15h30 |
|
Final Semantics for the Pi-Calculus |
|
|
Ugo Montanari |
|
|
|
15h30 - 16h |
|
pause |
|
|
|
16h - 16h45 |
|
Towards Certified Byte-Code Verification and
Proof-Carrying Code |
|
|
Pascal Brisset |