16. – 21. Juli 2017, Dagstuhl-Seminar 17291
Letzte Aktualisierung: 14. Februar 2018

Resource Bound Analysis

Participants

  • Sebastian Altmeyer (University of Amsterdam, NL) [dblp]
  • Robert Atkey (University of Strathclyde – Glasgow, GB) [dblp]
  • Martin Avanzini (Universität Innsbruck, AT) [dblp]
  • Gilles Barthe (IMDEA Software – Madrid, ES) [dblp]
  • Marc Brockschmidt (Microsoft Research UK – Cambridge, GB) [dblp]
  • Hugues Cassé (University of Toulouse, FR) [dblp]
  • Stephen Chong (Harvard University – Cambridge, US) [dblp]
  • Ezgi Cicek (MPI-SWS – Saarbrücken, DE) [dblp]
  • Ugo Dal Lago (University of Bologna, IT) [dblp]
  • Norman Danner (Wesleyan Univ. – Middletown, US) [dblp]
  • Ankush Das (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Marco Gaboardi (University at Buffalo, US) [dblp]
  • Deepak Garg (MPI-SWS – Saarbrücken, DE) [dblp]
  • Samir Genaim (Complutense University of Madrid, ES) [dblp]
  • Dan R. Ghica (University of Birmingham, GB) [dblp]
  • Jürgen Giesl (RWTH Aachen, DE) [dblp]
  • Reiner Hähnle (TU Darmstadt, DE) [dblp]
  • Sebastian Hahn (Universität des Saarlandes, DE) [dblp]
  • Kevin Hammond (University of St. Andrews, GB) [dblp]
  • Manuel Hermenegildo (IMDEA Software – Madrid, ES) [dblp]
  • Jan Hoffmann (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Martin Hofmann (LMU München, DE) [dblp]
  • Steffen Jost (LMU München, DE) [dblp]
  • Zachary Kincaid (Princeton University, US) [dblp]
  • Jens Knoop (TU Wien, AT) [dblp]
  • Björn Lisper (Mälardalen University – Västerås, SE) [dblp]
  • Yu David Liu (Binghamton University, US) [dblp]
  • Alexey Loginov (GrammaTech Inc. – Ithaca, US) [dblp]
  • Hans-Wolfgang Loidl (Heriot-Watt University – Edinburgh, GB) [dblp]
  • Antonio Flores Montoya (TU Darmstadt, DE) [dblp]
  • Georg Moser (Universität Innsbruck, AT) [dblp]
  • Van Chan Ngo (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Jan Reineke (Universität des Saarlandes, DE) [dblp]
  • Thomas W. Reps (University of Wisconsin – Madison, US) [dblp]
  • Christine Rochange (University of Toulouse, FR) [dblp]
  • Claudio Sacerdoti Coen (University of Bologna, IT) [dblp]
  • Marko van Eekelen (University of Nijmegen, NL) [dblp]
  • Pedro B. Vasconcelos (University of Porto, PT) [dblp]
  • Marcus Völp (University of Luxembourg, LU) [dblp]
  • Peter Wägemann (Universität Erlangen-Nürnberg, DE) [dblp]
  • Reinhard Wilhelm (Universität des Saarlandes, DE) [dblp]
  • Lukasz Ziarek (University at Buffalo, US) [dblp]
  • Florian Zuleger (TU Wien, AT) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner