Theory Days at Ratnieki / Teooriapäevad Ratniekis / Teorijas dienas Ratniekos:

PRELIMINARY Programme / Ajakava / Laikplāns

Thursday, October 2, 2014 / Neljapäev, 2. oktoober 2014 / Ceturtdiena, 2014. gada 2. oktobris

 .........-19.30 arrival / saabumine / ierašanās
19.30-20.30 dinner / õhtusöök / vakariņas
 
 

Friday, October 3, 2014 / Reede, 3. oktoober 2014 / Piektdiena, 2014. gada 3. oktobris

08.00-09.00 breakfast / hommikusöök / brokastis
09.20-09.30 Opening
09.30-10.30 Aleksandra Korolova (invited) Scalable Algorithms for Protecting User Privacy
10.30-11.00 Kaspars Balodis Structured Frequency Algorithms
11.00-11.20 break / paus / starpbrīdis
11.20-12.00 Andris Ambainis
Exact quantum algorithms
12.00-12.30 Agnis Arins Span-program-based quantum query algorithms
12.30-13.00 Farid Ablayev Quantum hashing via $epsilon$-universal hashing constructions, Freivalds fingerprinting schemas and error correcting codes
13.00-14.00 lunch / lõunasöök / pusdienas
14.30-15.30 Veli Makinen (invited) Sequence analysis in linear time and compact space
15.30-16.00 Saulius Maskeliunas National Research Data Archive MIDAS: development decisions and usage peculiarities
16.00-16.30 break / paus / starpbrīdis
16.30-17.00 Peeter Laud Privacy-preserving minimum spanning trees through oblivious parallel RAM for secure multiparty computation
17.00-17.30 Alisa Pankova Privately outsourcing systems of linear equations over real numbers
17.30-18.00 Prastudy Fauzi Faster non-interactive zero knowledge shuffle
19.30-20.30 dinner / õhtusöök / vakariņas
20.30- sauna & discussion / saun & diskussioon / pirts & sarunas
 
 

Saturday, October 4, 2014 / Laupäev, 4. oktoober 2014 / Sestdiena, 2014. gada 4. oktobris

08.00-09.00 breakfast / hommikusöök / brokastis
09.00-09.30 Kalmer Apinis How to combine widening and narrowing for non-monotonic systems of equations
09.30-10.00 Tarmo Uustalu From stateful to stackful computations
10.00-10.30 Wolfgang Jeltsch Abstract categorical semantics for functional reactive programming with resources
10.30-11.00 break / paus / starpbrīdis
11.00-12.00 Stefan Dziembowski (invited) Recent advances in non-malleable codes
12.00-12.30 Helger Lipmaa Efficient Short Adaptive NIZK for NP
12.30-13.00 Toomas Krips Point counting: two embarrassingly parallel methods for secure multiparty computation
13.00-14.00 lunch / lõunasöök / pusdienas
14.00-16.45 excursion / ekskursioon / ekskursija un Saeimas vēlēšanas
16.45-17.15 Tom Wong Degenerate Perturbation Theory as a Tool for Quantum Search
17.15-17.45 Dmitrijs Kravchenko Quantum entanglement can help in the game of bridge
17.45-18.15 Ashutosh Rai Local simulation of singlet statistics for restricted set of measurement
18.15-18.40 break / paus / starpbrīdis
18.40-19.10 Maris Valdats Shannon Effect for BC-complexity of Finite Automata
19.10-19.30 Maksims Dimitrijevs Ultrametric Automata and Turing Machines
19.30-20.30 dinner / õhtusöök / vakariņas
20.30- sauna & discussion / saun & diskussioon / pirts & sarunas
 
 

Sunday, October 5, 2014 / Pühapäev, 5. oktoober 2014 / Svētdiena, 2014. gada 5. oktobris

08.00-09.00 breakfast / hommikusöök / brokastis
09.00-10.00 OLeg Verbitsky (invited) A logical approach to Isomorphism Testing and Constraint Satisfaction
10.00-10.30 Ben Othman Technology-supported Risk Estimation by Predictive Assessment of Socio-technical Security (TRESPASS)
10.30-11.00 Jans Glagolevs Static and dynamic graph visualization
11.00-11.30 break / paus / starpbrīdis
11.30-12.00 Ago-Erik Riet Permutation codes
12.00-12.30 Yauhen Yakimenka Optimisation of parity-check matrices of LDPC codes
12.30-13.00 Ivo Kubjas Data exchange over arbitrary wireless networks
13.00-14.00 lunch / lõunasöök / pusdienas
14.00-......... departure / ärasõit / izbraukšana

Last modified / Viimane uuendus / Pēdējais atjaunojums 30.9.2014