Reede, 30. jaanuar | ||
| saabumine & suusatamine | ||
| 14.30-15.30 | lõunasöök | |
| 15.30-16.40 | Jaan Penjam | Wreath products of General Automata |
| Valdis Laan | Funktorite põimikkorrutised ja tensorkorrutamine | |
| 16.40-17.00 | paus | |
| 17.00-18.00 | Berry Schoenmakers | Modern Cryptographic Protocols for Electronic Voting |
| 18.00-18.20 | paus | |
| 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.30 | hommikusöö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.30 | suusatamine | |
| 14.30-15.30 | lõ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.00 | paus | |
| 17.00-18.00 | Jan Willemson | Seminar - kuidas indekseerida clobberi seise? |
| 18.00-18.20 | paus | |
| 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.30 | hommikusöök | |
| 09.30-11.00 | Berry Schoenmakers | Modern Cryptographic Protocols for Electronic Voting |
| Varmo Vene | Termineeruv rekursioon ja rekursiivsed koalgebrad | |
| 11.00-11.20 | paus | |
| 11.20-12.30 | Tarmo Uustalu | Monaadilised kõrvalefektid ja koproduktiline modulaarsus |
| Ando Saabas | Towards programming logics for low level languages | |
| 13.00-14.00 | lõunasöök | |
| suusatamine / ärasõit | ||
Peeter Laud