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.
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) |
Tarmo Uustalu