SEMINARID

Arvutiteaduse seminarid

[uued] [2018] [2017] 2016 [2015] [2014] [2013] [2012] [2011] [2010] [2009]
 

  • 20.12.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Margus Veanes (Microsoft Research, Redmond, WA) räägib teemal Symbolic automata tutorial, part II: extensions (vaata abstrakti).
    viimane arvutiteaduse seminar asutuses Küberneetika Instituut (1960-2016).
  • 8.12.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Maciej Piróg (Wrocławi Ülikool) räägib teemal "String diagrams for free monads" (vaata abstrakti).
  • 17.11.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) jätkab teemal "Grading monads, comonads and distributive laws".
  • 10.11.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "A more functional approach to incremental computing" (vaata abstrakti).
  • 3.11.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Grading monads, comonads and distributive laws".
  • 27.10.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Venanzio Capretta (Nottinghami ülikool) räägib teemal "Monadic stream functions: continuity and bar recursion" (vaata abstrakti).
  • 10.10.2016, 16:00, KübI B 101. Arvutiteaduse seminar: Hendrik Maarand (KübI) räägib "Mazurkiewiczi jälgede teooriast".
  • 1.9.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Simão Melo de Sousa (Universidade da Beira Interior) räägib teemal "Deciding Kleene algebra terms equivalence in Coq" (vaata abstrakti).
  • 31.8.2016, 16:00, KübI B 101. Arvutiteaduse seminar: Gert Smolka (Saarimaa ülikool) räägib teemal "Hereditarily finite sets in constructive type theory" (vaata abstrakti).
  • 29.8.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Niccolò Veltri (KübI) räägib teemal "Quotiented delay monad as the initial ω-join classifying monad" (vaata abstrakti).
  • 9.6.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Alberto Pardo (Montevideo) räägib teemal "An approach to correct-by-construction compilers" (vaata abstrakti).
  • 5.5.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Dirk Draheim (Dept. of Informatics, TUT) räägib teemal "A frequentist semantics for a generalized Jeffrey conditionalization" (vaata abstrakti).
  • 28.4.2016, 14:00, KübI B 101. Arvutiteaduse seminar: José Nuno Oliveira (Univ of Minho, Braga) räägib teemal "Programming from metaphorisms" (vaata abstrakti).
  • 21.4.2016, 14:00, KübI B 101. Arvutiteaduse seminar: José Nuno Oliveira (Univ of Minho, Braga) räägib teemal "'Keep definition, change category': a practical approach to monadic model evolution" (vaata abstrakti).
  • 14.4.2016, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Directed containers as categories" (vaata abstrakti).
  • 12.4.2016, 16:00, KübI B 101. Arvutiteaduse seminar: José Nuno Oliveira (Univ of Minho, Braga) räägib teemal "Towards a linear algebra semantics for columnar data storage" (vaata abstrakti).

Viimati muutnud: 2017/08/16 17:45