Computer Science Seminars

[new]
[2021]
[2020]
[2019]
[2018]
[2017]
2016
[2015]
[2014]
[2013]
[2012]
[2011]
[2010]
[2009]
-
20.12.2016, 14:00, KübI B 101. Computer Science Seminar: Margus Veanes (Microsoft Research, Redmond, WA) talks about Symbolic automata tutorial, part II: extensions (see abstract).
the last computer science seminar to be held at what was the Institute of Cybernetics (1960-2016).
-
8.12.2016, 14:00, KübI B 101. Computer Science Seminar: Maciej Piróg (Univ. of Wrocław) talks about "String diagrams for free monads" (see abstract).
-
17.11.2016, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) continues about "Grading monads, comonads and distributive laws".
-
10.11.2016, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "A more functional approach to incremental computing" (see abstract).
-
3.11.2016, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Grading monads, comonads and distributive laws".
-
27.10.2016, 14:00, KübI B 101. Computer Science Seminar: Venanzio Capretta (University of Nottingham) talks about "Monadic stream functions: continuity and bar recursion" (see abstract).
-
10.10.2016, 16:00, KübI B 101. Computer Science Seminar: Hendrik Maarand (IoC) talks about "Theory of Mazurkiewicz traces".
-
1.9.2016, 14:00, KübI B 101. Computer Science Seminar: Simão Melo de Sousa (Universidade da Beira Interior) talks about "Deciding Kleene algebra terms equivalence in Coq" (see abstract).
-
31.8.2016, 16:00, KübI B 101. Computer Science Seminar: Gert Smolka (Universität des Saarlandes) talks about "Hereditarily finite sets in constructive type theory" (see abstract).
-
29.8.2016, 14:00, KübI B 101. Computer Science Seminar: Niccolò Veltri (IoC) talks about "Quotiented delay monad as the initial ω-join classifying monad" (see abstract).
-
9.6.2016, 14:00, KübI B 101. Computer Science Seminar: Alberto Pardo (Montevideo) talks about "An approach to correct-by-construction compilers" (see abstract).
-
5.5.2016, 14:00, KübI B 101. Computer Science Seminar: Dirk Draheim (Dept. of Informatics, TUT) talks about "A frequentist semantics for a generalized Jeffrey conditionalization" (see abstract).
-
28.4.2016, 14:00, KübI B 101. Computer Science Seminar: José Nuno Oliveira (Univ of Minho, Braga) talks about "Programming from metaphorisms" (see abstract).
-
21.4.2016, 14:00, KübI B 101. Computer Science Seminar: José Nuno Oliveira (Univ of Minho, Braga) talks about "'Keep definition, change category': a practical approach to monadic model evolution" (see abstract).
-
14.4.2016, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Directed containers as categories" (see abstract).
-
12.4.2016, 16:00, KübI B 101. Computer Science Seminar: José Nuno Oliveira (Univ of Minho, Braga) talks about "Towards a linear algebra semantics for columnar data storage" (see abstract).