CADE-19 in Miami

28 July - 2 August 2003

In the sunshine ... On the beach

Attendees


Anantharaman    Siva            Université d'Orleans
Andrews         Peter           Carnegie Mellon University
Baader          Franz           Technische Universität Dresden
Barrett         Clark           New York University
Baumgartner     Peter           Universitaet Koblenz-Landau
Belinfante      Johan           Georgia Institute of Technology
Benzmuller      Christoph       Saarland University
Berezin         Sergey          Saarland University
Brown           Chad            Carnegie Mellon University
Calmet          Jacques         University of Karlsruhe (TH)
Choi            Seungyeob       University of Birmingham
Choppella       Venkatesh       Oak Ridge National Labs
Claessen        Koen            Chalmers University of Technology
Clarke          Edmund          Carnegie Mellon University 
Cohn            Anthony         University of Leeds
Colton          Simon           Imperial College
Conchon         Sylvain         Ecole des Mines de Nantes
Contejean       Evelyne         LRI - Universite Paris 11
Crary           Karl            Carnegie Mellon University
de Nivelle      Hans            Max-Planck Institut für Informatik
Dixon           Lucas           University of Edinburgh
Farmer          William         McMaster University
Fermüller       Christian       Technische Universität Wien
Fleuriot        Jacques         University of Edinburgh
Furbach         Ulrich          University of Koblenz
Gaillourdet     Jean-Marie      University of Kaiserslautern
Ganzinger       Harald          Max-Planck Institut für Informatik
Georgieva       Lilia           Heriot-Watt University
Greene          George          University of North Carolina, Chapel Hill
Gulwani         Sumit           University of California at Berkeley
Happe           Jens            Simon Fraser University
Harke           Tom             Oregon Health & Science University
Haroun          Paul            McGill University
Hillenbrand     Thomas          Max-Planck Institut für Informatik
Hladik          Jan             Technische Universität Dresden
Hustadt         Ullrich         University of Liverpool
Kapur           Deepak          University of New Mexico
Katsiri         Eleftheria      University of Cambridge
Kirchner        Claude          LORIA UMR 7503
Kirchner        Helene          LORIA UMR 7503
Kohlhase        Michael         Carnegie Mellon University
Konev           Boris           University of Liverpool
Korovin         Konstantin      Max-Planck Institut für Informatik
Kreitz          Christoph       Cornell University
Krstic          Sava            Oregon Health & Science University
Letz            Reinhold        Munich Unversity of Technology
Loveland        Donald          Duke University
Lowry           Michael         NASA Ames
Lynch           Christopher     Clarkson University
Manolios        Panagiotis      Georgia Institute of Technology
Margaria        Tiziana         University of Dortmund
Matthews        John            Oregon Health & Science University
McCune          William         Argonne National Laboratory
Mehta           Farhad          Technische Universität Muenchen
Meseguer        Jose            University of Illinois at Urbana-Champaign
Middeldorp      Aart            University of Tsukuba
Monate          Benjamin        LIX Ecole Polytechnique
Murray          Neil            University at Albany - SUNY
Nelson          Greg            Hewlett Packard
Niemela         Ilkka           Helsinki University of Technology
Nieuwenhuis     Robert          Technical University of Catalonia
Omodeo          Eugenio         Universita degli Studi dell'Aquila
Pan             Guoqiang        Rice University
Pandav          Sudhindra       University of Utah
Pastre          Dominique       Universite Rene Descartes
Pelletier       Jeff            University of Alberta
Pfenning        Frank           Carnegie Mellon University
Ranise          Silvio          LORIA & INRIA-Lorraine
Ranzato         Francesco       University of Padova
Raul            Monroy          Campus Estado de Mexico del Technologico de Monterrey
Ringeissen      Christophe      LORIA - INRIA
Sakhanenko      Nikita          University of New Mexico
Sarkar          Susmit          Carnegie Mellon University
Schmidt         Renate A.       University of Manchester
Schmidt-Samoa   Tobias          University of Kaiserslautern
Schmidt-Schauss Manfred         University of Frankfurt
Schuermann      Carsten         Yale University
Schulz          Stephan         Technische Universität Muenchen and RISC/Linz
Sebastiani      Roberto         University of Trento
Shankar         Natarajan       SRI International
Sintzoff        Michel          University of Louvain
Sorensson       Niklas          Chalmers University of Technology and Gothenburg University
Sorge           Volker          University of Birmingham
Stuber          Jurgen          LORIA & Ecole des Mines de Nancy
Stump           Aaron           Washington University in St. Louis
Sutcliffe       Geoff           University of Miami
Tammet          Tanel           Tallinn Technical University
Tendera         Lidia           University of Opole
Tinelli         Cesare          University of Iowa
Tiwari          Ashish          SRI International
van Oostrom     Vincent         Universiteit Utrecht
Voronkov        Andrei          University of Manchester
Vroon           Daron           Georgia Institute of Technology
Waldmann        Uwe             Max-Planck Institut für Informatik
Walsh           Toby            Cork Constraint Computation Centre
Walther         Christoph       Technische Universität Darmstadt
Wang            Zongyan         McGill University
Wirth           Claus-Peter     Saarland University
Yahya           Adnan           Birzeit University