Arvutiteaduse teooriaseminar on Küberneetika Instituudi ja TTÜ arvutiteaduse instituudi 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 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 21.9.2006. Sel semestril vaheldame tehnilisi ettekandeid programmikeelte klassikaliste artiklite (Turingi auhinna loengud jmt) lugemisega.
| Aeg | Teema | Ettekandja |
|---|---|---|
| N 21.9. | Lugemine: R D Tennent, The denotational semantics of programming languages, Commun ACM 1976 (1) | Tarmo U |
| E-N 25.-28.9. | Gordon Pace (U of Malta) kursus | |
| R-P 29.9-1.10. | Teooriapäevad Voorel | |
| N 5.10 | KübI sügisseminar | |
| N 12.10. | Lugemine: R D Tennent, The denotational semantics of programming languages, Commun ACM 1976 (2) | Tarmo U |
| N 9.11. | Java baitkoodi analüüsimisest ja optimeerimisest | Ando S |
| N 11.1. | TLÜ informaatika osakonna ettekandeseminar (P Normak, M Kaipainen, M Laanpere ja K Pata, K Niglas) | |
| R-P 26.-28.1. | Teooriapäevad Rõuges | |
| N 8.2. | Lõplike olekumasinate geneetiline tuletamine | M Spitšakova |
| N 1.3. | Tüübikontrolli vahendid tüübivabade magasinkeelte jaoks | J Pöial (IT Kolledž) |
| R 2.3. | Contracts and types | A Löh (U Bonn) |
| P-R 4.-9.3. | 12. Eesti Arvutiteaduse Talvekool | |
| N 15.3. | From reactions to observations: the directed bigraphical model | M Miculan (U Udine) |
| N 22.3. | Y Korukhova artikkel deduktiivsest programmisünteesist | P Grigorenko |
| E-N 2.-5.4. | Igor Kotenko ja Aleksandr Ulanovi (Vene TA Automaatika- ja Informaatikainstituut) kursus | |
| N 12.4. | Polynomial size analysis of first-order functions | O Shkaravska (Radboud U Nijmegen) |
| T-R 17.-20.4. | Margus Veanesi (Microsoft Research) kursus | |
| N 19.4. | The path to Computer Mathematics | V Capretta (Radboud U Nijmegen) |
| N 26.4. | Indexed containers | T Altenkirch (U Nottingham) |
| N 10.5. | On transition minimality of bideterministic automata | H Tamm |
| R-L 11.-12.5. |
IKTDK 2. aastakonverents Viinistul | |
| N 24.5. | Laisast koodiliigutamisest J Knoop, O Rüthing, B Steffen, Lazy code motion, Proc of PLDI 1992 |
Ando S |
| N 31.5. | How to be firmly antifounded? | Tarmo U |
| N 14.6. | A security review of the biometric passport | B Jacobs (Radboud U Nijmegen) |
| K 20.6. kl 12 |
Digital systems and informatics vs. physics and mathematics | E Fredkin (CMU) |
| N 2.8. | Sequent calculus and extensions of lambda-calculus | L Pinto (U Minho) |