Skip to Content.

Sympa Menu

lfcs-interest - Events and news relevant to the Laboratory for Foundations of Computer Science

List Options Menu

Subject: Events and news relevant to the Laboratory for Foundations of Computer Science

List archive

2025
01
02
03
04
05
06
07
08
09
10
11
12

2026
01
02
03
04
05
06
07
08
09
10
11
12

2025/06 35 mails

<< < page 2 / 2 > >>

25/06/26
- [LFCS seminar] Today, 26 Jun: John Longley, Lecture 1, University of Edinburgh: Gödel's System T, Ohad Kammar
- [LFCS seminar] Now, 26 Jun: John Longley, Lecture 1, University of Edinburgh: Gödel's System T, Ohad Kammar
25/06/27
- [LFCS seminar] Today, 27 Jun: John Longley, Lecture 2: The Dialectica interpretation, Ohad Kammar
- [LFCS seminar] Now, 27 Jun: John Longley, Lecture 2: The Dialectica interpretation, Ohad Kammar
25/06/30
- [LFCS seminar] 01 Jul: John Longley, Lecture 3: Plotkin's PCF and its sublanguages, Ohad Kammar

Archive powered by MHonArc 2.6.24.