June 1 – 5 , 2020, Dagstuhl Seminar 20231

POSTPONED Rigorous Methods for Smart Contracts

Due to the Covid-19 pandemic, this seminar is postponed indefinitely.


Nikolaj S. Bjørner (Microsoft Research – Redmond, US)
Maria Christakis (MPI-SWS – Kaiserslautern, DE)
Matteo Maffei (TU Wien, AT)
Grigore Rosu (University of Illinois – Urbana-Champaign, US)

For support, please contact

Annette Beyer for administrative matters

Andreas Dolzmann for scientific matters


  • Security / Cryptology
  • Semantics / Formal Methods
  • Verification / Logic


  • Smart Contracts
  • Program Verification
  • Programming Languages
  • Cryptographic Protocols
  • Automated Reasoning


In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.