Subject: Events and news relevant to the Laboratory for Foundations of Computer Science
List archive
- 2nd CFP: NMR 2026 - 24th International Workshop on Nonmonotonic Reasoning, Jacek Wegrzynowski, 01/05/2026
- FSCD 2026: Second Call for Papers, Carsten Fuhs, 01/09/2026
- RE: Product Inquiry, Linko Consultancy Sdn Bhd Malaysia., 01/10/2026
- Fw: about logic podcasts, Ohad Kammar, 01/12/2026
- International Workshop on Confluence 1st CfP, Raúl Gutiérrez, 01/13/2026
- FW: Ursula Martin on "Will machines change pure mathematics?" 2pm, Mon 19 Jan, Paul Jackson, 01/14/2026
- FW: *CANCELLED* AIAI Seminar: Monday 19th January 14:00, Room Informatics G.03, Speaker Ursula Martin, Paul Jackson, 01/19/2026
- CFP: ISWC 2026 — Abstracts due 2 May (AoE), Papers due 7 May (AoE), Fatima Zahra AMARA, 01/19/2026
- 2nd CfP: REVERSIBLE COMPUTATION 2026 –18th International Conference on Reversible Computation, July 9–10, 2026, Torino, Italy, Clément Aubert, 01/20/2026
- MFPS XLII: Second call for papers, Danel Ahman, 01/26/2026
- FW: *REMINDER* AIAI Seminar: Friday 30th January 15:00, Room Bayes Theorem, Speaker Rod Chapman, Paul Jackson, 01/26/2026
-
RIP Wei Li (1943-2026),
Don Sannella, 01/27/2026
- Re: RIP Wei Li (1943-2026), Glynn Winskel, 01/27/2026
- Re: RIP Wei Li (1943-2026), Andrzej Tarlecki, 01/27/2026
- *REMINDER* Talk 3pm today on formal verification and optimisation of cryptographic code at AWS, Speaker Rod Chapman, Informatics Institute News, 01/30/2026
Archive powered by MHonArc 2.6.24.