Past Talks

Day/Year Date Speaker Title
2001
Friday Nov 30 Martin Grohe Learning in Finite Models
Friday Nov 16 John Power Computational effects and enriched Lawvere theories
Friday Nov 02 Javier Esparza An unfolding approach to LTL Model Checking
Friday Aug 31 Martin Lange Model Checking Modal Mu-Calculus with Sequential Composition
Friday Jun 29 Matias Menni Abstract syntax and \new-quantifiers
Friday Jun 08 Alex Rabinovich From Finite Automata toward Hybrid Systems
Friday Jun 01 Masahito Hasegawa On the uniformity principle on traced monoidal categories
Friday May 18 Alex Simpson Comparing functional paradigms for exact real arithmetic
Friday May 04 John Longley Strategies and universal types
Friday Apr 27 Lennart Beringer Type systems for explicit forwarding
Friday Mar 23 Shin-ya Katsumata Proof-Directed De-compilation of Low-Level Code
Friday Mar 16 Masahito Hasegawa Glueing Algebraic Structures on a 2-Category
Friday Mar 09 Masahito Hasegawa On the CPS transformation from the computational lambda calculus to the linear lambda calculus
Friday Mar 02 Marco Kick Mathematical Modelling of Real Time Processes
Friday Feb 23 John Power Two-dimensional linear algebra
Friday Feb 16 Makoto Hamana A logic programming language based on binding algebra
Friday Feb 09 Konstantinos Tourlas An Algebraic Foundation for Higraphs
Friday Feb 02 Martin Hofmann Read-only types for programming with bounded heap space II
Friday Jan 26 John Power Adequacy for Algebraic Effects
2000
Friday Dec 15 Martin Hofmann Read-only types for programming with bounded heap space
Wednesday Nov 29 Daniele Turi Semantics of Value- and Name-Passing Calculi
Friday Nov 24 Alexander Rabinovich Compositional theorem for generalized sum
Friday Nov 17 Miki Tanaka Abstract Syntax and Variable Binding for Linear Binders
Friday Oct 27 Masahito Hasegawa Axioms for Recursion in Call-by-Value
Friday Oct 20 Matias Menni Closure operators in exact completions