Friday, October 12, 2018 / Reede, 12. oktoober 2018 / Piektdiena, 2018. gada 12. oktobris
|
| 11:50 | Opening | |
| 12:00 | Krišjānis Prūsis | Quantum Speedups for Exponential-Time Dynamic Programming Algorithms |
| 12:30 | Mārtiņš Kālis | Partial quantum finite automaton implementation on a physical quantum device |
| 13:00 | Lunch / lõunasöök / pusdienas (at the university) | |
| 14:00 | Dominique Unruh | Quantum Hoare Logic with Ghosts |
| 14:30 | Yangjia Li | Termination Analysis of Quantum Programs |
| 15:00 | Kamil Khadiev | Quantum Dynamic Programming Algorithm for DAGs. Applications for AND-OR DAG Evaluation, Diameter, Shortest and Longest Paths Search in DAG |
| 15:30 | Coffee break / paus / starpbrīdis | |
| 16:00 | Petteri Kaski | Probabilistic tensors with applications |
| 16:30 | Kārlis Freivalds | Deep Learning of Algorithms |
| 17:00 | Guntis Bārzdiņš | High-Dimensional Representation and Computing: Pixels, Objects, Language |
| 18:00 | Dinner / õhtusöök / vakariņas (at the university) | |
Saturday, October 13, 2018 / Laupäev, 13. oktoober 2018 / Sestdiena, 2018. gada 13. oktobris |
| 9:30 | Marcus Greferath | Spectral Methods for Coding in a Non-Commutative Setting |
| 10:15 | Vitaly Skachek | Improved Redundant Parity-Check Based BP Decoding of LDPC codes |
| 10:45 | Ago-Erik Riet | On graph-based batch and PIR codes |
| 11:15 | Coffee break / paus / starpbrīdis | |
| 11:45 | Alexander Belov | Adaptive Lower Bound for Testing Monotonicity on the Line |
| 12:15 | Maksims Dimitrijevs | Probabilistic verification of all languages |
| 12:45 | Aleksejs Naumovs | Capabilities of 2-state PFAs and unary QFAs with fixed cutpoints |
| 13:00 | Lunch / lõunasöök / pusdienas (at the university) | |
| 14:00 | Edith Elkind | Voting on Structured Preference Domains: A Survey |
| 15:00 | Coffee break / paus / starpbrīdis | |
| 15:30 | Helger Lipmaa | On QA-NIZK in the BPK Model |
| 16:00 | Wulf Harder | Information-Theoretically Secure Fully Homomorphic Encryption |
| 17:00 | Excursion | |
| 19:30 | Dinner / õhtusöök / vakariņas (at Čarlstons restaurant) | |
Sunday, October 14, 2018 / Pühapäev, 14. oktoober 2018 / Svētdiena, 2018. gada 14. oktobris |
| 9:30 | Dirk Draheim | A Frequentist Semantics of Partial Conditionalization |
| 10:30 | Silvio Capobianco | Subadditive functions in one and many variables: a tutorial |
| 11:00 | Coffee break / paus / starpbrīdis | |
| 11:30 | Peter Laud | Sensitivity Analysis of SQL Queries |
| 12:00 | Janno Siim | On the Security Properties of e-Voting Bulletin Boards |
| 12:30 | Alisa Pankova | Bit Decomposition Protocols in Secure Multiparty Computation |
| 13:00 | Lunch / lõunasöök / pusdienas (at the university) | |
| 14:00 | Valentas Kurauskas | Graph genus and road interchanges |
| 14:30 | Dmitry Kravchenko | Quantum Algorithm for Solving Nim Games |
| 15:00 | Coffee break & departure / ärasõit / izbraukšana | |