| Nov 10 | 14:30 | Venanzio Capretta | The Fast Fourier Transform in Coq |
| Nov 17 | 10:00 | Peter Ryan | Process Algebra and Information Flow |
| Nov 17 | 10:00 | Matthew Hennessy | Non-interference via Typing in the Security Pi-calculus |
| Nov 22 | 14:00 | Alexandre Miquel | Sémantiques dénotationelles du Calcul des Constructions |
| Dec 1 | 14:30 | Some pre-presentations for TYPES | |
| Dec 8 | 14:30 | No seminar (TYPES workshop) | |
| Dec 15 | 14:30 | Yves Bertot | Object initialization in the Java Virtual Machine |
Back to schedule for 2001.