SEMINARS

Computer Science Seminars

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

Last modified: 2017/08/16 17:54