The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Isaac Newton Institute for Mathematical Sciences

List of invited participants

for the workshop New Directions in Proof Complexity

NameInstitutionvisit datesConf
Aehlig, K Universitaet Muenchen9 Apr - 14 AprY
Alechina, N University of Nottingham10 Apr - 14 AprY
Alekhnovich, M University of California10 Apr - 14 AprY
Atserias, A A Universitat Politecnica de Catalunya9 Apr - 14 AprY
Beckmann, A University of Wales, Swansea9 Apr - 14 AprY
Bierman, G Microsoft Research Cambridge10 Apr - 14 AprY
Bonet , ML Universidad Politecnica de Catalunya10 Apr - 14 AprY
Brihaye, T Universite de Mons-Hainaut10 Apr - 13 AprY
Buresh-Oppenheim, J Simon Fraser University9 Apr - 14 AprY
Buss, S University of California10 Apr - 14 AprY
Cardelli, L Microsoft Research Cambridge10 Apr - 14 AprY
Cavagnetto, S Mathematical Institute, Academy of Sciences9 Apr - 14 AprY
Cook, B Microsoft Research Cambridge10 Apr - 14 AprY
Cook, S University of Toronto10 Apr - 14 AprY
Dantchev, S University of Durham10 Apr - 14 AprY
Dawar, A University of Cambridge10 Apr - 14 AprY
Dempster, M University of Cambridge10 Apr - 14 AprY
Fiore, M University of Cambridge10 Apr - 14 AprY
Fournet, C Microsoft Research Cambridge10 Apr - 14 AprY
Galesi, N Universita di Roma "La Sapienza"9 Apr - 14 AprY
Gordon, A Microsoft Research Cambridge10 Apr - 14 AprY
Gordon, M University of Cambridge10 Apr - 14 AprY
Griffin, T University of Cambridge10 Apr - 14 AprY
Hella , L University of Tampere10 Apr - 14 AprY
Hoare, T Microsoft Research Cambridge10 Apr - 14 AprY
Hodges, W Queen Mary, University of London10 Apr - 14 AprY
Hunter, P University of Cambridge10 Apr - 13 AprY
Hyland, M University of Cambridge10 Apr - 14 AprY
Impagliazzo, R University of California10 Apr - 13 AprY
Jerabek, E University of Toronto9 Apr - 14 AprY
Johannsen, J Institut fuer Informatik9 Apr - 14 AprY
Kolokolova, A Simon Fraser University9 Apr - 14 AprY
Krajicek, J Prague10 Apr - 14 AprY
Kreutzer, S Humboldt-Universitat zu Berlin10 Apr - 14 AprY
Kulesza, K University of Cambridge10 Apr - 14 AprY
Kullmann, O University of Wales, Swansea9 Apr - 14 AprY
Latte, M Ludwig-Maximilians-University9 Apr - 14 AprY
Markstrom, K Umea University9 Apr - 14 AprY
Martin, B University of Durham10 Apr - 14 AprY
Martin, U Queen Mary, University of London10 Apr - 14 AprY
Michaux, C Universite de Mons-Hainaut10 Apr - 14 AprY
Mildmann, T University of Bristol10 Apr - 14 AprY
Nain, S Rice University10 Apr - 14 AprY
Naumov, P McDaniel College, Maryland9 Apr - 14 AprY
Nguyen, P University of Toronto9 Apr - 14 AprY
Nordstrom, J KTH Computer Science and Communication9 Apr - 14 AprY
Perron, S University of Toronto9 Apr - 14 AprY
Pitassi, T University of Toronto8 Apr - 13 AprY
Pitts, A University of Cambridge10 Apr - 14 AprY
Pollett, C SJSU9 Apr - 14 AprY
Pudlak, P Mathematical Institute, AS CR10 Apr - 14 AprY
Riis, S Queen Mary, University of London9 Apr - 13 AprY
Rozier, KY Rice University10 Apr - 13 AprY
Segerlind, N University of Toronto9 Apr - 14 AprY
Skelley, A Mathematical Institute A V CR9 Apr - 14 AprY
Soltys, M McMaster University9 Apr - 14 AprY
Stewart, I A University of Durham10 Apr - 14 AprY
Tabakov, D Rice University10 Apr - 13 AprY
Thapen, N D Prague9 Apr - 14 AprY
Tzameret, I Tel Aviv University9 Apr - 15 AprY
Vaananen, J University of Helsinki10 Apr - 14 AprY
Vardi, M Rice University10 Apr - 14 AprY
Vorobyov, S Uppsala University10 Apr - 14 AprY
Winskel, G University of Cambridge10 Apr - 14 AprY
Wu, T Queen Mary, University of London10 Apr - 13 AprY
Zenil, H University of Paris9 Apr - 14 AprY

Back to Top

Webmaster
Copyright © 1996 Isaac Newton Institute.
Updated at 08:19 AM on 03 April 2006