FMCS 2015
Foundational Methods in Computer Science
June 4 - 7, 2015  

 

Participant list to date:

Steve Awodey
: CMU

Gershom Bazerman

Rick Blute: Ottawa

Joaquin Diaz Boils: Pontificia Universidad Católica

Ulrik Buchhotz: CMU

Kris Chambers: Ottawa

Robin Cockett: Calgary

Geoff Crutwell: Mount Allison

Darien DeWolf: Dalhousie

Jérôme Fortier: Ottawa

Jonathon Funk:    UWI

Pieter Hofstra: Ottawa

Weiyun Lu: Ottawa

Ernie Manes: UMass

Philip Mulry: Colgate

Keith O'Neill: Ottawa

Susan Niefield: Union

Raymond Puzio

Bob Rosebrugh: Mount Allison

Patrick Schultz: MIT

Robert Seely: McGill

Alanod Sibih: Dalhousie

David Spivak: MIT

Joshua Tan

Tarmo Uustalu: Tallinn University

Al Vilcius

Polina Vinogradova: Ottawa

Ryan Wisnesky: MIT