May 2021 - TPBC Workshop

TPBC 2021 -- Wed June 02, 15:00-17:30 UTC
by Marson, Giorgia Azzurra (INF) 31 May '21

31 May '21

Dear TPBC 2021 participants, This is a kind reminder: The next session of TPBC 2021 will run on Wednesday 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 on Wednesday! TPBC 2021 organization team --- crypto(a)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

1 0

TPBC 2021 -- Wednesday, May 26, 15h UTC -- Second Session
by Marson, Giorgia Azzurra (INF) 24 May '21

24 May '21

Dear TPBC 2021 participants, This is a kind reminder: The next session of TPBC 2021 will run on Wednesday May 26, 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: Decentralized Identity Ari Juels Cornell Tech * 15:45 UTC: Break * 16:00 UTC: Privacy-Preserving Decentralized Cryptocurrency Exchange Carsten Baum, Bernardo David, Tore Frederiksen Aarhus University, IT University of Copenhagen, Alexandra Institute * 16:30 UTC: Blitz: Secure Multi-Hop Payments Without Two-Phase Commits Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei TTU Wien, IMDEA Software Institute, Purdue University, TU Wien * 17:00 UTC: Bitcoin-Compatible Virtual Channels Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi Technische Universität Wien, Delft University of Technology, Technische Universität Darmstadt, ETH Zürich, IMDEA Software Institute * 17:30 UTC: End of session Looking forward to seeing you on Wednesday! TPBC 2021 organization team --- crypto(a)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

1 0

TPBC 2021 -- Wednesday 15h UTC (today!) -- First Session
by Marson, Giorgia Azzurra (INF) 19 May '21

19 May '21

Dear TPBC 2021 participants, This is a kind reminder: We have now published the final program of TPBC 2021, and the first session will run TODAY! 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. See you later! TPBC 2021 organization team --- crypto(a)inf.unibe.ch<mailto:crypto@inf.unibe.ch> is inviting you to a scheduled Zoom meeting. Topic: TPBC 2021 Time: May 19, 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

1 0

TPBC 2021 -- Wednesday 15h UTC -- First Session
by Christian Cachin 17 May '21

17 May '21

Dear TPBC 2021 participants, We have now published the final program of TPBC 2021, and the first session will run this Wednesday. 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. See you on Wednesday! TPBC 2021 organization team --- crypto(a)inf.unibe.ch is inviting you to a scheduled Zoom meeting. Topic: TPBC 2021 Time: May 19, 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

1 0

TPBC 2021 -- Every Wed 15h UTC -- Program announced
by Christian Cachin 12 May '21

12 May '21

Dear blockchain enthusiast, TPBC 2021, the third workshop on Theory and Practice of Blockchains starts in exactly one week from today. This mailing list will be used for communication about TPBC 2021. As you have shown interest in it, we already subscribed you to the list. To opt out, simply use the standard "Mailman" command set (that would be, hypothetically, to send email to tpbc-request(a)list.inf.unibe.ch with "Subject: unsubscribe"). We have a great program assembled and are looking forward to every single day. Check yourself here: http://tpbc2021.blockchain-workshop.net/program/ Every session runs from 15:00 UTC to about 17:30 UTC; this is 17:00 CEST to 19:30 CEST or 11am EDT to 1:30pm EDT, etc. according to the following schedule: 15:00h Welcome and Keynote talk (35-40min talk + 5-10min discussion) 15:45h Break 16:00h Contributed talk 1 (20-25min talk + 5-10min discussion) 16:30h Contributed talk 2 (20-25min talk + 5-10min discussion) 17:00h Contributed talk 3 (20-25min talk + 5-10min discussion) 17:30h End Sessions will be hosted in Zoom and the links will be announced through this mailing list. As presenter we expect you to show the slides from your own endpoint. If you are a presenter, please join at least 10min before your slot. At this time, please publicize the workshop as widely as possible. Looking forward to seeing you there! Chaya, Giorgia & Christian

1 0

[TPBC]test send should work
by Christian Cachin 10 May '21

10 May '21

1 0

2025

2024

2023

2022

2021

TPBC Workshop May 2021