See veebisait esitab teavet KübIst 31. detsembri 2016 seisuga ja seda enam ei uuendata.
This website presents information about IoC as of 31 December 2016 and is no longer updated.

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

Viimati muutnud: 2017/08/16 17:45