Formaalmeetodite mitteformaalseminar on Küberneetika Instituudi seminar, kus eesmärgiks on tutvumine uute suundade, aga ka klassikaga formaalmeetodite alalt.
Aeg: üldjuhul esmaspäevad kl 14-15.30.
Koht: Küberneetika Maja (Akadeemia tee 21), B-korpus, ruum B216.
Aeg | Teema | Ettekandja |
---|---|---|
R 8.2. kl 14 |
Sissejuhatus universaalalgebrassse | prof K Kaarli (TÜ) |
R 1.3. kl 14 |
Tüübitud lambda-arvutus, kombinaatorarvutus, loomulik tuletus ja Hilberti süsteemid | Tarmo U |
P-R 3.-8.3. |
EWSCS'02 | |
E 11.3. kl 14 |
Modeling with Abstract State Machines at Microsoft |
M Veanes
(Microsoft Research) |
T 12.3. kl 11 |
Types and coalgebraic structure |
prof H P Gumm
(Philipps-Univ Marburg) |
kl 14 | Generalised coinduction | F Bartels
(CWI) |
kl 15 | Monads from inductive and coinductive types | Tarmo U |
E 18.3. kl 14 |
Contraction-aware lambda calculus |
R Matthes
(LMU München) |
E 13.5. kl 14 |
Arvutuslikult turvaline infovoog |
P Laud
(Univ Saarlandes / TÜ / Cybernetica) |
E 20.5. kl 14 |
Otsustusdiagrammid ja digitaalsüsteemide diagnostika | prof R Ubar
(TTÜ) |
E 27.5. kl 14 |
Semantic Web: Internet arenemas intelligentseks süsteemiks | prof T Tammet (TTÜ) |
T 4.6. kl 14 |
Mittestandardsed loogikad ja programmikeeled | Tarmo U |
Tarmo Uustalu