en
etSEMINARID
Arvutiteaduse seminarid
[uued]
[2018]
[2017]
[2016]
[2015]
2014
[2013]
[2012]
[2011]
[2010]
[2009]
- 18.12.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Andreas Abel (Chalmers'i TÜ) räägib teemal "Strong normalization for guarded types" (vaata abstrakti).
- 4.12.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "An efficient solution to the order maintenance problem" (vaata abstrakti).
- 27.11.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Andres Toom (IB Krates/KübI) räägib teemal "A software product line approach for semantic specification of block libraries in dataflow languages".
- 20.11.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Niccolò Veltri (KübI) räägib teemal "Two set-based implementations of quotients in type theory" (vaata abstrakti).
- 13.11.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Denis Firsov (KübI) räägib teemal "Functional incremental computing" (vaata abstrakti).
- 6.11.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Keiko Nakata (KübI) räägib teemal "A realizability model for a type theory" (vaata abstrakti).
- 23.10.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Taivo Lints (TTÜ automaatikainstituut) räägib teemal "Cellular automata with assumption-commitment schemes" (vaata abstrakti).
- 15.10.2014, 14:30, KübI B 401. Arvutiteaduse seminar: Makoto Takeyama (Kanagawa Ülikool, Jaapan) räägib teemal "Towards a framework for formal assurance cases in Agda" (vaata abstrakti).
- 9.10.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Concrete categorical semantics for functional reactive programming with resources" (vaata abstrakti).
- Arvutiteaduse seminar: Eesti-Läti arvutiteaduse teooriapäevad toimuvad 2.–5. oktoobrini 2014 Ratniekis (vaata http://home.lu.lv/~df/tdays-ratnieki/, registreerimistähtaeg 18. september!).
- 25.9.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Silvio Capobianco (KübI) räägib teemal "On linear cellular automata (with special focus on rule 90)" (vaata abstrakti).
- 18.9.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Functional programming with resources as a Haskell library" (vaata abstrakti).
- 11.9.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Coalgebraic update lenses" (vaata abstrakti).
- 28.8.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Ahrendt (Chalmersi Tehnikaülikool) räägib teemal "Integrated static and runtime verification of data and control properties" (vaata abstrakti).
- 19.6.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Functional Programming with Resources" (vaata abstrakti).
- 17.6.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Generalized Abstract Process Categories" (vaata abstrakti, algas 10., jätkub 19. juunil).
- 10.6.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "Functional reactive programming (FRP) with processes" (vaata abstrakti, jätkub 17. ja 19. juunil).
- 29.4.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Yuri Gurevich (Microsoft Research, Redmond, WA) räägib teemal "What, if anything, can be done in linear time?" (vaata abstrakti).
- 28.4.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Yuri Gurevich (Microsoft Research, Redmond, WA) räägib teemal "Impugning alleged randomness" (vaata abstrakti).
- 24.4.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Gianluigi Bellin (Università di Verona) räägib teemal "Bi-intuitionism as dialogue chirality" (vaata abstrakti).
- 10.3.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Danel Ahman (Edinburgh'i ülikool) räägib teemal "Towards a propositional refinement type system for algebraic effects" (vaata abstrakti).
- 27.2.2014, 14:00, KübI B 101. Arvutiteaduse seminar: Conor McBride (Strathclyde'i ülikool) räägib teemal Worldly type systems (vaata abstrakti).
- 16.1.2014, 14:00, KübI B 101. Arvutiteaduse seminar: James Chapman (KübI) räägib teemal "Normalization by evaluation in the delay monad" (abstrakt).
