| 11:15 | Get together and welcome coffee |
|---|
| 11:45 | Session 1: Quantum computing 1 |
|---|
| 11:45 | Andris Ambainis | Recent developments in quantum algorithms |
|---|
| 12:35 | Nikolajs Nahimovs | Lackadaisical quantum walks with multiple marked vertices |
| 13:00 | Lunch (in the restaurant "Pärnu Jahtklubi") |
|---|
| 14:20 | Session 2: Semantics 1 |
|---|
| 14:20 | Jose Manuel Rodriguez Caballero | Formal verification of theorems about Hilbert spaces in Isabelle/HOL |
| 14:45 | Härmel Nestra | Laws of Monadic Error Handling |
| 15:10 | Niccolo Veltri | Unguarded Iteration for Reversible Computation in the Delay Monad |
| 15:35 | Tarmo Uustalu | Resumption Monads for Shared-Memory Concurrency |
| 16:00 | Coffee break |
|---|
| 16:30 | Session 3: Cryptography 1 |
|---|
| 16:30 | Helger Lipmaa | Zk-SNARKs: Foundations and Applications |
|---|
| 17:20 | Karim Baghery | On the Efficiency of Privacy-Preserving Smart Contract Systems |
| 17:45 | Shahla Atapoor | Simulation Extractability in Groth's zk-SNARK |
| 18:10 | Adjourn |
|---|
| 19:00 | Dinner (in the restaurant "Villa Wesset") |
|---|
| 09:25 | Session 4: Cryptography 2 |
|---|
| 09:25 | Dominique Unruh | Towards verified quantum crypto |
|---|
| 10:15 | Pille Pullonen | Privacy-Enhanced Business Process Model and Notation |
| 10:40 | Peeter Laud | Information flow analysis for BPMN processes |
| 11:05 | Alisa Pankova | Taming epsilon of differential privacy |
| 11:30 | Coffee break |
|---|
| 11:45 | Session 5: Quantum computing 2 |
|---|
| 11:45 | Nikita Larka | Quantum algorithms for computational geometry problems |
| 12:10 | Kamil Khadiev | Quantum Algorithms for String Problems |
| 12:35 | Lilia Safina | The Quantum Version Of Classification Decision Tree Constructing Algorithms |
| 13:00 | Lunch (in the restaurant "Pärnu Jahtklubi") |
|---|
| 14:20 | Session 6: Quantum computing 3 |
|---|
| 14:20 | Abuzer Yakaryilmaz | Quantum programming with Qiskit |
|---|
| 15:10 | Aliia Khadieva | Quantum minicomplexity |
| 15:35 | Francisco Javier Gil Vidal | Input Redundancy for Parameterized Quantum Circuits |
| 16:00 | Coffee break |
|---|
| 16:30 | Session 7: Cryptography 3 |
|---|
| 16:30 | Janno Siim | UC-Secure CRS Generation for SNARKs |
| 16:55 | Behzad Abdolmaleki | A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing |
| 17:20 | Oliver-Matis Lill | Decentralized Bitcoin Scaling with Specialization |
| 17:45 | Silvio Capobianco | Boltzmann samplers: a tutorial |
| 18:10 | Adjourn |
|---|
| 19:00 | Dinner (in the restaurant "Villa Wesset") |
|---|
| 21:00 | Sauna (Pärnu Jahtklubi) |
|---|