Formaalmeetodite mitteformaalseminar (sügis 2002-kevad 2003)

Formaalmeetodite mitteformaalseminar 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 programmeerimisteooria ja formaalmeetodite alalt.

Aktiivse osalemise eest võib sel aastal saada punktid aines ITI9120 Arvutiteaduse eriteemad.

Jooksev info seminari kohta levib listis fmmf(at)lists.ioc.ee, mille tellimiseks saata tuleb saata käsk subscribe fmmf 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 B216.

Ajakava

Aeg Teema Ettekandja
N 26.9.
kl 14
Loogika ebamõistlikust tõhususest arvutiteaduses
(J Y Halpern, R Harper, N Immermann, P G Kolaitis, M Y Vardi, V Vianu, On the unusual effectiveness of logic in computer science, Bull of Symb Logic, v 7, n 2, pp 213-236, 2001)
Tarmo U
N 3.10
kl 14
Loogika ebamõistlikust tõhususest arvutiteaduses (jätk) Tarmo U
N 10.10
kl 14
Loogika ebamõistlikust tõhususest arvutiteaduses (jätk) Jüri V
K-N
16.-17.10.
Teooriapäev Roostal  
N 24.10.
kl 15 (!)
Esimene sissejuhatus Gurevichi abstraktsetesse olekumasinatesse Tarmo U
N 31.10.
kl 14
Java ja JVMi defineerimisest, verifitseerimisest ja valideerimisest ASMidega
(R Stärk, J Schmid, E Börger, Java and the Java Virtual Machine, 2001)
Juhan E
N 7.11.
kl 14
Java ja JVMi defineerimisest, verifitseerimisest ja valideerimisest ASMidega (jätk) Vahur K
N 14.11.
kl 14
Java ja JVMi defineerimisest, verifitseerimisest ja valideerimisest ASMidega (jätk) Ando S
E 18.11.
kl 14
What is an algorithm? prof Yu Gurevich
(Microsoft Research)
T 19.11.
kl 11
Mathematics and programming: A revolution in the art of effective reasoning prof R Backhouse
(U of Nottingham)
K-R
20.-22.11.
NWPT '02  
E 25.11.
kl 14
Quotient relations and data abstraction A Eppendahl
(Queen Mary)
N 28.11.
kl 14
Java ja JVMi defineerimisest, verifitseerimisest ja valideerimisest ASMidega (jätk) Juhan E
N 5.12.
kl 14
CCSist: sissejuhatus, süntaks, struktuurne kongruents, operatsioonsemantika, tugev bisimilaarsus
(R Milner, Communicating and mobile systems: the pi-calculus, 1999)
Ando S
N 23.1.
kl 14
CCSist: tugev bisimilaarsus, nõrk bisimilaarsus Tarmo U
N 30.1.
kl 14 B126
CCSist: nõrk bisimilaarsus, näited Tarmo U
E 3.2.-
K 5.2.
Teooriapäevad Arulas  
N 20.2.
kl 14
Concurrency Workbenchist /
pii-arvutusest: sissejuhatus
Juhan E /
Ando S
N 27.2.
kl 14
pii-arvutusest Ando S
P 2.3.-
R 7.3.
EWSCS'03  
N 13.3.
kl 14 B317
pii-arvutusest Ando S
N 3.4.
kl 15.30
Järjestustest ja võredest
H A Priestley, Ordered sets and complete lattices: a primer for computer science, Lect Notes in Comp Sci, v 2297, pp 21-78, 2002)
Tarmo U
N 10.4.
kl 14
Järjestustest ja võredest (jätk) Marko K
N 17.4.
kl 14 B317
Järjestustest ja võredest (jätk) Marko K
N 24.4.
kl 14
Järjestustest ja võredest (jätk) Tarmo U
N 8.5.
kl 14
Järjestustest ja võredest (jätk) Tarmo U
N 15.4.
kl 14
Reasoning about JavaCard G Barthe
(INRIA Sophia Antipolis)

Materjale

Gurevichi abstraktsed olekumasinad:

Varasemad ettekanded

Tarmo Uustalu
Viimane uuendus 17.6.2003