Arvutiteaduse teooriaseminar (sügis 2004-kevad 2005)

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 2.9.2004. Kevadsemestri esimene seminar toimub N 27.1.2005.

Ajakava

Aeg Teema Ettekandja
N 2.9. Sissejuhatavalt tõestusega koodist
G C Necula, Proof-carrying code, Proc of POPL '97
Tarmo U
N 9.9. Tüübisüsteemidest
A Cardelli, Type systems, CRC Handbook of CS&E
Ando S
N 16.9. Hoare'i loogika, nõrgima eeltingimuse arvutus Ando S
N 23.9. Complexity, information, and incompleteness: a critical examination of algorithmic information theory P Raatikainen (U Helsinki)
N 30.9. Loogilistest raamvärkidest
F Pfenning, Logical frameworks, Handbook of Automated Reasoning
Tarmo U
R-P 1.-3.10. Teooriapäevad Veskisillal  
N-R 14.-15.10. KübI sügisseminar  
N 21.10. Loogilistest raamvärkidest (jätk) Tarmo U
N 28.10. Fundamentaalsest tõestusega koodist
A W Appel, A P Felty, A semantic model of types and machine instructions for proof-carrying code, Proc of POPL '00
Ando S
N 4.11. Temporaalloogika tõestusega koodist
A Bernard, P Lee, Temporal logic for proof-carrying code, Proc of CADE '02
Andre K
N 18.11. Java baitkoodi verifitseerimisest
X Leroy, Java bytecode verification: algorithms and formalizations, J of Autom Reasoning, 2003
Ando S
E 22.11.
kl 14
Data distribution and knot theory A Eppendahl
N 2.12. Ühest programmiloogikast Java baitkoodi jaoks
C L Quigley, A programming logic for Java bytecode programs, Proc of TPHOLs 2003
Pavel G
E 6.12.
kl 14
Data mining and pattern recognition A Zakrevskij (JIIP, Minsk)
N 9.12. Secure information flow by self-composition T Rezk
(INRIA Sophia Antipolis)
E 13.12.
kl 14
Kergekaalulisest Java baitkoodi verifitseerimisest
E Rose, Lightweight bytecode verification, J of Autom Reasoning, 2003
Kaarel S
E 20.12.
kl 14
Ühest Java programmiloogikast
A Poetzsch-Heffter, P Müller, A programming logic for sequential Java, Proc of ESOP '99
Mihhail S
N 27.1. Loogilise programmeerimise loogikatest
D W Loveland, G Nadathur, Proof procedures for logic programming, Handbook of Logic in AI and Logic Programming, v. 5: Logic Programming
Tarmo U
N 3.2. Loogilise programmeerimise loogikatest (jätk) Tarmo U
R-P 4.-6.2. Teooriapäevad Kokel2  
N 10.2. The UU Attribute Grammar System (UUAG) A Löh
P-R 27.2.-4.3. X Eesti Arvutiteaduse Talvekool  
N 10.3. Dialgebraic techniques for object-based programming J Glimming
(SU/KTH)
N 24.3. Programmiloogikast tüübitud pinu ja hüpetega keelele
N Benton, A typed logic for stacks and jumps, draft
Ando S
N 31.3. Typesetting Haskell and more with lhs2TeX A Löh
N 7.4. Veel ühest programmiloogikast baitkoodi jaoks
F Bannwart, P Müller, A program logic for bytecode, Proc of BYTECODE'05
Tarmo U
E 18.4.
kl 14
Ühest kompositsioonilisest loogikast madala taseme keeltele
G Tan, A Appel, A compositional logic for control flow, Manuscript, 2005 
Ando S
N 21.4. Logical instruments for dynamic web service composition E Tõugu
N 28.4 Atribuutgrammatikad ja atribuutide väärtustamine
J Paakki, Attribute grammar paradigms - a high-level methodology in language implementation, ACM Computing Surveys, 1995.
Pavel G
N 5.5. Andmebaasirakenduste testimisest
D Chays et al, An AGENDA for testing relational database applications, Softw Testing, Verif and Reliability, 2004
Risto T
N 19.5. Kõrgemat järku atribuutgrammatikad
H Vogt, S D Swierstra, M F Kuiper, Higher-order attribute grammars, Proc of PLDI '89
Pavel G
E 23.5.
kl 14
Guarantees for resource-bounded computations O Shkaravska
(LMU München)
N 26.5. Amortised analysis of heap consumption O Shkaravska
(LMU München)

Viiteid

Varasemad aastad

Tarmo Uustalu
Viimane uuendus 25.5.2005