Thursday, September 27, 2012 / Neljapäev, 27. september
2012 / Ceturtdiena, 2012. gada 27. septembris
|
| .........-19.30 |
arrival / saabumine / ierašanās |
| 19.30-20.30 |
dinner / õhtusöök / vakariņas |
| |
| |
Friday, September 28, 2012 / Reede, 28. september 2012 /
Piektdiena, 2012. gada 28. septembris
|
| 08.00-09.00 |
breakfast / hommikusöök / brokastis |
| 09.00-10.45 |
Rūsiņš Freivalds |
Ultrametric automata and Turing machines |
| Abuzer Yakaryilmaz |
One-counter verifiers for decidable languages |
| Hellis Tamm |
Atoms of regular languages |
| 10.45-11.15 |
break / paus / starpbrīdis |
| 11.15-13.00 |
Dominique Unruh |
Quantum time vaults |
| Toomas Krips |
Secret Sharing over Rings |
| Pille Pullonen |
The design and implementation of a two-party protocol suite for Sharemind |
| 13.00-14.00 |
lunch / lõunasöök / pusdienas |
| 14.00-16.30 |
excursion / ekskursioon / ekskursija |
| 16.45-18.00 |
Tarmo Uustalu |
Tying knots: circular proofs about circular data |
| Denis Firsov |
Certified CYK parsing of context-free languages |
| 18.00-18.15 |
break / paus / starpbrīdis |
| 18.15-19.30 |
Silvio Capobianco |
Conserved quantities in discrete dynamics: what can be recovered from Noether's theorem? |
| Jānis Zuters |
Neural network to solve reinforcement learning problems |
| 19.30-20.30 |
dinner / õhtusöök / vakariņas |
| 20.30- |
sauna & discussion / saun
& diskussioon / pirts & sarunas |
| |
| |
Saturday, September 29, 2012 / Laupäev, 29. september 2012 /
Sestdiena, 2012. gada 29. septembris
|
| 08.00-09.00 |
breakfast / hommikusöök / brokastis |
| 09.00-10.25 |
Christian Schaffner |
Position-based quantum cryptography |
| Igors Stepanovs |
Sensitivity of Boolean Functions with Low Polynomial Degree |
| Jevgēņijs Vihrovs |
Sets of Boolean sequences with low sensitivity |
| 10.25-10.55 |
break / paus / starpbrīdis |
| 10.55-13.00 |
Andris Ambainis |
What is the smallest possible quantum query complexity for a total function? |
| Juris Smotrovs |
Quantum complexity of random Boolean functions |
| Raqueline Santos |
Decoherence in Quantum Markov Chains |
| Dmitrijs Kravčenko |
Random Symmetric Games |
| 13.00-14.00 |
lunch / lõunasöök / pusdienas |
| 14.30-15.45 |
Helger Lipmaa |
New non-interactive zero-knowledge subset sum, decision knapsack and range arguments |
| Peeter Laud |
No identity-based encryption in the generic group model |
| 15.45-16.15 |
break / paus / starpbrīdis |
| 16.15-17.45 |
Härmel Nestra |
Slicing non-deterministic programs |
| Keiko Nakata |
Proving open induction using delimited control operators |
| Wolfgang Jeltsch |
Expressing causality in categorical models of functional reactive programming |
| 17.45-18.10 |
break / paus / starpbrīdis |
| 18.10-19.00 |
Jānis Cīrulis |
Some algebraic structures related with ND-automata |
| Krišjānis Prūsis |
Visualizing Overlapping Graph Clusters |
| 19.30-20.30 |
dinner / õhtusöök / vakariņas |
| 20.30- |
saun & diskussioon / sauna
& discussion |
| |
| |
Sunday, September 30, 2012 / Pühapäev, 30. september 2012 /
Svētdiena, 2012. gada 30. septembris
|
| 08.00-09.00 |
breakfast / hommikusöök / brokastis |
| 09.00-10.45 |
Petteri Kaski |
Fast Möbius inversion and applications |
| Līga Kuleša |
Equivalence of right-infinite words |
| Inese Bērziņa |
On aperiodic shirinking generator |
| Rūdolfs Opmanis |
Optical Graph Recognition |
| 10.45-11.15 |
break / paus / starpbrīdis |
| 11.15-13.00 |
Aleksandrs Belovs |
Learning graphs and quantum query algorithms |
| Marats Golovkins |
Quantum operation dynamics |
| Māris Valdats |
BC-complexity of regular languages |
| 13.00-14.00 |
lunch / lõunasöök / pusdienas |
| 14.00-......... |
departure / ärasõit / izbraukšana |