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