Kolmapäev, 16. oktoober | ||
| saabumine | ||
| 11.45-12.15 | kohvipaus | |
| 12.15-14.00 | Sven Laur | Algarvulisuse testid |
| Ahto Buldas | Digitaalallkiri ja praktiline turvalisus | |
| 14.00 | lõunasöök | |
| 16.00-17.45 | Varmo Vene Tarmo Uustalu | Tüübid, tõestused, juhtimine ja klassikaline loogika |
| Tanel Tammet | (ei tulnud) | |
| 17.45-18.15 | kohvipaus | |
| 18.15-20.00 | Jaan Raik | Struktuursed binaarsed otsustusdiagrammid ja rikete modelleerimine |
| Mati Tombak | Lahendite loendamine ja BDDd | |
| Jan Willemson | Suuruse mõttes efektiivsed intervallajatemplid | |
| 20.00 | õhtusöök | |
| 21.00 | saun & diskussioon | |
Neljapäev, 17. oktoober | ||
| 9.00 | hommikusöök | |
| 10.00-11.45 | Jaanus Pöial | Programmianalüüsi raamistik magasinkeeltele |
| Peeter Laud | Arvutuslikult turvaline infovoog | |
| Helger Lipmaa | Turvalised Vickrey oksjonid ilma läveusalduseta | |
| 11.45-12.15 | kohvipaus | |
| ärasõit v KübI sügisseminar | ||
Helger Lipmaa