Seminars/Courses

Theory seminar

We run a weekly informal seminar/reading group. From time to time, we have talks by guests.

• Theory seminar, Thursdays (term time), 14-15.30

We also run an informal lunch series on Thursdays at 12.00 (the blog).

Other seminar cycles

• Category theory by Tarmo Uustalu, spring 2013
• Type theory by James Chapman, spring 2012
• A miniworkshop on cellular automata software by Silvio Capobianco, Jarkko Kari (University of Turku) et al., 31 August 2010
• Symbolic dynamics by Silvio Capobianco, 7 April, 14 April, 28 April, 12 May, 19 May 2010
• Algebraic automata theory by Margarita Spitšakova, 21 Oct, 11 Nov, 25 Nov, 9 Dec 2009, 13 Jan, 10 Feb 2010

Regular courses for PhD students

We teach some regular courses for PhD students.

• Concrete mathematics (Graham, Knuth, Patashnik) by Jaan Penjam and Silvio Capobianco (last taught autumn 2016)
• Information society technologies by Ahto Kalja (last taught spring 2008)
• Ontology engineering by Hele-Mai Haav (last taught autumn 2008)
• Programming language semantics by Tarmo Uustalu (last taught spring 2014)
• Advanced functional programming by Tarmo Uustalu (last taught spring 2004)

We also teach on the bachelor/master level:

• Discrete mathematics II by Jaan Penjam (last taught spring 2014)
• Logic for computer science by Tarmo Uustalu (last taught autumn 2014)

Guest courses

Every now and then, we also organize a guest course.

Recent guest courses

• Monads for programming and verification by Ralph Matthes (U. Paul Sabatier), 26-27 May 2008
• Types and analyses for scripting languages by Peter Thiemann (U. of Freiburg), 25-27 Feb. 2008
• Computer network attacks and defense mechanisms: simulation and analysis by Igor Kotenko and Alexander Ulanov (SPIIRAS), 2-5 April 2007 (in cooperation with Cybernetica AS)
• Functional languages for synchronous hardware design and verification by Gordon Pace (U. of Malta), 25-28 Sept. 2006
• Theory and practice of geometric logic by Marc Bezem (U. of Bergen), 17-23 Feb. 2005
• An introduction to type theory by Thorsten Altenkirch (U. of Nottingham), 8-15 Sept. 2003

All these guest courses were supported by the Tiger University programme or the Estonian Doctoral School in ICT (2005-2008).

Doctoral teaching activity of ours happens in cooperation with the Dept. of Computer Science and Dept. of Computer Engineering, Tallinn University of Technology.