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 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