Arvutiteaduse teooriaseminar on Küberneetika Instituudi loogika ja semantika rühma seminar, kuhu oodatud on eelkõige kraadiõppurid 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õib 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.
| 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 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 Nottingham) |
| K-R 19.-21.11. |
NWPT 2008 | |
| K 26.11. kl 14 |
Indexed containers | P Morris (U 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) |
| N 8.1. | ||
| N 15.1. | ||
| N 22.1. | ||
| P-N 25.-29.1. |
COST IC0701 talvekool Viinistul | |
| R-P 30.1.-1.2. |
Teooriapäevad Jõulumäel | |
| N 5.2. | ||
| N 12.2. | ||
| N 19.2. | ||
| N 26.2. | ||
| P-R 1-6.3. |
14. Eesti Arvutiteaduse Talvekool | |
| N 12.3. | ||
| N 19.3. | ||
| N 26.3. | ||
| N 2.4. | ||
| N 9.4. | ||
| N 16.4. | ||
| N 23.4. | ||
| N 30.4. | ||
| N 7.5. | ||
| N 14.5. | ||
| N 21.5. | ||
| N 28.5. |