Arvutiteaduse teooriaseminar (sügis 2008-kevad 2009)

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.

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.

Sügissemestri esimene teooriaseminar toimub N 11.9.2008.

Ajakava

Aeg Teema Ettekandja
N 4.9. Kübi 48. aastapäev  
N 11.9. Sissejuhatus keelde Scala A Saar
N-R
18.-19.9.
EXCSi avaseminar  
N 25.9. Towards less painful verification of the full correctness for C K Nakata
(CNAM / INRIA)
N 2.10. Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents L Postniece
(ANU)
R-P
3.-5.10.
Teooriapäevad Jõulumäel  
N 9.10. Explaining verification conditions B Fischer
(U of Southampton)
N 16.10. Scala aktorid A Saar
N 6.11. Type checking recursive ML-style modules with fully applicative functors Keiko N
N 13.11. Explicit binds: effortless efficiency with or without trees Tarmo U
T 18.11.
kl 14
Type checking and normalisation J Chapman
(U of Nottingham)
K-R
19.-21.11.
NWPT 2008  
K 26.11.
kl 14
Indexed containers P Morris
(U of Nottingham)
N 27.11. A system- and language-theoretic outlook on cellular automata S Capobianco
N 4.12. Semantic spaces in Priestley form Mohamed El-Z
N 11.12. The logic of here-and-there and answer set programming G Mints
(Stanford U)
N 18.12. Tarkvaralisest transaktsioonilisest mälust A Saar
E 22.12.
kl 14
Parameterization in monadic logic G Mints
(Stanford U)
P-N
25.-29.1.
COST IC0701 talvekool Viinistul  
R-P
30.1.-1.2.
Teooriapäevad Käärikul  
P-R
1-6.3.
14. Eesti Arvutiteaduse Talvekool  
T 24.3.
kl 11
An extended form of shortcut fusion with multiple applications A Pardo
(U de la República)
N 2.4. Mealy and Elgot machines: taking feedback seriously Tarmo U
E 6.4.
kl 14
Normalization by evaluation A Abel
(LMU München)
K 8.4.
kl 14
Ernst and the King: myths and facts about chess and game theory Silvio C
N 23.4. Trace-based coinductive operational semantics for While: big-step and small-step styles Keiko N
N 21.5.
14.30
Seminar situatsioonijuhtimisest ja küberkaitsest G Jakobson jt
R 5.6.
kl 14
Computers without batteries? Rewriting cellular automata into block automata Silvio C
E 8.6.
kl 14
From High School Algebra to University Algebra T Altenkirch
(U of Nottingham)
T 9.6.
kl 14
Polynomial solutions of non-linear recurrence relations O Shkaravska
(Radboud U Nijmegen)
N 11.6.
kl 15
Symbolic query exploration Pavel G
N 23.7. Why are modalities good for interface theory? E Badouel
(INRIA Rennes)

Varasemad aastad

Tarmo Uustalu
Viimane uuendus 20.7.2009