SEMINARID

Arvutiteaduse seminarid

[uued] [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