Program

All sessions will take place in Suite 3002 unless otherwise indicated.

Tuesday, August 15th

Tuesday's program is also available with abstracts or side by side with other meetings.

09:00‑10:00  Invited Talk

09:00

Eelco Visser (University of Utrecht) Dynamic rewrite rules [pdf]

10:00‑10:30  Break

10:30‑12:00  Session 1

10:30	Thomas Ehrhard and Olivier Laurent Embedding the finitary Pi-calculus in differential interaction nets
11:00	Caroline Priou Non-deterministic Bohm trees
11:30	Barry Jay Typing the pattern calculus

12:30‑14:00  Lunch break

14:00‑15:30  Session 2

14:00	Barry Jay Quantifying the benefits of sub-typing
14:30	Nao Hirokawa and Aart Middeldorp Uncurrying for termination
15:00	Shane O'Conchuir Proving PSN by simulating non-cal substitution with local substitution

15:30‑16:00  Break

16:00‑17:00  Invited Talk

16:00

Hugo Herbelin (INRIA Futurs) The duality of computation [pdf]