SEMINARS

Computer Science Seminars

[new] [2018] [2017] [2016] [2015] [2014] [2013] [2012] 2011 [2010] [2009]
 

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

Last modified: 2017/08/16 17:54