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