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 Games and Verification

NameInstitutionvisit datesConf
Alechina, N University of Nottingham3 Jul - 7 JulY
Altenbernd, J RWTH - Aachen2 Jul - 7 JulY
Alur, R University of Pennsylvania3 Jul - 7 JulY
Apt, KR CWI3 Jul - 4 JulY
Arratia Quesada, A Universidad de Valladolid2 Jul - 7 JulY
Barany, V RWTH Aachen2 Jul - 7 JulY
Berwanger, D Universite Bordeaux 12 Jul - 7 JulY
Björklund, H University of Dortmund2 Jul - 7 JulY
Bojanczyk, M Warsaw University3 Jul - 7 JulY
Brihaye, T Universite de Mons-Hainaut3 Jul - 7 JulY
Cabessa, J Université de Lausanne3 Jul - 7 JulY
Cachat, T Université Denis Diderot3 Jul - 7 JulY
Caucal, D IRISA-CNRS2 Jul - 8 JulY
Colcombet, T IRISA2 Jul - 7 JulY
Cristau, J Laboratoire d'Informatique Algorithmique2 Jul - 7 JulY
David, C Laboratoire d'Informatique Algorithmique2 Jul - 7 JulY
Dawar, A University of Cambridge3 Jul - 7 JulY
Dicky, A University of Bordeaux 12 Jul - 7 JulY
Diekert, V Universitat Stuttgart, FMI3 Jul - 7 JulY
Duparc, J Universite de Lausanne2 Jul - 7 JulY
Esparza, J Universität Stuttgart2 Jul - 7 JulY
Etessami, K University of Edinburgh3 Jul - 7 JulY
Fischer, D RWTH Aachen2 Jul - 7 JulY
Fournet, C Microsoft Research Cambridge3 Jul - 7 JulY
Fröschle, S Warsaw University2 Jul - 7 JulY
Ganzow, T RWTH Aachen2 Jul - 7 JulY
Gastin , P Laboratoire Spécification et Vérification3 Jul - 7 JulY
Gimbert, H Warsaw University2 Jul - 7 JulY
Goranko, V University of the Witwatersrand2 Jul - 7 JulY
Gottlob, G University of Oxford2 Jul - 7 JulY
Grädel, E Aachen University2 Jul - 7 JulY
Hague, M University of Oxford3 Jul - 7 JulY
Hella , L University of Tampere3 Jul - 7 JulY
Horn, F Laboratoire d'Informatique Algorithmique2 Jul - 7 JulY
Hunter, P University of Cambridge3 Jul - 7 JulY
Immerman, N University of Massachusetts3 Jul - 7 JulY
Janin, D J Université Bordeaux-12 Jul - 7 JulY
Jonsson, B Uppsala University3 Jul - 7 JulY
Jurdzinski, M University of Warwick3 Jul - 7 JulY
Kaiser, L RWTH Aachen2 Jul - 7 JulY
Karianto, W RWTH Aachen2 Jul - 7 JulY
Kopczynski, E Uniwersytet Warszawski2 Jul - 7 JulY
Krajicek, J Prague3 Jul - 7 JulY
Krcal, P Uppsala University2 Jul - 7 JulY
Kreutzer, S Humboldt-Universitat zu Berlin3 Jul - 7 JulY
Kulesza, K University of Cambridge3 Jul - 7 JulY
Lange, M University of Munich2 Jul - 7 JulY
Lasota, S Warsaw University4 Jul - 7 JulY
Lazic, R University of Warwick2 Jul - 7 JulY
Loeding, C RWTH Aachen3 Jul - 7 JulY
Lynch, JF Clarkson University3 Jul - 7 JulY
Martin, B University of Durham5 Jul - 7 JulY
Martin, U Queen Mary, University of London3 Jul - 7 JulY
Marx, M J Universiteit van Amsterdam3 Jul - 7 JulY
Mendler, M University of Bamberg2 Jul - 7 JulY
Michaux, C Universite de Mons-Hainaut3 Jul - 7 JulY
Mitchell, D Simon Fraser University3 Jul - 7 JulY
Moller, F University of Wales, Swansea3 Jul - 7 JulY
Monderer, D Technion2 Jul - 6 JulY
Murawski, A University of Oxford2 Jul - 7 JulY
Murlak, F Warsaw University2 Jul - 7 JulY
Muscholl, A Université Paris 72 Jul - 7 JulY
Nain, S Rice University3 Jul - 7 JulY
Niwinski, D Warsaw university3 Jul - 7 JulY
Obdrzalek, J Masaryk University, Brno2 Jul - 7 JulY
Ong, L University of Oxford3 Jul - 7 JulY
Otto, M Darmstadt University of Technology3 Jul - 7 JulY
Pin, JE LIAFA3 Jul - 7 JulY
Quickert, S University of Edinburgh3 Jul - 7 JulY
Rozier, KY Rice University3 Jul - 7 JulY
Samuelides, M Universite Denis Diderot3 Jul - 7 JulY
Schwentick, T Universität Dortmund - Lehrstuhl Informatik I3 Jul - 7 JulY
Segoufin, L INRIA3 Jul - 7 JulY
Serre, O Université Paris 72 Jul - 7 JulY
Sistla, P University of Illinois at Chicago3 Jul - 7 JulY
Stewart, I A University of Durham3 Jul - 7 JulY
Stirling, C University of Edinburgh2 Jul - 8 JulY
Strejcek, J Universite Bordeaux 12 Jul - 7 JulY
Sznajder, N ENS Cachan3 Jul - 7 JulY
Tabakov, D Rice University3 Jul - 7 JulY
Ternovska, E Simon Fraser University3 Jul - 7 JulY
Thomas, W RWTH Aachen3 Jul - 7 JulY
To, AW University of Toronto2 Jul - 7 JulY
Touili, T LIAFA - Universite Paris 72 Jul - 7 JulY
Trefler, R University of Waterloo3 Jul - 7 JulY
Trivedi, A University of Warwick3 Jul - 7 JulY
Ummels, M RWTH Aachen2 Jul - 7 JulY
van Benthem, J University of Amsterdam2 Jul - 8 JulY
van Drimmelen, G University of the Witwatersrand1 Jul - 8 JulY
Vardi, M Rice University3 Jul - 7 JulY
Veith, H Institut fur Informatik, Germany3 Jul - 7 JulY
Venema, Y University of Amsterdam2 Jul - 7 JulY
Vincent, A Universite Bordeaux 13 Jul - 7 JulY
Vorobyov, S Uppsala University3 Jul - 7 JulY
Wallmeier, N RWTH Aachen2 Jul - 7 JulY
Walukiewicz, I Université Bordeaux-12 Jul - 7 JulY
Worrell, J University of Oxford3 Jul - 7 JulY
Xie, Y University of Oxford2 Jul - 7 JulY
Zielonka, W LIAFA - Université Paris 72 Jul - 7 JulY

Back to Top

Webmaster
Copyright © 1996 Isaac Newton Institute.
Updated at 09:41 AM on 27 June 2006