activities

With Olivier Roy and Mathieu Marion , I am organizing a workshop in Dynamic Logic in Montréal, June 19-22. See Dynamic Logic, Montréal.

Past activities:
  1. Paris-Amsterdam-Stanford Logic meetings in Stanford. May 2006.
  2. Recherches Québécoises en Logique . December 2005.