Isaac Newton Institute for Mathematical Sciences

List of invited participants

for the workshop Constraints and Verification

NameInstitutionvisit datesConf
Abdullah, P Uppsala University8 May - 12 MayY
Alechina, N University of Nottingham8 May - 12 MayY
Amir, E University of Illinois8 May - 12 MayY
ben-Amram, A The Academic College of Tel-Aviv Yafo7 May - 14 MayY
Berstel, B ILOG SA7 May - 12 MayY
Bierman, G Microsoft Research Cambridge8 May - 12 MayY
Boigelot, B Universite de Liege8 May - 12 MayY
Bordeaux, L Microsoft Research Ltd8 May - 12 MayY
Bouajjani, A University of Paris 78 May - 12 MayY
Bradley, A Stanford University7 May - 12 MayY
Brihaye, T Universite de Mons-Hainaut8 May - 12 MayY
Cardelli, L Microsoft Research Cambridge8 May - 12 MayY
Charatonik, W University of Wroclaw7 May - 12 MayY
Chevalier, Y IRIT, Universite Paul Sabatier7 May - 12 MayY
Clarke, E Carnegie Mellon University7 May - 12 MayY
Cook, B Microsoft Research Cambridge8 May - 12 MayY
Cook, S University of Toronto8 May - 12 MayY
Cotton, S Verimag, Centre Equation7 May - 13 MayY
Cousot, P ENS - DI7 May - 12 MayY
Cousot, R ENS - DI7 May - 12 MayY
Dawar, A University of Cambridge8 May - 12 MayY
Dechter, R University of California 7 May - 12 MayY
Delzanno, G Universita di Genova7 May - 12 MayY
Etessami, K University of Edinburgh7 May - 12 MayY
Fiore, M University of Cambridge8 May - 12 MayY
Fisler, K Worcester Polytechnic Institute8 May - 12 MayY
Fournet, C Microsoft Research Cambridge8 May - 12 MayY
Ghafari, NH University of Waterloo8 May - 12 MayY
Giunchiglia, E DIST - Universita di Genova8 May - 12 MayY
Gordon, A Microsoft Research Cambridge8 May - 12 MayY
Gordon, M University of Cambridge8 May - 12 MayY
Gotsman, A University of Cambridge8 May - 12 MayY
Griffin, T University of Cambridge8 May - 12 MayY
Grumberg, O G TECHNION - Israel Institute of Technology9 May - 12 MayY
Gupta, A NEC Labs America7 May - 12 MayY
Hamadi, Y Microsoft Research Ltd7 May - 12 MayY
Hanna, Z Intel Corp7 May - 12 MayY
Havlicek, J Freescale, Inc.7 May - 12 MayY
Hella , L University of Tampere8 May - 12 MayY
Hill, P University of Leeds8 May - 12 MayY
Hoare, T Microsoft Research Cambridge8 May - 12 MayY
Hunter, P University of Cambridge8 May - 12 MayY
Hyland, M University of Cambridge8 May - 12 MayY
Jeavons, P Oxford University7 May - 12 MayY
Jemni Ben Ayed, L University of Tunis8 May - 12 MayY
Junker, U ILOG7 May - 12 MayY
Jurdzinski, M University of Warwick7 May - 12 MayY
Klaedtke, F ETH Zentrum8 May - 12 MayY
Klarlund, NK Google Inc7 May - 13 MayY
Krajicek, J Prague8 May - 12 MayY
Kreutzer, S Humboldt-Universitat zu Berlin8 May - 12 MayY
Kroening, D ETH Zentrum7 May - 11 MayY
Krokhin, A University of Durham7 May - 12 MayY
Kulesza, K University of Cambridge8 May - 12 MayY
Kullmann, O University of Wales, Swansea7 May - 13 MayY
Kwiatkowska, M Z University of Birmingham8 May - 12 MayY
Leconte, M ILOG SA7 May - 12 MayY
Legay, A University of Liege7 May - 12 MayY
Lisitsa, A University of Liverpool7 May - 13 MayY
Lugiez, D CMI7 May - 11 MayY
Madelaine, F University of Durham8 May - 12 MayY
Maler, O Verimag8 May - 12 MayY
Manna, Z Stanford University8 May - 12 MayY
Marques-Silva, J University of Southampton7 May - 12 MayY
Martin, B University of Durham8 May - 12 MayY
Martin, U Queen Mary, University of London8 May - 12 MayY
McMillan, K Cadence Berkeley Labs7 May - 12 MayY
Michaux, C Universite de Mons-Hainaut8 May - 12 MayY
Middeldorp, A University of Innsbruck7 May - 12 MayY
Mitchell, D Simon Fraser University7 May - 12 MayY
Mukhopadhyay, S West Virginia University7 May - 12 MayY
Nain, S Rice University8 May - 12 MayY
Namjoshi, K Bell Labs8 May - 12 MayY
Naveh, Y IBM Research Lab in Haifa7 May - 12 MayY
Nicolini, E Universita degli Studi di Milano7 May - 12 MayY
Pitts, A University of Cambridge8 May - 12 MayY
Podelski, A MPI, Saarbrucken8 May - 12 MayY
Qadeer, S Microsoft Research7 May - 12 MayY
Raskin, JFR Universite Libre de Bruxelles7 May - 12 MayY
Revesz, P Max-Planck-Institut fur Informatik8 May - 12 MayY
Rozier, KY Rice University8 May - 12 MayY
Rybalchenko, A Max Planck Institute fuer Informatik8 May - 12 MayY
Sakallah, K University of Michigan7 May - 13 MayY
Sankaranarayanan, S NEC Labs America7 May - 13 MayY
Sebastiani, R Universita di Trento7 May - 12 MayY
Tabakov, D Rice University8 May - 12 MayY
Ternovska, E Simon Fraser University8 May - 12 MayY
van Dongen, M University College Cork7 May - 13 MayY
Vardi, M Rice University8 May - 12 MayY
Verma, R University of Houston7 May - 12 MayY
Vollmer, H Universitaet Hannover8 May - 12 MayY
Vorobyov, S Uppsala University7 May - 12 MayY
Winskel, G University of Cambridge8 May - 12 MayY
Wolper, P Université de Liege10 May - 12 MayY
Zucchelli, D Universita degli Studi di Milano7 May - 12 MayY

Back to Top

Webmaster
Copyright © 1996 Isaac Newton Institute.
Updated at 11:52 AM on 18 May 2006