SEMINARID

Arvutiteaduse seminarid

[uued] [2022] [2021] [2020] [2019] [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).