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