Ajakava / Programme

Reede, 4. veebruar / Friday, 4 February

  saabumine & suusatamine / arrival & skiing
14.00-15.00lõunasöök / lunch
15.00-16.30 Peep Küngas Reverse-Engineering Conference Rankings: What Does it Take to Make a Reputable Conference?
Siim Karus Predicting Code Churn from XML Metrics
Tõnu Tamme Future of e-mail
16.30-17.00paus / break
17.00-18.30 Keiko Nakata Walking through infinite trees constructively via mixed induction-coinduction Helger Lipmaa Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
Wolfgang Jeltsch The Curry-Howard Correspondence between Temporal Logic and Functional Reactive Programming Madeline González Muñiz Time-specific Attribute-based Signatures
Marko Kääramees Model-based Synthesis of Reactive Planning On-line Testers Sven Laur Oblivious shuffle finally done right
19.00-20.00õhtusöök / dinner
20.00- saun & diskussioon / sauna & discussion
 

Laupäev, 5. veebruar / Saturday, 5 February

08.00-09.00 hommikusöök / breakfast
09.00-10.30 Marc Bezem A Hard Problem in Max-Algebra, Control Theory, Hypergraphs and Other Areas
Peeter Laud Polynomial-time logic and liveness
10.30-11.00paus / break
11.00-12.30 Mark Fišel Automatic Translation Error Analysis
Neeme Kahusk Semantic analysis of simple sentences: the way to go for Estonian
Olga Gerassimenko Spoken interaction modelling: the functions of feedback repetitions in spontaneous dialogue
12.30-14.30 aktiivne ajaviide / activities
14.30-15.30lõunasöök / lunch
15.30-17.00 Pelle Jakovits SciCloud: Adapting Scientific computing problems to Cloud
Artjom Lind Mobile Friend-to-Friend Computing
Reina Uba Clone Detection in Repositories of Business Process Models
17.00-17.30paus / break
17.30-19.00 Silvio Capobianco Interactive Seminar: A Colorful Introduction to Cellular Automata
19.00-20.00õhtusöök / dinner
20.00- diskussioon / discussion
 

Pühapäev, 6. veebruar / Sunday, 6 February

08.00-09.00 hommikusöök / breakfast
09.00-10.30 Konstantin Tretjakov Improved Landmark-based Estimation of Shortest Path Distances in Very Large Graphs
Meelis Kull Hypothesis generation in bioinformatics
Oskar Gross Creating Mindmaps of Documents - Using an Example of a News Surveillance System
10.30-11.00paus / break
11.00-12.00 James Chapman Algebras of Relative Monads Liina Kamm Genotype Mining Using Secure Multiparty Computation Techniques
Vesal Vojdani Goblint against automobile racing: Detecting concurrency flaws in interrupt-driven software Jan Willemson X-Road Pseudonymization Service
12.00-13.00lõunasöök / lunch
  suusatamine & ärasõit / skiing & departure

Liina Kamm
Peeter Laud
Helger Lipmaa
Tarmo Uustalu
Varmo Vene
Viimane uuendus 4.02.2011