Participant List : Druckversion


April 8 – 13 , 2018, Dagstuhl Seminar 18151
Last update: October 2 2018

Program Equivalence

Participants

  • Anindya Banerjee (NSF – Alexandria, US) [dblp]
  • Gilles Barthe (IMDEA Software – Madrid, ES) [dblp]
  • Nick Benton (Facebook – London, GB) [dblp]
  • Dirk Beyer (LMU München, DE) [dblp]
  • Soham Chakraborty (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Stefan Ciobaca (University AI. I. Cuza – Iasi, RO) [dblp]
  • Constantin Enea (University Paris-Diderot, FR) [dblp]
  • Grigory Fedyukovich (Princeton University, US) [dblp]
  • Dan R. Ghica (University of Birmingham, GB) [dblp]
  • Arie Gurfinkel (University of Waterloo, CA) [dblp]
  • Guilhem Jaber (ENS – Lyon, FR) [dblp]
  • Vasileios Koutavas (Trinity College Dublin, IE) [dblp]
  • Steve Kremer (INRIA Nancy – Grand Est, FR) [dblp]
  • Shuvendu K. Lahiri (Microsoft Research – Redmond, US) [dblp]
  • James Laird (University of Bath, GB) [dblp]
  • Xavier Leroy (INRIA – Paris, FR) [dblp]
  • Yi Li (University of Toronto, CA) [dblp]
  • Sergey Mechtaev (National University of Singapore, SG) [dblp]
  • Andrzej Murawski (University of Oxford, GB) [dblp]
  • Kedar Namjoshi (Nokia Bell Labs – Murray Hill, US) [dblp]
  • David A. Naumann (Stevens Institute of Technology, US) [dblp]
  • Julia Rubin (University of British Columbia – Vancouver, CA) [dblp]
  • Philipp Rümmer (Uppsala University, SE) [dblp]
  • Neha Rungta (Amazon.com, Inc. – Palo Alto, US) [dblp]
  • Chaked Saydoff (Technion – Haifa, IL)
  • Rahul Sharma (Microsoft Research India – Bangalore, IN) [dblp]
  • Stephen Siegel (University of Delaware – Newark, US)
  • Marcelo Sousa (University of Oxford, GB) [dblp]
  • Ofer Strichman (Technion – Haifa, IL) [dblp]
  • Aaron Tomb (Galois – Portland, US) [dblp]
  • Nikos Tzevelekos (Queen Mary University of London, GB) [dblp]
  • Mattias Ulbrich (KIT – Karlsruher Institut für Technologie, DE) [dblp]
  • Niels Voorneveld (University of Ljubljana, SI)


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner

Participant List : Last Update 22.11.2019, 23:27 o'clock