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 |