|
|
|
Size
|
Reminder: BCS-FACS AGM & Landin Semantics Seminar: Logical Relations & Mathematical Foundations, 12 December 2023
|
Jonathan Bowen |
Wed, 29 Nov 2023 12:09:56 +0000 |
230 lines |
LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024
|
Jonathan Bowen |
Wed, 29 Nov 2023 11:38:06 +0000 |
150 lines |
David Turner obituary in The Guardian
|
Jonathan Bowen |
Mon, 27 Nov 2023 22:28:58 +0000 |
39 lines |
Call for submissions: FACS FACTS newsletter (deadline 15 December 2023)
|
Jonathan Bowen |
Fri, 24 Nov 2023 16:46:23 +0000 |
102 lines |
CfP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
|
Jonathan Bowen |
Sat, 11 Nov 2023 00:07:22 +0000 |
233 lines |