Arvutiteaduse teooriaseminar (sügis 2016-kevad 2017)

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
E 29.8.
kl 14		 Quotiented delay monad as the initial ω-join classifying monad Niccolò V
K 31.8.
kl 11		 Denis Firsovi doktorikaitsmine  
K 31.8.
kl 16		 Hereditarily finite sets in constructive type theory G Smolka
(U Saarlandes)
N 1.9. Deciding Kleene algebra terms equivalence in Coq S Melo de Sousa
(U Beira Interior)
N 8.9.
kl 14		 KübI 56. aastapäeva aktus  
E 26.9.
kl 10
ICT-411		 Symbolic automata and monadic second-order logic M Veanes
(Microsoft Research)
E 10.10
kl 16		 Mazurkiewiczi jälgede teooriast Hendrik M
N-P 13.-16.10. Teooriapäevad Lilastes-2  
N 27.10. Monadic stream functions: continuity and bar recursion V Capretta
(U of Nottingham)
N 3.11. Grading monads, comonads and distributive laws Tarmo U
N 10.11. A more functional approach to incremental computing Wolfgang J
N 17.11. Grading monads, comonads and distributive laws ctd Tarmo U
N 8.12. String diagrams for free monads M Piróg
(U of Wroclaw)
N 15.12.
kl 10		 Andres Ojamaa doktorikaitsmine  
T 20.12.
kl 14		 Symbolic automata tutorial, part II: extensions M Veanes
(Microsoft Research)
N 9.2.2017 Handlers in scope N Wu
(U of Bristol)
N 16.2.
ICT-507AB		 Predictive monitoring of business processes M Dumas
(U of Tartu)
E 15.5.
kl 12.30		 Some enumerative, topological, and algebraic aspects of linear lambda calculus N Zeilberger
(U of Birmingham)
N 25.5. The coinductive formulation of common knowledge V Capretta
(U of Nottingham)
R 26.5.
kl 11		 Niccolò Veltri doktorikaitsmine  
R 26.5.
kl 16		 Infinite sets that satisfy the principle of omniscience in constructive type theory M Escardó
(U of Birmingham)

Varasemad aastad

Tarmo Uustalu
Viimane uuendus 8.5.2017