July 16 – 21 , 2017, Dagstuhl Seminar 17291
Last update: February 14 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]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner