en
etSEMINARID
Arvutiteaduse seminarid
[uued]
[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).
