Arvutiteaduse teooriaseminar (sügis 2013-kevad 2014)

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

Ajakava

Aeg	Teema	Ettekandja
T 3.9.	KübI 53. aastapäeva aktus
N 12.9.	How to contain monads	Tarmo U
E 16.9. kl 14 I-202	From electronic brains to ubiquitous computing: recollections and visions of a participating observer (audoktori loeng)	R Kurki-Suonio (Tampere UT)
N 19.9.	Abstract constructive ordinals and ordinal notations	S Tupailo (U Lisbon)
N 3.10. kl 11	Duality in sequent calculus and abstract machines	H Herbelin (INRIA)
T 15.10.	Normality, randomness, and the Garden of Eden	Silvio C
R-P 25.-27.10.	Teooriapäevad Sakal
N 14.11.	R. Holmes on consistency of NF	S Tupailo (U Lisbon)
T 19.11. kl 14	On (different definitions of) lenses in Agda	A Abel (Chalmers UT)
K-R 20.-22.11.	NWPT 2013
N 28.11.	Parametric effect monads and semantics of effect systems	S Katsumata (Kyoto U)
R-L 29.-30.11.	KübI sügisseminar Roostal
N 12.12.	Tracking contextual program properties with structural coeffects	T Petricek (U of Cambridge)
N 16.1.	Normalization by evaluation in the delay monad	James C
N 27.2.	Worldly type systems	C McBride (U Strathclyde)
P-R 2.-7.3.	EWSCS 2014
E 10.3. kl 14	Towards a propositional refinement type system for algebraic effects	D Ahman (U Edinburgh)
N 24.4.	Bi-intuitionism as dialogue chirality	G Bellin (U di Verona)
E 28.4. kl 14	Impugning alleged randomness	Yu Gurevich (Microsoft)
T 29.4. kl 14	What, if anything, can be done in linear time?	Yu Gurevich (Microsoft)
R-P 16.-18.5.	Teooriapäevad Narva-Jõesuus
T 10.6. kl 14	Generalized abstract process categories	Wolfgang J
T 17.6. kl 14	Generalized abstract process categories (ctd)	Wolfgang J
N 19.6.	Functional programming with resources	Wolfgang J
N 28.8.	Integrated static and runtime verification of data and control properties	W Ahrendt (Chalmers UT)

Varasemad aastad

• 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 21.8.2014