All times are listed for CEST (Central European Summer Time)
Time | Blockchain Track (Sagrestia) | Verification Track (Cappella Guinigi) |
---|---|---|
10.50 - 11.00 | welcome | welcome |
11.00 - 12.30 | Smart contracts in Bitcoin and BitML | An introduction to Spatial Logics and Spatial Model Checking |
12.30 - 14.00 | lunch break | lunch break |
14.00 - 15.30 | The ΔQ Systems Development Paradigm | A Gentle Adventure Mechanising Message Passing Concurrency Systems |
15.30 - 16.00 | coffee break | coffee break |
16.00 - 17.30 | ChorChain: a Model-driven Approach for Trusted Execution of Multi-party Business Processes on Blockchain | - |
19.00 - 20.00 | Welcome reception (Sala Canova) | Welcome reception (Sala Canova) |
(session chair: Mohammad Mousavi)
(session chair: Marjan Sirjani)
(session chair: Spyros Voulgaris )
(session chair: Maurice ter Beek)
(session chair: Maurice ter Beek)
(session chair: Mirko Viroli)
(session chair: Emilio Tuosto)
(session chair: Michele Loreti)
(session chair: Narges Khakpour)
(session chair: Marcelo Pasin)
(session chair: Valerio Schiavoni)
(session chair: Claudio Antares Mezzina)
(session chair: Arian Baloochestani)
(session chair: Anna Philippou)
(session chair: Claudio Antares Mezzina)
(session chair: Étienne André)
(session chair: Adrian Francalanza)
(session chair: Maurice ter Beek)