Date | Speaker | Title | Extra |
---|---|---|---|
Nov 18 | Miroslav Dobsicek | Quantum computing, and the reversal between computer science and natural science. | |
Nov 11 | Ross Paterson | [EDIT room] Applicative functors from left Kan extensions | abstract |
Jun 10 | Stevan Andjelkovic, Linus Ek, Ola Holmström | Implementing self-balancing binary search trees in Agda | |
May 27 | Thierry Vilmart | Probability Logic | |
Mar 18 | Pierre Clairambault | A game-theoretic framework for dependent types | abstract |
Mar 11 | Miguel Pagano | A modular type-checking algorithm for Type Theory | abstract |
Feb 25 | Conor McBride | Slicing it: indexed containers? in Haskell? | abstract |
Feb 20 | Bas Spitters | A computer-verified implementation of Riemann integration - an introduction to computer mathematics | abstract |
Feb 19 | Peter Aczel | Identity Types and Type Setups | abstract |
Feb 5 | Peter Dybjer | On the thesis by Johan Granström: "Reference and Computation in Intuitionistic Type Theory" | |