Arvutiteaduse teooriaseminar (sügis 2010-kevad 2011)

Arvutiteaduse teooriaseminar on Küberneetika Instituudi loogika ja semantika rühma teadlaste lahtine seminar, kuhu on oodatud kõik huvilised, sh kraadiõppurid, IT-firmade töötajad jne, 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õivad kraadiõppurid saada punktid aines TTÜ arvutiteaduse instituudi aines ITT9070/71 Arvutiteaduse teooriaseminar (8.0 EAP).

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
T 31.8.
kl 14
Miniworkshop on cellular automata software  
K 1.9.
kl 14
Tilings and undecidability in cellular automata J Kari
(U of Turku)
N 9.9. Relating sequent calculi for bi-intuitionistic propositional logic Tarmo U
N-P
30.9.-3.10.
Teooriapäevad Rakaris  
K 6.10.
kl 13.30
Decision algorithms for Presburger arithmetic M R Hansen
(Danmarks TU)
N 7.10. Gravitational search algorithm M Spitšakova
N 21.10.
kl 13
(VII-614)
Structured derivations: a method for teaching proofs in high school mathematics R-J Back
(Åbo Akademi)
N 2.12. Monadic translation of sequent calculus for classical logic L Pinto
(U do Minho)
K 8.12.
kl 14
Preemptive type checking in dynamically typed programs N Grech
(U of Southampton)
N 9.12 Industrial-strength certified SAT solving through verified SAT proof checking B Fischer
(U of Southampton)
N 20.1. Pragmatic integration of model-driven engineering and formal methods for safety-critical systems design M Pantel
(INP Toulouse)
N 3.2. Bar recursion M Bezem
(U i Bergen)
R-P
4.-6.2.
Teooriapäevad Nelijärvel  
N 10.2. Programming in Linear Temporal Logic W Jeltsch
(TU Cottbus)
P-R
27.2.-4.3.
EWSCS 2011  
N 10.3. Deployment components with parametric concurrency R Schlatte
(U i Oslo)
N 7.4. Noether's theorem: past, present, and a possible future Silvio C
N 21.4. Introduction to the theory of átomata Hellis T
N 5.5. Nondeterminism, fixpoints and bisimulation P B Levy
(U of Birmingham)
T 10.5.
kl 14
Nondeterminism, fixpoints and bisimulation (part 2) P B Levy
(U of Birmingham)
N 12.5. Coinductive graph representation C Picard
(U Toulouse 3)
E 16.5. Scala code generation from ABS Andri S
T 17.5.
kl 14
Composition of web services on large service models R Maigre
N 2.6. Applicative shortcut fusion A Pardo
(U República)
N 2.6.
kl 16
Array programming with monads and comonads D Orchard
(U of Cambridge)
N 9.6. Quotient complexity of regular languages J Brzozowski
(U of Waterloo)
E 13.6
kl 14
Syntactic complexity of regular languages J Brzozowski
(U of Waterloo)
E 13.6.
kl 16
Decidable second-order theories G Mints
(Stanford U)

Varasemad aastad

Tarmo Uustalu
Viimane uuendus 6.6.2011