Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom
by Andrei Popescu 26 Nov '25
by Andrei Popescu 26 Nov '25
26 Nov '25
1
0
CfP: SLE 2026 - 19th ACM SIGPLAN International Conference on Software Language Engineering
by Andrei Chis 20 Nov '25
by Andrei Chis 20 Nov '25
20 Nov '25
1
0
1
0
Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026
by Achim D. Brucker 18 Nov '25
by Achim D. Brucker 18 Nov '25
18 Nov '25
1
0
2
1
2
2
2
4
1
0
1
0
1
0
10 Nov '25
1
0
7
7
1
1
4
6
06 Nov '25
1
0
2
1
Full Professor position in Programming Languages at the University of Tartu
by Danel Ahman 05 Nov '25
by Danel Ahman 05 Nov '25
05 Nov '25
1
0
1
0
Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom
by Andrei Popescu 03 Nov '25
by Andrei Popescu 03 Nov '25
03 Nov '25
1
3