credits
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