Arvutiteaduse teooriaseminar on Küberneetika Instituudi loogika ja semantika rühma teadlaste lahtine seminar, kuhu on oodatud kõik huvilised, sh kraadiõppurid, IT-firmade töötajad jne, ning kus eesmärgiks on sundimatus õhkkonnas mõõdukas tempos tutvuda uute suundadega, aga ka klassikaga teoreetilise arvutiteaduse alalt, peamiselt programmeerimisteooriast.
Aktiivse osalemise eest võivad kraadiõppurid saada punktid aines TTÜ arvutiteaduse instituudi aines ITT9070/71 Arvutiteaduse teooriaseminar (8.0 EAP).
Jooksev info seminari kohta levib listis tsem(at)lists.ioc.ee, mille tellimiseks saata tuleb saata käsk subscribe tsem Eesnimi Perenimi aadressile sympa(at)lists.ioc.ee.
Aeg: üldjuhul neljapäevad kl 14-15.30.
Koht: Küberneetika Maja (Akadeemia tee 21), B-korpus, ruum B101.
Aeg | Teema | Ettekandja |
---|---|---|
R 11.9. kl 15 |
KübI 55. aastapäeva aktus | |
R-P 18.-20.9. | Coinduction projekti koosolek Sääritsal | |
R-P 2.-4.10. | Teooriapäevad Jõekülas | |
N 15.10. | Nõrkadest mälumudelitest | H Maarand |
R-P 13.-15.11. | Estonian-Finnish logic meeting | |
E 16.11. kl 16.30 |
K Liiva (U of Edinburgh) | |
N 26.11. | Transformers: handlers in disguise | N Wu (U of Bristol) |
N 3.12. | Verifying differentially private Bayesian inference | M Gaboardi (U of Dundee) |
T 8.12. | Nõrkadest mälumudelitest (jätk) | H Maarand |
N-R 10.-11.12. | COST ARVI MC&WG meeting | |
T 22.12. | Nõrkadest mälumudelitest (jätk) | H Maarand |
R-P 29.-31.1. | Teooriapäevad Käos | |
P-R 28.2.-4.3. | EWSCS 2016 | |
T 12.4. kl 16 |
Towards a linear algebra semantics for columnar data storage | J N Oliveira (U do Minho) |
N 14.4. | Directed containers as categories | Tarmo U |
N 21.4. | 'Keep definition, change category': a practical approach to monadic model evolution | J N Oliveira (U do Minho) |
E 25.4. kl 18 |
J N Oliveira (U Minho) loeng EMTAs muusikateooriast ja arvutiteadusest | |
N 28.4. | Programming from metaphorisms | J N Oliveira (U do Minho) |
N 5.5. | A frequentist semantics for a generalized Jeffrey conditionalization | D Draheim |
N 9.6. | An approach to correct-by-construction compilers | A Pardo (U de la República) |