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]
 

  • 8.12.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Hendrik Maarand (KübI) räägib teemal "Nõrkadest mälumudelitest" (jätk).
  • 3.12.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Marco Gaboardi (Dundee Ülikool) räägib teemal "Verifying differentially private Bayesian inference" (vaata abstrakti).
  • 26.11.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Nicolas Wu (Bristoli Ülikool) räägib teemal "Transformers: handlers in disguise" (vaata abstrakti).
  • 16.11.2015, 16:30, KübI B 126. Arvutiteaduse seminar: Kristjan Liiva (Edinburghi Ülikool) räägib teemal "Validated solution of ordinary differential equations" (vaata abstrakti).
  • 15.10.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Hendrik Maarand (KübI) räägib teemal "Nõrkadest mälumudelitest".
  • 1.10.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Prof Arne Koschel (Hannoveri rakenduskõrgkoolist) räägib teemal IT ja arvutiteadus Hannoveris (projektiteemad "cloud computing", "mobile computing", "asynchronous messaging"...).
  • 28.5.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Danel Ahman (Edinburgh'i Ülikool) räägib teemal "Dependently-typed CBPV (and EEC) and its fibred adjunction models" (vaata abstrakti).
  • 14.5.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "A divertimento on MonadPlus and nondeterminism" (vaata abstrakti).
  • 30.4.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Niccolò Veltri (KübI) räägib teemal "Quotienting the delay monad by weak bisimilarity" (vaata abstrakti).
  • 26.3.2015, 14:00, KübI B 101. Arvutiteaduse seminar: Venanzio Capretta (Nottinghami ülikool) räägib teemal "The monadic continuity principle" (vaata abstrakti).

Viimati muutnud: 2017/08/16 17:45