Arvutiteaduse teooriaseminar (sügis 2005-kevad 2006)

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 10.11.2005.

Ajakava

Aeg Teema Ettekandja
R-P 28.-30.10. Teooriapäevad Viinistul  
N 10.11. Describing knowledge architectures Enn Tõugu
N 17.11. Teoreemitõestusassistendist Isabelle
T Nipkow, L C Paulson, M Wenzel, Isabelle/HOL: A Proof Assistant for Higher-Order Logic		 Ando S
N 24.11. Size reduction of multitape automata Hellis T
N 1.12. Speeding up model checking by hash table size sweep Juhan E
N 8.12. Structured computation on trees Tarmo U
N 15.12. Side effect monad, its equational theory and applications Olha S
T 27.12. From semantic web services to analysis of global information systems P Küngas
(NTNU)
N 2.2. Systems biology and brane logics M Miculan
(U Udine)
R-P 3.-5.2. Teooriapäevad Kokel3  
N 9.2. Web services composition with WS-BPEL and OWL-S R Maigre
N 16.2. Is constructive logic relevant for computer science? T Altenkirch
(U Nottingham)
N 23.2.
kl 10		 Intro to linear logic A Ojamaa
N 2.3. Uuemat süsteemist CoCoViLa E Tõugu,
P Grigorenko,
A Ojamaa
P-R 5.-10.3. XI Eesti Arvutiteaduse Talvekool  
N 16.3. Representing cyclic structures as nested datatypes Tarmo U
E 20.3.
kl 14		 New algorithms on compressed texts Yu Lifshits
(POMI)
N 23.3. Ülevaade JMList ja BCSList Ando S
N 6.4. Andmevooanalüüsid ja tüübisüsteemid Tarmo U
T 25.4.
kl 17		 Model program based black-box testing M Veanes
(MS Research)
N 27.4. Petri nets and Minsky machines in linear logic A Ojamaa
N 4.5. Reflections on [Boffa 1988] Consis(NFU) proof S Tupailo
N 11.5. Overview of Web services with examples R Maigre
R 30.6. Don't push: obstacle avoidance by suppression of irreversible actions A Eppendahl
(U Malaya)
T 4.7.
kl 10.30		 From workflow and use case scenarios to protocols for distributed applications G v Bochmann
(U of Ottawa)
x xx.x.(?) An inconsistent variation on NF S Tupailo

Varasemad aastad

Tarmo Uustalu
Viimane uuendus 28.7.2006