Lorentz Center - Verification of Concurrent and Distributed Software from 14 Sep 2015 through 18 Sep 2015
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Verification of Concurrent and Distributed Software
    from 14 Sep 2015 through 18 Sep 2015

 
Names listed in boldface are linked to the home pages of these participants

Wolfgang Ahrendt(Gothenburg, Sweden)
Bernhard Beckert(Karlsruhe, Germany)
Marco Bekooij(Eindhoven, Netherlands)
Simon Bliudze(Lausanne, Switzerland)
Tzu-Chun Chen(Darmstadt, Germany)
Frank De Boer(Amsterdam, Netherlands)
Stijn De Gouw(Amsterdam, Netherlands)
Sander De Putter(Einhodven, Netherlands)
Nikolay Diakov(Amsterdam, Netherlands)
Crystal Chang Din(Darmstadt, Germany)
Simon Doherty(Sheffield, United Kingdom)
Sophia Drossopoulou(London, United Kingdom)
Jan Friso Groote(Eindhoven, Netherlands)
Dilian Gurov(Stockholm, Sweden)
Ludovic Henrio(Sophia Antipolis, France)
Vincent Hindriksen(Amsterdam, Netherlands)
Marieke Huisman(Enschede, Netherlands)
James Hunt(Karlsruhe, Germany)
Ivan Lanese(Bologna, Italy)
Martin Leucker(Lübeck, Germany)
Björn Lisper(Västerås, Sweden)
Anton Lokhmotov(Cambridge, United Kingdom)
Alexander Malkis(Garching bei München, Germany)
Stephan Merz(Villers-lès-Nancy, France)
Roland Meyer(Kaiserslautern, Germany)
Marius Minea(Timisoara, Romania)
Rosemary Monahan(Maynooth, Ireland)
Wojciech Mostowski(Halmstad, Sweden)
Peter Müller(Zurich, Switzerland)
Markus Müller-Olm(Münster, Germany)
Wytse Oortwijn(Enschede, Netherlands)
Jorge A. Perez(Groningen, Netherlands)
Arnd Poetzsch-Heffter(Kaiserslautern, Germany)
Ahmad Rasekh(London, United Kingdom)
Martijn Rutten(Eindhoven, Netherlands)
Ina Schaefer(Braunschweig, Germany)
Natasha Sharygina(Lugano, Switzerland)
Bernhard Steffen(Dortmund, Germany)
Alexander John Summers(Zürich, Switzerland)
Michael Tautschnig(London, United Kingdom)
Isabel Tonin(Karlsruhe, Germany)
Martin Vechev(Zurich, Switzerland)
Jacques Verriet(Eindhoven, Netherlands)
Angela Wallenburg(Bath, United Kingdom)
Heike Wehrheim(Paderborn, Germany)
Anton Wijs(Eindhoven, Netherlands)
Peter Zeller(Kaiserslautern, Germany)


   [Back]