en
etSEMINARID
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).
