SEMINARS

Computer Science Seminars

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

Last modified: 2017/08/16 17:54