https://www.dagstuhl.de/20231

June 1 – 5 , 2020, Dagstuhl Seminar 20231

POSTPONED Rigorous Methods for Smart Contracts

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

Organizers

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

Classification

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

Keywords

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

Documentation

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).

Publications

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.