Computer Science Seminars

[new]
[2021]
[2020]
[2019]
[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).