SEMINARID

Arvutiteaduse seminarid

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