Ajakava / Programme

Reede, 30. jaanuar / Friday, 30 January

  saabumine & suusatamine / arrival & skiing
14.00-15.00lõunasöök / lunch
15.00-16.30 Sungwoo Park A judgmental formulation of modal logic
Mohamed El-Zawawy On the relationship between Priestley and stably compact spaces
16.30-17.00paus / break
17.00-19.00 Margus Freudenthal Comparison of document-verification languages
Siim Karus Designing Maintainable XML Transformations
Riina Maigre Stratified Composition of Web Services
Peep Küngas Towards Semantic Interoperability of Information Systems
19.00-20.00õhtusöök / dinner
20.00-20.30 Enn Tyugu Grigori Mints and Computer Science
20.30- saun & diskussioon / sauna & discussion
 

Laupäev, 31. jaanuar / Saturday, 31 January

08.30-09.30 hommikusöök / breakfast
09.30-11.00 Silvio Capobianco Surjectivity and reversibility in cellular automata: A review
Peeter Normak Compactness properties of acts over semigroups
Hellis Tamm Bideterministic automata
11.00-14.30 suusatamine / skiing
14.30-15.30lõunasöök / lunch
15.30-17.30 Meelis Kull Scientific data formats
Raivo Kolde Robust Rank Aggregation and Its Applications in Bioinformatics
Oleg Batrašev Concurrent programming with dataflow variables
Ulrich Norbisrath Inferato - don' t search, inferate! An introduction to Scenario Based Search
17.30-18.00paus / break
18.00-19.30 Dan Bogdanov Interactive seminar: Private computations on humans
19.30-20.30õhtusöök / dinner
20.30- saun & diskussioon / sauna & discussion
 

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

08.30-09.30 hommikusöök / breakfast
09.30-11.00 Keiko Nakata Reasoning about non-terminating programs
Makoto Hamana Inductive Cyclic Data Structures
James Chapman Order Preserving Embeddings
11.00-11.30paus / break
11.30-13.00 Aivo Jürgenson Attack Trees: semi-adaptive model
Margus Niitsoo Exact Reductions and Lower Bounds to Reduction Efficiency in Cryptology
Andres Ojamaa Pareto-Optimal Situaton Analysis for Selection of Security Measures
13.30-14.30lõunasöök / lunch
  suusatamine & ärasõit / skiing & departure

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