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 13.9.2007.
| Aeg | Teema | Ettekandja |
|---|---|---|
| E 3.9. kl 10 |
On automatic differentiation of computer codes | E Tadjouddine (U Aberdeen) |
| N 6.9. | Kübi 47. aastapäev | |
| N 13.9. | Omistuste liigutamisest J Knoop, O Rüthing, B Steffen, The power of assignment motion, Proc of PLDI '95 |
Ando S |
| R-P 28.-30.9. |
Teooriapäevad Vanaõuel | |
| N 4.10. | Web services ecosystems: from semantics to dynamic Web applications | P Küngas (SOA Trader) |
| N-R 8.-9.11. |
KübI sügisseminar Jänedal | |
| T 11.12. kl 11 |
A relational proof system for non-interference of unstructured bytecode | L Beringer (LMU München) |
| T 18.12. kl 14 |
Symbolic reachability checking of model programs | M Veanes (MSR Redmond) |
| N 3.1. | CoCoViLa arendusest | Pavel G |
| E-T 21.-22.1. |
CDC lõpuworkshop | |
| R-P 25.-27.1. |
Teooriapäevad Põlvas | |
| N 21.2. kl 15 |
Tõenäosuslikust mäluohutusest E D Berger, B G Zorn, DieHard: probabilistic memory safety for unsafe languages, Proc of PLDI 2006 |
Juhan E |
| P-R 2.-7.3. |
13. Eesti arvutiteaduse talvekool | |
| N 13.3. | Declarative programming in data validation (plaanid magistritööks) | Vadim Gerassimov |
| N 8.5. | Deductive verification of C programs with KeY | Oleg Mürk |
| R 16.5. kl 14 |
SMT for bounded reachability of model programs | Ando S |
| N 22.5. | SMT for bounded reachability of model programs (jätk) | Ando S |
| N 14.8. | Static polynomial size analysis for functional programs | O Shkaravska (Radboud U Nijmegen) |