Teooriapäevad Jõekülas / Theory Days at Jõeküla: Ajakava / Programme

Reede, 2. oktoober 2015 / Friday, 2 October 2015

 saabumine / arrival
14.30-15.30lõunasöök / lunch
15.30-17.00 Helger Lipmaa Optimal rate private information retrieval from homomorphic encryption
Michal Zajac Leakage-resilient cryptography with key derived from sensitive data
Martin Pettai Combining differential privacy and secure multiparty computation
17.00-17.30paus / break
17.30-19.00 Anton Charnamord Genetic approximations for the failure-free security games
Gelo Tabia Recursive quantum algorithms for integrated linear optics
Silvio Capobianco Post-surjectivity and pre-injectivity in cellular automata: an exchange of power
19.00-20.00õhtusöök / dinner
20.30-saun & diskussioon / sauna & discussion

Laupäev, 3. oktoober 2015 / Saturday, 3 October 2015

8.00-9.00hommikusöök / breakfast
9.00-10.30 Marlon Dumas Process mining reloaded: event structures as a unified representation of process models and event logs
Luciano García Banuelos Business process conformance checking based on event structures
Abel Armas Cervantes Diagnosing behavioral differences between business process models
10.30-11.00paus / break
11.00-12.30 Hellis Tamm Generalization of the double-reversal method of finding a canonical residual finite state automaton
Danel Ahman Fibred computational effects
Tarmo Uustalu A divertimento on MonadPlus and nondeterminism
12.30-13.30lõuna / lunch
13.30-16.00aktiivne ajaviide / activities
16.00-17.00 Gholamreza Anbarjafari Image illumination enhancement: conventional image enhancement to high dynamic range image enhancement
17.00-17.30paus / break
17.30-19.00 Hui Zhang Switch codes for computer networks
Benson Muite Solving the Klein-Gordon equation using Fourier spectral methods: a benchmark test for computer performance
Amnir Hadachi Mobile data: challenges, analysis, mobility and prediction
19.00-20.00õhtusöök / dinner
20.30-saun & diskussioon / sauna & discussion

Pühapäev, 4. oktoober 2015 / Sunday, 4 October 2015

8.00-9.00hommikusöök / breakfast
9.00-10.30 Mozhgan Pourmoradnasseri The rectangle covering number of random boolean matrices
Abdullah Makkeh Oriented coloring of a grid
Ago-Erik Riet Graph saturation games
10.30-11.00paus / break
11.00-12.30 Alisa Pankova Verification of multiparty protocols with semihonest majority
Peeter Laud Privacy preserving business process matching
Jaak Randmets A domain-specific language for low-level secure multiparty computation protocols
12.30-13.30lõunasöök / lunch
13.30 ärasõit / departure
Peeter Laud
Helger Lipmaa
Tarmo Uustalu
Varmo Vene
Viimane uuendus 28.9.2015