SEMINARS

Computer Science Seminars

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

Last modified: 2017/08/16 17:54