Arvutiteaduse teooriaseminar (sügis 2015-kevad 2016)

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.

Ajakava

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
Validated solution of ordinary differential equations 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)

Varasemad aastad

Tarmo Uustalu
Viimane uuendus 6.6.2016