Ajakava / Programme

Reede, 1. veebruar / Friday, 1 February

  saabumine / arrival
14.00-15.00lõunasöök / lunch
15.00-16.00 Sven Laur Need for Speed
Abuzer Yakaryilmaz Quantum alternation
16.00-16.30paus / break
16.30-18.00 Denis Firsov Certified normalization of context-free grammars
Boris Šelajev Program Verification in Spec#
Vesal Vojdani Side-effecting constraint systems: A Swiss army knife for program analysis
18.30-19.30õhtusöök / dinner
19.30- saun & diskussioon / sauna & discussion

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

08.00-09.00 hommikusöök / breakfast
09.00-10.00 Vitali Skachek Coding Theory: From the Past to the Present
10.00-10.30paus / break
10.30-11.30 Jürmo Mehine Unifying NoSQL Data Stores
Briti Deb Regular Expression Learning for Mining Links between Gene - Environment Interactions
11.30-14.00 aktiivne ajaviide / activities
14.00-15.00lõunasöök / lunch
15.00-16.30 Tarmo Uustalu Coinductive big-step semantics for concurrency
Wolfgang Jeltsch Abstract Process Categories
Niccolò Veltri Formalization of the Max-flow Min-cut Theorem in Higher Order Logic
16.30-17.00paus / break
17.00-18.30 Jaak Randmets SecreC for Sharemind 3
Jan Willemson Secure subset cover computation via a genetic algorithm
Ago-Erik Riet On some simple additive combinatorics
18.30-19.30õhtusöök / dinner
19.30- saun & diskussioon / sauna & discussion

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

08.00-09.00 hommikusöök / breakfast
09.00-10.30 Robin Cockett Complexity as Computability over Timed Sets
James Chapman Time Based Art
10.30-11.00paus / break
11.00-12.30 Abel Armas-Cervantes Event Structures as a Foundation for Process Model Differencing
Luciano García-Bañuelos Discovering Branching Conditions from Business Process Execution Logs
Fabrizio Maggi Declarative Process Mining
12.30-13.30lõunasöök / lunch
  ärasõit / departure

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