en
etSee veebisait esitab teavet KübIst 31. detsembri 2016 seisuga ja seda enam ei uuendata.
This website presents information about IoC as of 31 December 2016 and is no longer updated.
This website presents information about IoC as of 31 December 2016 and is no longer updated.
SEMINARID
Arvutiteaduse seminarid
[uued]
[2022]
[2021]
[2020]
[2019]
[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).
