SEMINARS

Computer Science Seminars

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

  • 22.12.2009, 13:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about A compositional variation of the Owicki-Gries logic for concurrent programs, due to C Stirling (see the origin).
  • 16.12.2009, 14:00, KübI B 101. Computer Science Seminar: Margus Veanes (Microsoft Research in Redmond) talks about Solving extended regular constraints symbolically (see abstract).
  • 10.12.2009, 14:00, KübI B 101. Computer Science Seminar: James Chapman (IoC) talks about Monads and adjunctions on categories and functors.
  • 8.12.2009, 14:00, KübI B 101. Computer Science Seminar: Grigory Fedyukovich (IoC) talks about A Coq formalization of an analysis and optimization of While (see abstract).
  • 3.12.2009, 13:00, KübI B 101. Computer Science Seminar: Mohamed El-Zawawy (IoC) talks about Type systems for pointer and live stack-heap analyses and program optimization and correction (see abstract).
  • 26.11.2009, 14:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about Hoare-style program logics for concurrent While (parallel programs).
  • 19.11.2009, 14:00, KübI B 101. Computer Science Seminar: James Chapman (IoC) talks about Type theory should eat category theory for lunch and have monads for breakfast (see abstract).
  • 12.11.2009, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about Program repair as sound optimization of broken programs (see abstract).
  • 5.11.2009, 14:00, KübI B 101. Computer Science Seminar: Andrei Breslav (University of Tartu and St Petersburg State University ITMO) talks about Using grammatical aspects in language engineering (see abstract).
  • 29.10.2009, 14:00, KübI B 101. Computer Science Seminar: Andri Saar talks about Separation Logic (mainly on the basis of J C Reynolds's LICS 2002 paper).
  • 27.10.2009, 14:00, KübI B 101. Computer Science Seminar: Peter Morris (Nottingham Univ., UK) talks about Universes of Data (see abstract).
  • 11.6.2009, 15:00, KübI B 101. Computer Science Seminar: Pavel Grigorenko (IoC) talks about "Symbolic query exploration" (see abstract).
  • 9.6.2009, 14:00, KübI B 101. Computer Science Seminar: Olha Shkaravska (Radboud Univ. Nijmegen, NL) talks about "Polynomial solutions of non-linear recurrence relations" (see abstract).
  • 8.6.2009, 14:00, KübI B 101. Computer Science Seminar: Thorsten Altenkirch (Univ. of Nottingham, UK) talks about "From High School Algebra to University Algebra" (see abstract).
  • 5.6.2009, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "Computers without batteries? Rewriting cellular automata into block automata" (see abstract).

Last modified: 2017/08/16 17:54