SEMINARS

Computer Science Seminars

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

  • 9.12.2010, 14:00, KübI B 101. Computer Science Seminar: Bernd Fischer (University of Southampton) talks about Industrial-strength certified SAT solving through verified SAT proof checking (see abstract).
  • 8.12.2010, 14:00, KübI B 101. Computer Science Seminar: Neville Grech (Univ of Southampton) talks about Preemptive type checking in dynamically typed programs (see abstract).
  • 2.12.2010, 14:00, KübI B 101. Computer Science Seminar: Lu?­s Pinto (Univ. of Minho, Braga, Portugal) talks about Monadic translation of sequent calculus for classical logic (see abstract).
  • 7.10.2010, 14:00, KübI B 101. Computer Science Seminar: Margarita Spitšakova (IoC) talks about Gravitational Search Algorithm (see abstract).
  • 6.10.2010, 13:30, KübI B 101. Computer Science Seminar: Michael Reichhardt Hansen (Danmarks TU) talks about Decision algorithms for Presburger arithmetic (see abstract).
  • 9.9.2010, 14:00, KübI B 101. Computer Science Seminar: Tarmo Uustalu (IoC) talks about Relating sequent calculi for bi-intuitionistic propositional logic (see abstract).
  • 1.9.2010, 14:00, KübI B 101. Computer Science Seminar: Prof. Jarkko Kari (Univ. of Turku) talks about Tilings and undecidability in cellular automata (see abstract).
  • 19.8.2010, 14:00, KübI B 101. Computer Science Seminar: Romain Demangeon (LIP, ENS Lyon) talks about Termination for concurrent processes (see abstract).
  • 3.6.2010, 14:00, KübI B 101. Computer Science Seminar: Hellis Tamm (IoC) talks about Some minimality results on biresidual and biseparable automata (see abstract).
  • 27.5.2010, 14:00, KübI B 101. Computer Science Seminar: Thorsten Altenkirch (Univ. of Nottingham, UK) talks about Mixing induction and coinduction in Agda (see abstract).
  • 20.5.2010, 14:00, KübI B 101. Computer Science Seminar: Alberto Pardo (Montevideo) talks about A security types preserving compiler in Haskell (see abstract).
  • 19.5.2010, 16:15, KübI B 101. Computer Science Seminar: Fifth (the last) seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 13.5.2010, 16:00, KübI B 401. Computer Science Seminar: Tarmo Uustalu (IoC) talks about Resumptions, weak bisimilarity and big-step semantics for interactive input-output: an exercise in mixed induction-coinduction (see abstract).
  • 12.5.2010, 16:00, KübI B 101. Computer Science Seminar: Fourth seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 6.5.2010, 14:00, KübI B 101. Computer Science Seminar: Andres Toom (IoC) talks about Verifying simple imperative programs with the Coq proof assistant (see abstract).
  • 28.4.2010, 16:00, KübI B 101. Computer Science Seminar: Third seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 14.4.2010, 16:00, KübI B 101. Computer Science Seminar: Second seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 9.4.2010, 14:00, KübI B 101. Computer Science Seminar: Lu?­s Pinto (Uni do Minho, Portugal) talks about Proof search and counter-model construction for bi-intuitionistic propositional logic (see abstract).
  • 8.4.2010, 16:00, KübI C231. Computer Science Seminar: Keiko Nakata (IoC) talks about Lazy initialization for ML-style modules (see abstract).
  • 7.4.2010, 16:00, KübI B 101. Computer Science Seminar: First seminar in the cycle INTRODUCTION TO SYMBOLIC DYNAMICS, speaker Silvio Capobianco (IoC) (see details).
  • 11.3.2010, 14:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about Relaxed memory models (ie how multicore processors work).
  • 9.3.2010, 14:00, KübI B 101. Computer Science Seminar: Juhan Ernits (Uni Birmingham) talks about Automated fault detection for Autosub6000: What we've achieved in a year (see abstract).
  • 11.2.2010, 14:00, KübI B 101. Computer Science Seminar: Marino Miculan (University of Udine, Italy) talks about A categorical model of the fusion calculus (see abstract).
  • 4.2.2010, 14:00, KübI B 101. Computer Science Seminar: Davide Grohmann (University of Udine, Italy) talks about From reactions to observations: the directed bigraphical model (see abstract).
  • 21.1.2010, 14:00, KübI B 101. Computer Science Seminar: Keiko Nakata (IoC) talks about Securing class initialization (see abstract).
  • 7.1.2010, 14:00, KübI B 101. Computer Science Seminar: Edwin Brady (Univ of St Andrews, Scotland) talks about Implementing domain-specific languages using dependent types and partial evaluation (see abstract).
  • 7.1.2010, 16:00, KübI B 101. Computer Science Seminar: Conor McBride (Univ of Strathclyde, Scotland) talks about Time flies like an applicative functor (see abstract).

Last modified: 2017/08/16 17:54