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.
Aeg | Teema | Ettekandja |
---|---|---|
N 4.9. kl 12 |
General recursion in type theory | V Capretta (INRIA Sophia Antipolis) |
N 11.9. | CDC seminariettekannete päev Tartus formaalmeetoditest | |
N 18.9. | Sissejuhatus programmianalüüsi F Nielson, H R Nielson, C Hankin, Principles of program analysis, Springer-Verlag, 1999 |
Tarmo U |
N 25.9. | Klassikalistest andmevooanalüüsidest lähemalt | Tarmo U |
R-P 3.-5.10. | Teooriapäevad Pedasel | |
E 6.10. kl 14 |
Multiplikatiivse mittekommutatiivse lineaarloogika keerukus | M Pentus (Moskva RÜ) |
N 9.10. | Laiendamine/kitsendamine andmevooanalüüsides | V Vojdani (TÜ) |
N 23.10. | Intensionaalsest programmeerimisest E A Ashcroft, A A Faustini, R Jagannathan, W W Wadge, Multidimensional programming, OUP, 1995 |
Rustam N |
N 30.10. | Intensionaalsest programmeerimisest (jätk) | Rustam N |
N 6.11. | Programmianalüüsi algoritmidest | H-R Laast-Laas |
N 20.11. | Parametric polymorphism via containers | N Ghani (U Leicester) |
N 27.11. | Maatriksite korrutamise kaudu programmianalüüsi | H Nestra (TÜ) |
N 4.12. | Construction of counter-models for intuitionistic propositional logic | L Pinto (U Minho) |
N 11.12. kl 16 |
Suhteline salajasus | P Laud (TÜ) |
R-P 30.1.-1.2. | Teooriapäevad Kokel | |
N 5.2. | Eraldamisloogikast (ehk Hoare'i loogikast pointeritega
keelte jaoks) J Reynolds, Separation logic, Proc of LICS'02, 2002 |
Tarmo U |
N 19.2. | Eraldamisloogikast (jätk) | Tarmo U |
N 26.2. | Klasterdamisalgoritm sündmuste logidest mustrite kaevandamiseks | R Vaarandi
(EÜP) |
P 29.2. -R 5.3. |
9. Eesti Arvutiteaduse Talvekool | |
N 11.3. | Eraldamisloogikast (jätk) | Rustam N |
N 18.3. | Tarkvara mudelikontrollist ja BLASTist | Juhan E |
N 8.4. | SLAMist ning Boole'i ja Cartesiuse abstraktsioonidest | Tarmo U |
E 12.4. kl 14 |
Security types preserving compilation | T Rezk
(INRIA Sophia Antipolis) |
K-R 14.-16.4. |
2nd APPSEM-II Workshop | |
N 22.4. | Prantsuse sünkroonkeeltest, spetsiifiliselt Lustre'ist N Halbwachs, Synchronous programming of reactive systems, Kluwer, 1993 |
Tarmo U |
N 29.4. | Independence-friendly existential graphs | A Pietarinen
(U of Helsinki) |
N 6.5. | Internalised Kripke semantics and proof analysis in modal logic | S Negri
(U of Helsinki) |
R 7.5. kl 11 |
Consistency of arithmetic through sequent calculus in natural deduction style | J von Plato
(U of Helsinki) |
N 13.5. | Prantsuse sünkroonkeeltest, spetsiifiliselt Esterelist | Rustam N |
N 20.5. | Prantsuse sünkroonkeeltest (jätk) | Rustam N |
N 27.5. | Kirjeldusloogikatest ja nende rakendustest andmemodelleerimises | H-R Laast-Laas |
Tarmo Uustalu