Upcoming events

Past events

  • Foundational Methods in Computer Science (FMCS) 2017 was held in Ottawa, June 8-11. Anyone interested in attending or contributing a talk should contact the organizers, Richard Blute and myself. Here is the conference webpage.