Esmaspäev, 3. veebruar | ||
| saabumine & suusatamine | ||
| 14.00-15.00 | lõunasöök | |
| 15.30-16.20 | Neil Ghani | Introduction to category theory 1 |
| 16.20-16.40 | paus | |
| 16.40-17.50 | Jaak Vilo | Mining the functional genomics data |
| Maido Remm | Genotüpiseerimine ja bioinformaatika - bioloogilised ja arvutuslikud probleemid | |
| 17.50-18.10 | paus | |
| 18.10-19.20 | Jüri Vain | Verification of hybrid dynamical systems |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Teisipäev, 4. veebruar | ||
| 08.00-08.45 | hommikusöök | |
| 09.00-10.30 | Neil Ghani | Introduction to category theory 2 |
| Peeter Laud | Esimesed sammud krüptograafiliste protokollide arvutuslikus mõttes korrektse konfidentsiaalsusanalüüsi suunal | |
| 10.30- | suusatamine | |
| 14.00-15.00 | lõunasöök | |
| 15.30-16.20 | Neil Ghani | Introduction to category theory 3 |
| 16.20-16.40 | paus | |
| 16.40-17.50 | Tarmo Uustalu | Gödeli meeldetuletus |
| 17.50-18.10 | paus | |
| 18.10-19.20 | Jan Willemson | Covering the path space: a casebase analysis for mobile robot path planning |
| Juhan Ernits | Java programmide verifitseerimine | |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Kolmapäev, 5. veebruar | ||
| 08.00-08.45 | hommikusöök | |
| 09.00-10.30 | Neil Ghani | Introduction to category theory 4 |
| Varmo Vene | Mendler-style Recursion Schemes for Inductive Types | |
| 10.30-10.50 | paus | |
| 10.50-11.40 | Neil Ghani | Introduction to category theory 5 |
| 11.40- | suusatamine | |
| 14.00-15.00 | lõunasöök | |
| ärasõit / TÜ ATI aastaseminar | ||
Helger Lipmaa