October 24 – 29 , 2021, Dagstuhl Seminar 21431
Last update: January 16 2022
Rigorous Methods for Smart Contracts
On-site participants
- Elvira Albert (Complutense University of Madrid, ES) [dblp]
- Leonardo Alt (Ethereum – Berlin, DE) [dblp]
- Nikolaj S. Bjørner (Microsoft – Redmond, US) [dblp]
- Maria Christakis (MPI-SWS – Kaiserslautern, DE) [dblp]
- Marco Eilers (ETH Zürich, CH) [dblp]
- Grzegorz Fabianski (University of Warsaw, PL) [dblp]
- Josselin Feist (Trail of Bits Inc. – New York, US) [dblp]
- Bryan Ford (EPFL Lausanne, CH) [dblp]
- Diego Garbervetsky (University of Buenos Aires, AR) [dblp]
- Isabel Garcia-Contreras (IMDEA Software – Madrid, ES) [dblp]
- Arthur Gervais (Imperial College London, GB) [dblp]
- Neville Grech (University of Malta – Msida, MT) [dblp]
- Wolfgang Grieskamp (Facebook – Bellevue, US) [dblp]
- Fritz Henglein (University of Copenhagen, DK) [dblp]
- Matteo Maffei (TU Wien, AT) [dblp]
- Alexander Nutz (Certora – Berlin, DE) [dblp]
- Sophie Rain (TU Wien, AT) [dblp]
- Albert Rubio (Complutense University of Madrid, ES) [dblp]
- Tanja Schindler (Universität Freiburg, DE) [dblp]
- Yannis Smaragdakis (University of Athens, GR) [dblp]
- Valentin Wüstholz (ConsenSys – Kaiserslautern, DE) [dblp]
Remote participants
- Massimo Bartoletti (University of Cagliari, IT) [dblp]
- Andreea Buterchi (MPI-SWS – Kaiserslautern, DE)
- Jing Chen (Stony Brook University, US) [dblp]
- Shuo Chen (Microsoft Research Asia – Beijing, CN) [dblp]
- Ankush Das (Amazon – Cupertino, US) [dblp]
- Stefan Dziembowski (University of Warsaw, PL) [dblp]
- Ákos Hajdu (Budapest Univ. of Technology & Economics, HU) [dblp]
- Aniket Kate (Purdue University – West Lafayette, US) [dblp]
- Markulf Kohlweiss (University of Edinburgh, GB) [dblp]
- Igor Konnov (Informal Systems – Wien, AT) [dblp]
- Yi Li (Nanyang TU – Singapore, SG) [dblp]
- Victor Luchangco (Algorand – Boston, US) [dblp]
- Anastasia Mavridou (NASA – Moffett Field, US) [dblp]
- Noam Rinetzky (Tel Aviv University, IL) [dblp]
- Grigore Rosu (University of Illinois – Urbana-Champaign, US) [dblp]
- Giulia Scaffino (TU Wien, AT)
- Gerardo Schneider (University of Gothenburg, SE) [dblp]
- Ilya Sergey (National University of Singapore, SG) [dblp]
- Zhong Shao (Yale University – New Haven, US) [dblp]
- Philip Wadler (University of Edinburgh, GB) [dblp]
- Yoni Zohar (Bar-Ilan University – Ramat Gan, IL)
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner