[ Homepage ] [ Koduleht ] [ Mājaslapa ]
Thursday, September 30, 2010 / Neljapäev, 30. september 2010 / Ceturtdiena, 2010. gada 30. septembris |
||
| arrival / saabumine / ierašanās | ||
| 19.30-20.30 | dinner / õhtusöök / vakariņas | |
Friday, October 1, 2010 / Reede, 1. oktoober 2010 / Piektdiena, 2010. gada 1. oktobris |
||
| 08.00-09.00 | breakfast / hommikusöök / brokastis | |
| 09.00-11.00 | Juris Smotrovs | Tutorial on quantum computing |
| Artūrs Bačkurs | Grover's algorithm with mistakes | |
| Madars Virza | Sensitivity vs block sensitivity of Boolean functions | |
| 11.00-11.30 | break / paus / starpbrīdis | |
| 11.30-13.00 | Helger Lipmaa | On cryptographic protocols for Norwegian internet voting |
| Peeter Laud | Implementing cryptographic primitives in the symbolic model | |
| 13.00-14.00 | lunch / lõunasöök / pusdienas | |
| 14.00-16.00 | free time or activities / vaba aeg või aktiivne ajaviide / brīvais laiks vai izkustēšanās brīvā dabā | |
| 16.00-17.30 | Marlon Dumas | Unraveling unstructured process models |
| Andres Toom | Between qualification and certification: specifying and verifying model transformations in an embedded code generator | |
| Pavel Grigorenko | Higher-order attribute semantics of flat languages | |
| 17.30-18.00 | break / paus / starpbrīdis | |
| 18.00-19.30 | Hellis Tamm | Some minimality results on biresidual and biseparable automata |
| Kaspars Balodis | Probabilistic reduction | |
| Dmitrijs Rutko | Applied machine learning in game theory | |
| 19.30-20.30 | dinner / õhtusöök / vakariņas | |
| 20.30- | sauna & discussion / saun & diskussioon / pirts & sarunas | |
Saturday, October 2, 2010 / Laupäev, 2. oktoober 2010 / Sestdiena, 2010. gada 2. oktobris |
||
| 08.00-09.00 | breakfast / hommikusöök / brokastis | |
| 09.00-10.30 | Tarmo Uustalu | Making sense of infinity in computation |
| Keiko Nakata | Denotational semantics for lazy initialization of letrec: black holes as exceptions rather than divergence | |
| 10.30-11.00 | break / paus / starpbrīdis | |
| 11.00-13.00 | Andris Ambainis | New developments in quantum algorithms |
| Nikolajs Nahimovs | Constant factor improvement of the Grover's algorithm | |
| Agnis Škuškovniks | Bell inequalities and game theory | |
| Mārtiņš Zviedris | Solutions for CHSH (Clauser - Horne - Shimony - Holt) game | |
| 13.00-14.00 | lunch / lõunasöök / pusdienas | |
| 14.00-16.00 | free time or activities / vaba aeg või aktiivne ajaviide / brīvais laiks vai izkustēšanās brīvā dabā | |
| 16.00-17.30 | Juris Vīksna | Dependence of dynamic properties of gene interaction networks on the network topology and parameter values |
| Konstantin Tretyakov | An evolutionary model of DNA substring distribution | |
| Michele Mazzucco | Managing electricity bill and performance in server farms | |
| 17.30-18.00 | break / paus / starpbrīdis | |
| 18.00-19.30 | Madeline González Muñiz | Signatures in the presence of key-dependent messages |
| Margus Niitsoo | Deterministic random oracles | |
| Bingsheng Zhang | Round-efficient OT and oblivious shuffle protocols for secure multi-party computation | |
| 19.30-20.30 | dinner / õhtusöök / vakariņas | |
Sunday, October 3, 2010 / Pühapäev, 3. oktoober 2010 / Svētdiena, 2010. gada 3. oktobris |
||
| 08.00-09.00 | breakfast / hommikusöök / brokastis | |
| 09.00-10.30 | Aivar Annamaa | An interactive tool for analyzing embedded SQL queries |
| Andri Saar | Reasoning about correctness of transactional memory with operational semantics | |
| Silvio Capobianco | A categorical outlook on cellular automata | |
| 10.30-11.00 | break / paus / starpbrīdis | |
| 11.00-12.20 | Marats Golovkins | R-trivial idempotent languages recognized by quantum finite automata |
| Ilya Kutsevalov | On identification and nonconstructivity | |
| Raivis Bēts | The problem of finite generated bi-ideal equality and periodicity | |
| 12.20-13.20 | lunch / lõunasöök / pusdienas | |
| 13.20 | departure / ärasõit / izbraukšana | |