Computer Science Seminars

[new]
[2019]
[2018]
[2017]
[2016]
[2015]
[2014]
[2013]
2012
[2011]
[2010]
[2009]
-
20.12.2012, 11:00, KübI B 101. Computer Science Seminar: Danel Ahman (Univ. of Edinburgh) talks about owards more refined notions of computation: the global state example (see abstract).
-
13.12.2012, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Overview of formalized developments for regular expressions".
-
6.12.2012, 14:00, KübI B 101. Computer Science Seminar: Pierre-Louis Curien (U. Paris 7) talks about "A classical lozenge" (see abstract).
-
4.12.2012, 11:00, KübI B 101. Computer Science Seminar: Pierre-Louis Curien (U. Paris 7) talks about "System L syntax for sequent calculi" (see abstract).
-
29.11.2012, 14:00, KübI B 101. Computer Science Seminar: Dimitrios Vytiniotis (MSR Cambridge) talks about "Stop when you are almost full: adventures in constructive termination" (see abstract).
-
27.11.2012, 11:00, KübI B 101. Computer Science Seminar: Arnaud Dieumegard (INP Toulouse) talks about "Automatic code generation in certified system development: a model-driven specification and verification approach" (see abstract).
-
23.11.2012, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about Overview of formalized developments for context-free grammars.
-
18.10.2012, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "A short walk into randomness" (see (see abstract).
-
20.9.2012, 14:00, KübI B 101. Computer Science Seminar: Boriss Šelajev (IoC) talks about "Verification of object-oriented programs".
-
13.9.2012, 14:00, KübI B 101. Computer Science Seminar: Celia Picard (Univ. Toulouse 3) talks about "Verification of redecoration for infinite triangular matrices in Coq" (see abstract).
-
12.9.2012, 14:00, KübI B 126. Computer Science Seminar: Niccolò Veltri (Univ. di Firenze) talks about "Formalization of graph theory in HOL: the Maxflow-Mincut theorem" (see abstract).
-
23.8.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Ahrendt (Chalmers Univ.of Tech.) talks about "To be or not to be created: abstract object creation in dynamic logic" (see abstract).
-
5.7.2012, 14:00, KübI B 101. Computer Science Seminar: Danel Ahman (Univ. of Cambridge) talks about Computational effects, algebraic theories and normalization by evaluation (see abstract).
-
7.6.2012, 14:00, KübI B 101. Computer Science Seminar: Éric Badouel (INRIA Rennes) talks about "On the α-reconstructibility of workflow nets" (see abstract).
-
4.6.2012, 14:00, KübI B 101. Computer Science Seminar: Éric Badouel (INRIA Rennes) talks about "Modelling workflow systems with active folders" (see abstract).
-
31.5.2012, 14:00, KübI B 101. Computer Science Seminar: Matthieu Sozeau (INRIA Paris) talks about "Equations: a dependent pattern-matching compiler" (see abstract).
-
21.5.2012, 10:00, KübI C 330. Computer Science Seminar: Alejandro Russo (Chalmers Uni) talks about "Information flow control for concurrent covert termination and timing channels" (see abstract).
-
15.5.2012, 14:00, KübI B101. Computer Science Seminar: Boriss Šelajev (IoC) talks about "C# programs correctness verification using Spec# tool".
-
10.5.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Categorical models for two intuitionistic modal logics" (see abstract).
-
3.5.2012, 14:00, KübI B 101. Computer Science Seminar: Silvio Capobianco (IoC) talks about "The Tarski alternative and the Garden-of-Eden theorem" (see abstract).
-
26.4.2012, 14:00, KübI B 126. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "An introduction to category theory and categorical logic" (continued) (see abstract).
-
19.4.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "An introduction to category theory and categorical logic" (see abstract).
-
4.4.2012, 14:00, KübI B 101. Computer Science Seminar: Tomas Petricek (Univ. of Cambridge) talks about "Towards comonadic coeffect systems" (abstract).
-
23.3.2012, 14:00, KübI B 101. Computer Science Seminar: Jacques Sakarovitch (CNRS & ENST, France) talks about "An introduction to the study of weighted automata: on rational languages with equal generating functions" (see abstract).
-
15.3.2012, 14:00, KübI B 101. Computer Science Seminar: Andri Saar (IoC) talks about "Short introduction to the Erlang
programming language".
-
23.2.2012, 14:00, KübI C 321. Computer Science Seminar: Keiko Nakata (IoC) talks about "On some non-classical and non-constructive axioms" (see abstract).
-
16.2.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about "Emulating linear types in Haskell"(see abstract).
-
9.2.2012, 14:00, KübI B 101. Computer Science Seminar: Wolfgang Jeltsch (IoC) talks about A Lightweight Approach to Start Time Consistency in Haskell (abstract).
-
26.1.2012, 14:00, KübI B 101. Computer Science Seminar: Sergei Tupailo (Univ. de Lisboa) talks about "Consistency of strictly impredicative NF" (see abstract).
-
24.1.2012, 14:00, KübI B 101. Computer Science Seminar: Sergei Tupailo (Univ. de Lisboa) talks about Specker's proof of infinity in NF (see abstract).
-
19.1.2012, 14:00, KübI B 101. Computer Science Seminar: Denis Firsov (IoC) talks about "Certified parsing"(see abstract).
-
12.1.2012, 14:00, KübI B 101. Computer Science Seminar: James Chapman (IoC) talks about "Relative Monads and Lambda Calculus".
-
6.1.2012, 14:00, KübI B 101. Computer Science Seminar: Boriss Šelajev (IoC) talks about "KeY system".
-
5.1.2012, 14:00, KübI B 101. Computer Science Seminar: Peeter Laud (Cybernetica) talks about "Identity-based encryption and the generic group model"(see abstract).