SEMINARS

Computer Science Seminars

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

  • 18.12.2014, 14:00, KübI B 101. Computer Science Seminar: Andreas Abel (Chalmers UT) talks about "Strong normalization for guarded types" (see abstract).
  • 4.12.2014, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "An efficient solution to the order maintenance problem" (see abstract).
  • 27.11.2014, 14:00, KübI B 101. Computer Science Seminar: Andres Toom (IB Krates/IoC) talks about "A software product line approach for semantic specification of block libraries in dataflow languages" .
  • 20.11.2014, 14:00, KübI B 101. Computer Science Seminar: Niccolò Veltri (IoC) talks about "Two set-based implementations of quotients in type theory" (see abstract).
  • 13.11.2014, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Functional incremental computing" (see abstract).
  • 6.11.2014, 14:00, KübI B 101. Computer Science Seminar: Keiko Nakata (IoC) talks about "A realizability model for a type theory" (see abstract).
  • 23.10.2014, 14:00, KübI B 101. Computer Science Seminar: Taivo Lints (TUT, Dept. of Computer Control) talks about "Cellular automata with assumption-commitment schemes" (see abstract).
  • 15.10.2014, 14:30, KübI B 401. Computer Science Seminar: Makoto Takeyama (Kanagawa Univ, Japan) talks about "Towards a framework for formal assurance cases in Agda" (see abstract).
  • 9.10.2014, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Concrete categorical semantics for functional reactive programming with resources" (see abstract).
  • Computer Science Seminar: Joint Estonian-Latvian Computer Science Theory Days will take place at Ratnieki on October 2-5, 2014 (see http://home.lu.lv/~df/tdays-ratnieki/, registration deadline September 18!).
  • 25.9.2014, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "On linear cellular automata (with special focus on rule 90)" (see abstract).
  • 18.9.2014, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Functional programming with resources as a Haskell library" (see abstract).
  • 11.9.2014, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about "Coalgebraic update lenses" (see abstract).
  • 28.8.2014, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Ahrendt (Chalmers Univ. of Technology) talks about "Integrated static and runtime verification of data and control properties" (see abstract).
  • 19.6.2014, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Functional Programming with Resources" (see abstract).
  • 17.6.2014, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Generalized Abstract Process Categories" (see abstract, started on June 10, to be continued on June 19).
  • 10.6.2014, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Functional reactive programming (FRP) with processes" (see abstract, to be continued on June 17 and 19).
  • 29.4.2014, 14:00, KübI B 101. Computer Science Seminar: Yuri Gurevich (Microsoft Research, Redmond, WA) talks about "What, if anything, can be done in linear time?" (see abstract).
  • 28.4.2014, 14:00, KübI B 101. Computer Science Seminar: Yuri Gurevich (Microsoft Research, Redmond, WA) talks about "Impugning alleged randomness" (see abstract).
  • 24.4.2014, 14:00, KübI B 101. Computer Science Seminar: Gianluigi Bellin (Università di Verona) talks about "Bi-intuitionism as dialogue chirality" (see abstract).
  • 10.3.2014, 14:00, KübI B 101. Computer Science Seminar: Danel Ahman (Univ. of Edinburgh) talks about "Towards a propositional refinement type system for algebraic effects" (see abstract).
  • 27.2.2014, 14:00, KübI B 101. Computer Science Seminar: Conor McBride (Univ. of Strathclyde) talks about Worldly type systems (see abstract).
  • 16.1.2014, 14:00, KübI B 101. Computer Science Seminar: James Chapman (IoC) talks about "Normalization by evaluation in the delay monad" (see abstract).

Last modified: 2017/08/16 17:54