Teooriapäevad Kokel: Ajakava

Reede, 30. jaanuar

 saabumine & suusatamine
14.30-15.30lõunasöök
15.30-16.40 Jaan Penjam Wreath products of General Automata
Valdis Laan Funktorite põimikkorrutised ja tensorkorrutamine
16.40-17.00paus
17.00-18.00 Berry Schoenmakers Modern Cryptographic Protocols for Electronic Voting
18.00-18.20paus
18.20-19.20 Ahto Buldas How to prove non-existence of proofs in theoretical cryptography?
19.30-20.30õhtusöök
20.30-saun & diskussioon
 

Laupäev, 31. jaanuar

08.30-09.30hommikusöök
09.30-11.00 Berry Schoenmakers Modern Cryptographic Protocols for Electronic Voting
Helger Lipmaa Interleaving Cryptography and Mechanism Design: The Case of Online Auctions
11.00-14.30suusatamine
14.30-15.30lõunasöök
15.30-16.40 Heli Uibo Finite-State Transducers and Their Applications in Natural Language Processing
Kaarel Kaljurand Loomuliku keele süntaksi analüsaatori kasutamine infootsingu ülesande paremaks lahendamiseks
16.40-17.00paus
17.00-18.00 Jan Willemson Seminar - kuidas indekseerida clobberi seise?
18.00-18.20paus
18.20-19.20 Jan Willemson Seminar - kuidas indekseerida clobberi seise?
19.30-20.30õhtusöök
20.30-saun & diskussioon
 

Pühapäev, 1. veebruar

08.30-09.30hommikusöök
09.30-11.00 Berry Schoenmakers Modern Cryptographic Protocols for Electronic Voting
Varmo Vene Termineeruv rekursioon ja rekursiivsed koalgebrad
11.00-11.20paus
11.20-12.30 Tarmo Uustalu Monaadilised kõrvalefektid ja koproduktiline modulaarsus
Ando Saabas Towards programming logics for low level languages
13.00-14.00lõunasöök
  suusatamine / ärasõit

Peeter Laud
Helger Lipmaa
Tarmo Uustalu
Varmo Vene
Viimane uuendus 21.01.2004