Arvutiteaduse seminarid

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