en
etSEMINARID
Arvutiteaduse seminarid
[uued]
[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).
