Teooriapäevad Rõuges: Ajakava

Reede, 26. jaanuar

 saabumine & suusatamine
14.30-15.30lõunasöök
15.30-17.00 Tarmo Uustalu Categorical views on bottom-up tree transducers
Vesal Vojdani Completely generic as-path-sensitive-as-necessary multithreaded API analysis
Sven Laur Two views on cryptographic reductions: Closing the gap between cryptography and program analysis
17.00-17.30paus
17.30-19.00 Eero Vainikko Parallel Solution of PageRank Problem
Ulrich Norbisrath Configuring eHome systems
Rein Prank Interactive problem solving environment T-algebra
19.30-20.30õhtusöök
20.30-saun & diskussioon
 

Laupäev, 27. jaanuar

08.30-09.30hommikusöök
09.30-11.00 Meelis Kull Studying Alternative Splicing
Kristo Tammeoja Approximate Search of Regular Expressions Using Bit-Parallel algorithms
Reina Käärik Generalised edit distance
11.00-14.30suusatamine
14.30-15.30lõunasöök
15.30-16.30 Jaanus Pöial Tüübikontrolli vahendid tüübivabade magasinkeelte jaoks
Ando Saabas Type systems for optimizing stack-based code
16.30-17.00paus
17.00-19.00 Härmel Nestra Algorithms for multi-dimensional search
19.30-20.30õhtusöök
20.30-saun & diskussioon
 

Pühapäev, 28. jaanuar

08.30-09.30hommikusöök
09.30-10.30 Helger Lipmaa Cryptographic techniques in privacy-preserving data-mining
10.30-11.00paus
11.00-12.30 Dan Bogdanov Framework for Fast Prototyping of Secure Computations
Peeter Laud Dependency-graph-based protocol analysis II
Jan Willemson Algorithmic Generation of Path Fragment Covers for Mobile Robot Path Planning
13.00-14.00lõunasöök
  suusatamine / ärasõit

Peeter Laud
Helger Lipmaa
Tarmo Uustalu
Varmo Vene
Viimane uuendus 22.01.2007