Teooriapäevad Arulas: Ajakava

Esmaspäev, 3. veebruar

 saabumine & suusatamine
14.00-15.00lõunasöök
15.30-16.20 Neil Ghani Introduction to category theory 1
16.20-16.40paus
16.40-17.50 Jaak Vilo Mining the functional genomics data
Maido Remm Genotüpiseerimine ja bioinformaatika - bioloogilised ja arvutuslikud probleemid
17.50-18.10paus
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.45hommikusöö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.00lõunasöök
15.30-16.20 Neil Ghani Introduction to category theory 3
16.20-16.40paus
16.40-17.50 Tarmo Uustalu Gödeli meeldetuletus
17.50-18.10paus
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.45hommikusöök
09.00-10.30 Neil Ghani Introduction to category theory 4
Varmo Vene Mendler-style Recursion Schemes for Inductive Types
10.30-10.50paus
10.50-11.40 Neil Ghani Introduction to category theory 5
11.40-suusatamine
14.00-15.00lõunasöök
  ärasõit / TÜ ATI aastaseminar

Helger Lipmaa
Tarmo Uustalu
Varmo Vene
Viimane uuendus 01.02.2003