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]
 

  • 20.12.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Marc Bezem (Bergeni Ülikool) räägib teemal "A set that is streamless but cannot be proved to be noetherian" (vaata abstrakti).
  • 15.12.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Andri Saar (KübI) räägib teemal "Compiling cooperative multitasking of ABS to Scala" (vaata abstrakti).
  • 8.12.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Boriss Šelajev (KübI) jätkab teemal "Dynamic logic".
  • 1.12.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Elmo Todurov (KübI) räägib teemal "A finer module system and separate compilation for ABS" (vaata abstrakti).
  • 24.11.2011, 14:00, KübI B101. Arvutiteaduse seminar: Andreas Abel (LMU München) räägib teemal "Higher-order subtyping for dependent types" (vaata abstrakti).
  • 17.11.2011, 14:00, KübI B 101. Arvutiteaduse seminar: esineb Dr. James Brotherston (Imperial College London) teemal "Undecidability of propositional separation logic and its neighbours" (vaata abstrakti).
  • 15.11.2011, 14:00, KübI B 101. Arvutiteaduse seminar: esineb Karl Palmskog (KTH, Stockholm) teemal "A semantics for network-adaptive execution of distributed objects" (vaata abstrakti).
  • 3.11.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal "Coinductive big-step semantics" (vaata abstrakti).
  • 27.10.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "First-class subkinds in Haskell" (vaata abstrakti).
  • 20.10.2011, 14:00, KübI B101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal Record Type Families: A Key to Generic Record Combinators (vaata abstrakti).
  • 13.10.2011, 14:00, KübI B101. Arvutiteaduse seminar: Wolfgang Jeltsch (KübI) räägib teemal "First-class signals for Functional Reactive Programming" (vaata abstrakti).
  • 29.9.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Tarmo Uustalu (KübI) räägib teemal Controlling cut in sequent calculi for bi-intuitionistic logic.
  • 22.9.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Danel Ahman (TTÜ) räägib teemal When is a container a comonad? (vaata abstrakti).
  • 13.6.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Janusz Brzozowski (Waterloo Ülikool, Kanada) räägib teemal "Syntactic complexity of regular languages" (vaata abstrakti).
  • 13.6.2011, 16:00, KübI B 101. Arvutiteaduse seminar: Grigori Mints (Stanfordi Ülikool) räägib teemal "Decidable second-order theories" (vaata abstrakti).
  • 9.6.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Janusz Brzozowski (Waterloo Ülikool, Kanada) räägib teemal "Quotient complexity of regular languages" (vaata abstrakti).
  • 2.6.2011, 16:00, KübI B 101. Arvutiteaduse seminar: Dominic Orchard (Cambridge'i Ülikool) räägib teemal "Array programming with monads and comonads" (vaata abstrakti).
  • 2.6.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Alberto Pardo (RepÜblica Ülikool, Montevideo, Uruguai) räägib teemal "Applicative shortcut fusion" (vaata abstrakti).
  • 17.5.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Riina Maigre (KübI) räägib teemal "Composition of web services on large service models" (vaata abstrakti).
  • 16.5.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Andri Saar (KübI) räägib teemal "Scala code generation from ABS".
  • 12.5.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Arvutiteaduse teooriaseminar: Celia Picard (Paul Sabatier Ülikool, Toulouse 3) räägib teemal "Coinductive graph representation" (vaata abstrakti).
  • 10.5.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Paul Blain Levy (Birminghami Ülikool) jätkab teemal "Nondeterminism, fixpoints and bisimulation" (vaata abstrakti).
  • 5.5.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Paul Blain Levy (Birminghami Ülikool) räägib teemal "Nondeterminism, fixpoints and bisimulation" (vaata abstrakti).
  • 21.4.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Hellis Tamm (KübI) räägib teemal "Introduction to the theory of Ütomata" (vaata abstrakti).
  • 7.4.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Silvio Capobianco (KübI) räägib teemal "Noether's theorem: past, present, and a possible future" (vaata abstrakti).
  • 10.3.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Rudolf Schlatte (Oslo Ülikool) räägib teemal Deployment components with parametric concurrency (vaata abstrakti).
  • 10.2.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Wolfgang Jeltsch (TU Cottbus) räägib teemal Programming in Linear Temporal Logic (vaata abstrakti).
  • 3.2.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Marc Bezem (Bergeni Ülikool) räägib teemal Bar recursion (vaata abstrakti).
  • 20.1.2011, 14:00, KübI B 101. Arvutiteaduse seminar: Dr Marc Pantel (IRIT, INP Toulouse) räägib teemal Pragmatic integration of model driven engineering and formal methods for safety critical systems design (vaata abstrakti).

Viimati muutnud: 2017/08/16 17:45