See 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.

SEMINARID

Arvutiteaduse seminarid

[uued] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] 2009
 

  • 22.12.2009, 13:00, KübI B 101. Arvutiteaduse seminar: Andri Saar (KübI) räägib Owicki-Griesi loogika Stirlingi variandist (vaata algallikat).
  • 16.12.2009, 14:00, KübI B 101. Arvutiteaduse seminar: Margus Veanes (Microsoft Research Redmondis) räägib teemal Solving extended regular constraints symbolically (vaata abstrakti).
  • 10.12.2009, 14:00, KübI B 101. Arvutiteaduse seminar: James Chapman (KübI) räägib teemal Monads and adjunctions on categories and functors.
  • 8.12.2009, 14:00, KübI B 101. Arvutiteaduse seminar: Grigory Fedyukovich (KübI) räägib teemal A Coq formalization of an analysis and optimization of While (vaata abstrakti).
  • 3.12.2009, 13:00, KübI B 101. Arvutiteaduse seminar: Mohamed El-Zawawy (KübI) räägib teemal Type systems for pointer and live stack-heap analyses and program optimization and correction (vaata abstrakti).
  • 26.11.2009, 14:00, KübI B 101. Arvutiteaduse seminar: Andri Saar (KübI) räägib teemal Owicki-Griesi paralleelprogrammide loogikast.
  • 19.11.2009, 14:00, KübI B 101. Arvutiteaduse seminar: James Chapman (KübI) räägib teemal Type theory should eat category theory for lunch and have monads for breakfast (vaata abstrakti).
  • 12.11.2009, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal Program repair as sound optimization of broken programs (vaata abstrakti).
  • 5.11.2009, 14:00, KübI B 101. Arvutiteaduse seminar: Andrei Breslav (Tartu Ülikool ja Peterburi Riiklik Ülikooli ) räägib teemal Using grammatical aspects in language engineering (vaata abstrakti).
  • 29.10.2009, 14:00, KübI B 101. Arvutiteaduse seminar: Andri Saar räägib Eraldamisloogikast (peamiselt J C Reynolds'i LICS 2002 artikli põhjal).
  • 27.10.2009, 14:00, KübI B 101. Arvutiteaduse seminar: Peter Morris (Nottinghami Ülikool, UK) räägib teemal Universes of Data (vaata abstrakti).
  • 11.6.2009, 15:00, KübI B 101. Arvutiteaduse seminar: esineb Pavel Grigorenko (KübI) teemal "Symbolic query exploration" (vaata abstrakti).
  • 9.6.2009, 14:00, KübI B 101. Arvutiteaduse seminar: esineb Olha Shkaravska (Radboudi Ülikool Nijmegen, NL) teemal "Polynomial solutions of non-linear recurrence relations" (vaata abstrakti).
  • 8.6.2009, 14:00, KübI B 101. Arvutiteaduse seminar: esineb Thorsten Altenkirch (Nottinghami Ülikool, UK) teemal "From High School Algebra to University Algebra" (vaata abstrakti).
  • 5.6.2009, 14:00, KübI B 101. Arvutiteaduse seminar: esineb Silvio Capobianco (KübI) teemal "Computers without batteries? Rewriting cellular automata into block automata" (vaata abstrakti).

Viimati muutnud: 2017/08/16 17:45