Dear TPBC 2021 participants,

This is a kind reminder:
The next session of TPBC 2021 will run TODAY, June 02, 15:00-17:30 UTC.

Sessions will be held online using Zoom, and the link is only sent by email to the registered participants, see below.  There is also a link that will import the ICS file to your calendars.  Please make your real name visible and ensure you are muted when participating.

We plan to record the sessions and make them available in the Youtube channel of TPBC.

Here is the agenda for the session:
  • 15:00 UTC: Keynote: Beyond “Smart Contracts” - General-Purpose Computation on the Blockchain 
    Andreas Rossberg 
    DFINITY

  • 15:45 UTC: Break

  • 16:00 UTC: A formal model of Algorand smart contracts 
    Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino 
    University of Cagliari, University of Stirling, Technical University of Denmark, University of Trento

  • 16:30 UTC: SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts 
    Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu 
    University of California, Berkeley, CertiK, Columbia University

  • 17:00 UTC: Accurate Smart Contract Verification Through Direct Modelling 
    Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina 
    Università della Svizzera italiana, Ethereum Foundation

  • 17:30 UTC: End of session


Looking forward to seeing you later!

 TPBC 2021 organization team

---

crypto@inf.unibe.ch is inviting you to a scheduled Zoom meeting.

Topic: TPBC 2021
Time: May 26, 2021 05:00 PM Zurich
       Every week on Wed, 8 occurrence(s)
       May 19, 2021 05:00 PM
       May 26, 2021 05:00 PM
       Jun 2, 2021 05:00 PM
       Jun 9, 2021 05:00 PM
       Jun 16, 2021 05:00 PM
       Jun 23, 2021 05:00 PM
       Jun 30, 2021 05:00 PM
       Jul 7, 2021 05:00 PM

Please download and import the following iCalendar (.ics) files to your calendar system.
Weekly: https://us02web.zoom.us/meeting/tZYlcOyrrzssHdRs2Fbkf0TezTqVaygnGpD5/ics?icsToken=98tyKuGqpjwvGdWVth6HRpwQGo_CZ-nzmGJdgqdvj03DAStVMjfzLNZTBLNmF9b3

Join Zoom Meeting
https://us02web.zoom.us/j/82875310670?pwd=SHZ1UHo2MUk5TWJvVWtMbnZQYUlPUT09

Meeting ID: 828 7531 0670
Passcode: 078079
One tap mobile
+41432107108,,82875310670#,,,,*078079# Switzerland
+41445299272,,82875310670#,,,,*078079# Switzerland