SCIENTIFIC PROGRAMS AND ACTIVITIES

August 29, 2014

26th Conference on the Mathematical Foundations of Programming Semantics
Conference Home page


May 6-10, 2010
University of Ottawa, 585 King Edward, Ottawa

Registration now on-site
Conference registration fee: $160 (CDN) and $100 CDN for students.
Banquet tickets (optional) $70 each


Final List of Participants:

Full Name University Name
Abramsky, Samson Oxford University
Ahmed, Amal Indiana University
Awodey, Steven Carnegie Mellon University
Basaldella, Michele Kyoto University
Berger, Ulrich University of Wales Swansea
Blute, Richard University of Ottawa
Brookes, Stephen Carnegie Mellon University
Brotherston, James Imperial College London
Bucciarelli, Antonio Universite Paris Diderot
Calderon, Ana C. University of Bath
Capretta, Venanzio University of Nottingham
Cimini, Matteo Reykjavik University
Clouston, Ranald University of Cambridge
Cockett, Robin University of Calgary
Cordy, Brendan Champlain College
Danos, Vincent University of Edinburgh
Datta, Anupam Carnegie Mellon University
Diepenveen, Emily University of Ottawa
Escardó, Martín University of Birmingham
Felty, Amy University of Ottawa
Feng, Johnny Tulane University/Naval Research Laboratory
Feret, Jérôme INRIA - Paris Rocquencourt
Fournet, Cédric Microsoft Research
Frydrychowicz, Maja McGill University
Galmiche, Didier LORIA - UHP Nancy 1
Garner, Richard University of Cambridge
Ghica, Dan University of Birmingham
Hamano, Masahiro Japan Science and Technology Agency
Harper, Robert Carnegie Mellon University
Hasegawa, Masahito Kyoto University
Hasuo, Ichiro Kyoto University
Hermida, Claudio Queen's University
Hildebrandt, Thomas IT University of Copenhagen
Hofstra, Pieter University of Ottawa
Jung, Achim University of Birmingham
Klinke, Olaf University of Birmingham
Knight, Sophia McGill University
Krishnan, Sanjeevi Naval Research Laboratory
Krivine, Jean CNRS & Université Paris 7
Larchey-Wendling, Dominique CNRS
Lucyshyn-Wright, Rory York University
Malherbe, Octavio University of Ottawa
Martin, Alan University of Ottawa
Martin, Keye Naval Research Laboratory
McCusker, Guy University of Bath
Meadows, Catherine US Naval Research Laboratory
Melličs, Paul-André CNRS Paris 7
Mislove, Michael Tulane University
Mogelberg, Rasmus IT University of Copenhagen
Murawski, Andrzej Oxford University
O'Hearn, Peter Queen Mary, University of London
Ouaknine, Joël Oxford University
Palamidessi, Catuscia INRIA
Panangaden, Prakash McGill University
Pientka, Brigitte McGill University
Pierce, Benjamin University of Pennsylvania
Redmond, Brian University of Calgary
Salami, Azar University of Ottawa
Sangiorgi, Davide INRIA and University of Bologna
Sassone, Vladimir University of Southampton
Schalk, Andrea University of Manchester
Schroeder, Matthias Universität der Bundeswehr München
Scott, Philip University of Ottawa
Selinger, Peter Dalhousie University
Sharkey, Ian University of Ottawa
Sistany, Bahman University of Ottawa
Smith, Alex University of Birmingham
Sousa, Marcelo Universiteit Utrecht
Tasson, Christine CEA
Tennent, Robert Queen's University
Valiron, Benoît University of Ottawa
Warren, Michael University of Ottawa
Weng, Jiangong University of Ottawa
Worrell, James University of Oxford

 


Back to top