Teooriapäevad Käos / Theory Days at Käo: Ajakava / Programme

Reede, 29. jaanuar 2016 / Friday, 29 January 2016

 saabumine / arrival
14.30-15.30lõunasöök / lunch
15.30-16.40 Hellis Tamm Lower bound methods for the size of nondeterministic finite automata revisited
Silvio Capobianco Sofic groups and cellular automata
16.40-17.10paus / break
17.10-18.55 Vitaly Skachek New bound for batch codes with restricted query size
Nalin Jayakody Transceiver hardware impairments in cognitive networks
Ahto Truu Efficient implementation of hash-sequence signatures
19.00-20.00õhtusöök / dinner
20.00-saun & diskussioon / sauna & discussion

Laupäev, 30. jaanuar 2016 / Saturday, 30 January 2016

8.00-9.00hommikusöök / breakfast
9.00-10.10 Ando Saabas Interpreting machine learning models
10.10-10.40paus / break
10.40-11.50 Kalmer Apinis Enhancing top-down solving with widening and narrowing
Juhan Ernits Model programs in F#: model-based testing reloaded
11.50-14.00aktiivne ajaviide / activities
14.00-15.00lõunasöök / lunch
15.00-16.40 Denis Firsov Variations on Noetherianness
Tarmo Uustalu A coalgebraic view of bar induction and bar recursion
Liisi Kerik, Jaak Randmets Optimizing SMC for robust and scalable integer and floating-point arithmetic
16.40-17.10paus / break
17.10-18.55 Dominique Unruh Verification of quantum cryptography
Gelo Tabia A geometric approach to quantum probabilities
19.00-20.00õhtusöök / dinner
20.00-saun & diskussioon / sauna & discussion

Pühapäev, 31. jaanuar 2016 / Sunday, 31 January 2016

8.00-9.00hommikusöök / breakfast
9.00-10.10 Ehsan Ebrahimi Quantum collision-resistance of non-uniformly distributed functions
Mayuresh Anand Post-quantum security of the CBC, CFB, OFB, CTR, and XTS modes of operation
10.10-10.40paus / break
10.40-12.25 Gholamreza Anbarjafari Facial multi-emotional expression recognition using C-support vector classification
Pejman Rasti Facial image super resolution using sparse representation for improving face recognition in surveillance monitoring
Morteza Daneshmand 3D modeling and visualization
12.30-13.30lõunasöök / lunch
13.30 ärasõit / departure
Peeter Laud
Helger Lipmaa
Tarmo Uustalu
Varmo Vene
Viimane uuendus 25.1.2016