Arvutiteaduse teooriaseminar (sügis 2014-kevad 2015)

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.

Esimene seminar toimub N 11.9.

Ajakava

Aeg	Teema	Ettekandja
N 4.9. kl 12	KübI 54. aastapäeva aktus
N 11.9.	Coalgebraic update lenses	Tarmo U
N 18.9.	Functional programming with resources as a Haskell library	Wolfgang J
P-T 21.-23.9.	Coinduction projekti koosolek
N 25.9.	On linear cellular automata (with special focus on rule 90)	Silvio C
N-P 2.-5.10.	Teooriapäevad Ratniekis
N 9.10.	Concrete categorical semantics for functional reactive programming with resources	Wolfgang J
K 15.10. 14.30	Towards a framework for formal assurance cases in Agda	M Takeyama (Kanagawa U)
N-K 16.-22.10.	Agda Intensive Meeting XX
N 23.10.	Cellular automata with assumption-commitment schemes	T Lints
N 6.11.	A realizability model for a type theory	Keiko N
P-T 9.-11.11.	Coinduction projekti koosolek
N 13.11.	Functional incremental computing	Denis F
N 20.11.	Two set-based implementations of quotients in type theory	Niccolò V
N 27.11.	A software product line approach for semantic specification of block libraries in dataflow languages	Andres T
N 4.12.	An efficient solution to the order maintenance problem	Wolfgang J
N 18.12.	Strong normalization for guarded types	A Abel (Chalmers UT)
R-P 6.-8.2	Teooriapäevad Rogosis
P-R 1.-6.3.	EWSCS 2015
N 26.3.	The monadic continuity principle	V Capretta (U of Nottingham)
N 30.4.	Quotienting the delay monad by weak bisimilarity	Niccolò V
N 14.5.	A divertimento on MonadPlus and nondeterminism	Tarmo U
E-N 18.-21.5.	TYPES 2015
N 28.5.	Dependently-typed CBPV (and EEC) and its fibred adjunction models	D Ahman (U Edinburgh)

Varasemad aastad

• sügis 2013-kevad 2014
• sügis 2012-kevad 2013
• sügis 2011-kevad 2012
• sügis 2010-kevad 2011
• sügis 2009-kevad 2010
• sügis 2008-kevad 2009
• sügis 2007-kevad 2008
• sügis 2006-kevad 2007
• sügis 2005-kevad 2006
• sügis 2004-kevad 2005
• sügis 2003-kevad 2004
• sügis 2002-kevad 2003
• kevad 2002
• sügis 2000-kevad 2001
• sügis 1999-kevad 2000

Tarmo Uustalu
Viimane uuendus 22.5.2015