SEMINARID

Arvutiteaduse seminarid

[uued] [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