SEMINARID

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

Viimati muutnud: 2017/08/16 17:45