LoReL Seminar
logic in computer science programming languages
| Audience: | Researchers in the topic |
| Seminar series time: | Thursday 17:00-18:00 in your time zone, UTC |
| Organizer: | Alejandro Díaz-Caro* |
| *contact for this listing |
Talks are either in Spanish or English, however they can often be in English upon request.
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Thu | Jul 08 | 17:00 | Malena Ivnisky | A finite-dimensional model for affine, linear quantum lambda calculi with general recursion | |
| Thu | Jul 01 | 17:00 | Rafael Romero | A note on confluence in typed probabilistic lambda calculi | |
| Thu | Jun 24 | 17:00 | Daniel Ventura | Skeletons Out! The Spirit of Node Replication | |
| Thu | May 27 | 17:00 | Andrés Viso | Encoding Tight Typing in a Unified Framework | |
| Thu | May 20 | 17:00 | Éric Tanter | Gradualizing the Calculus of Inductive Constructions | |
| Thu | May 06 | 17:00 | Octavio Malherbe | Categorías indexadas, tripos y realizabilidad | |
| Thu | Apr 29 | 17:00 | Alberto Pardo | Formalización de una transformación entre programas seguros usando un abordaje internalista | |
| Thu | Apr 22 | 17:00 | Beniamino Accattoli | The Machinery of Interaction | |
Export series to