Arvutiteaduse teooriaseminar (sügis 2003-kevad 2004)

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.

Ajakava

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
Viimane uuendus 21.5.2004