Computer Science Seminars

[new]
[2021]
[2020]
[2019]
[2018]
[2017]
[2016]
2015
[2014]
[2013]
[2012]
[2011]
[2010]
[2009]
-
8.12.2015, 14:00, KübI B 101. Computer Science Seminar: Hendrik Maarand (IoC) talks about "Weak memory models" (continued).
-
3.12.2015, 14:00, KübI B 101. Computer Science Seminar: Marco Gaboardi (Univ of Dundee) talks about "Verifying differentially private Bayesian inference" (see abstract).
-
26.11.2015, 14:00, KübI B 101. Computer Science Seminar: Nicolas Wu (Univ. of Bristol) talks about "Transformers: handlers in disguise" (see abstract).
-
16.11.2015, 16:30, KübI B 126. Computer Science Seminar: Kristjan Liiva (Univ Edinburgh) talks about "Validated solution of ordinary differential equations" (see abstract).
-
15.10.2015, 14:00, KübI B 101. Computer Science Seminar: Hendrik Maarand (IoC) talks about "Weak memory models".
-
1.10.2015, 14:00, KübI B 101. Computer Science Seminar: Prof Arne Koschel (Hochschule Hannover) talks about IT and CS research in Hannover (projects related to cloud computing, mobile computing, asynchronous messaging...).
-
28.5.2015, 14:00, KübI B 101. Computer Science Seminar: Danel Ahman (Univ of Edinburgh) talks about "Dependently-typed CBPV (and EEC) and its fibred adjunction models" (see abstract).
-
14.5.2015, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "A divertimento on MonadPlus and nondeterminism" (see abstract).
-
30.4.2015, 14:00, KübI B 101. Computer Science Seminar: Niccolò Veltri (IoC) talks about "Quotienting the delay monad by weak bisimilarity" (see abstract).
-
26.3.2015, 14:00, KübI B 101. Computer Science Seminar: Venanzio Capretta (Univ. of Nottingham) talks about "The monadic continuity principle" (see abstract).