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<mailto: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?ic… 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