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