FM 2008

Programme Committee

Programme Chairs:

Jorge CuellarSiemens, Germany
Tom MaibaumMcMaster University, Canada
 
Bernhard AichernigTechnical University of Graz, Austria
Keijiro ArakiKyushu University, Japan
Alessandro ArmandoGenova University, Italy
Ralph-Johan BackÅbo Akademi University, Turku, Finland
Gilles BartheINRIA at Sophia-Antiplois, France
David BasinETH, Zurich, Switzerland
Frank de BoerCWI Amsterdam, The Netherlands
Ed BrinksmaUniversity of Twente, NL
Dawson EnglerStanford University, USA
Marcelo FriasUniversity of Buenos Aires, Argentina
Dimitra GiannakopoulouRIACS/NASA Ames, USA
Radu GrosuStony Brook University, USA
Joshua D. GuttmanMITRE Corporation, USA
Connie HeitmeyerNRL, USA
Cliff JonesNewcastle University, UK
Shmuel KatzTechnion, Israel
Paddy KrishnanBond University, Australia
Axel van LamsweerdeLouvain University, Belgium
Rustan LeinoMicrosoft Research, Redmond, USA
Dominique MeryNancy University, France
Marius MineaTechnical University of Timisoara, Romania
Madhavan MukundCMI, Chennai Mathematical Institute, India
Cesar MunozNational Institute of Aerospace, USA
Tobias NipkowTechnical University of Munich, Germany
Jose N OliveiraUniversity of Minho, Portugal
Paritosh K PandyaTata Institute of Fundamental Research, Mumbai, India
John RushbySRI, USA
Augusto SampaioUniversity of Pernambuco, Brazil
Steve SchneiderUniversity of Surrey, UK
Emil SekerinskiMcMaster University, Canada
Vitaly ShmatikovUniversity of Texas at Austin, USA
Doug SmithKestrel, USA
Ketil StølenSINTEF and University of Oslo, Norway
Andrzej TarleckiWarsaw University, Poland
Sebastian UchitelImperial College, UK and
University of Buenos Aires, Argentina
Alan WassyngMcMaster University, Canada
Roel WieringaTwente University, Holland
Martin WirsingLudwig-Maximilians-Universität, Munich, Germany
Pierre WolperUniversity of Liege, Belgium
Jim WoodcockUniversity of York, UK