FMCS 2007
Foundational Methods in Computer Science
June 8, 9, 10, 2007  



Participants

Steve Awodey   
Carnegie Mellon University

Steve Bloom   
Stevens Institute of Technology

Rick Blute   
University of Ottawa

Robin Cockett   
University of Calgary

Marc Comeau   
University of Ottawa

Francois Dupressoir
University of Calgary

Kim Flak   
University of Ottawa

Henrik Forssell   
Carnegie Mellon University

Liana Hadarean
Colgate University

Pieter Hofstra   
University of Ottawa

Paul Hudak   
Yale University

David Jakel   
Syracuse University

John L. MacDonald 
University of Vancouver

Ernie Manes   
University of Massachusetts

Ed Morehouse   
Wesleyan University

Philip Mulry   
Colgate University

Sean Nichols   
University of Calgary

Susan Niefield     
Union College

Brendan Pavalow
Colgate University

Bob Rosebrugh    
Mount Allison University

Jim Royer   
Syracuse University

Robert Seely   
McGill University

Jaime Spacco   
Colgate University

Colin Twomey
Colgate University

Zippie Arzi-Gonczarowski
Typographics Ltd.