Subject: Events and news relevant to the Laboratory for Foundations of Computer Science
List archive
- CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2026, Carsten Fuhs, 06/05/2026
- ISWC 2026 Industry Track – Call for Papers, Fatima Zahra AMARA, 06/08/2026
- Vacancy: Assistant Professor in Formal Methods and Neuro-Symbolic AI at TU/e (closes 2 August), Willemse, Tim, 06/12/2026
- AI Safety Seminar 3.07 Informatics Forum, Friday 4pm - Ivan Vegner & Elliot Tower - Sparse weight factorization for transformer circuit discovery, Adam Harrison, 06/12/2026
- Preliminary announcement: Symposium to celebrate 40 years of LFCS, James Cheney, 06/12/2026
- [LFCS seminar] 16 Jun: Shing Hin Ho, Imperial College London: A model of separation logic for Bayesian probability, Ohad Kammar, 06/12/2026
- AI Safety Seminar 3.07 Informatics Forum - How to think about AI agents - William Waites, Adam Harrison, 06/15/2026
- [LFCS seminar] Today, 16 Jun: Shing Hin Ho, Imperial College London: A model of separation logic for Bayesian probability, Ohad Kammar, 06/16/2026
- [LFCS seminar] Now, 16 Jun: Shing Hin Ho, Imperial College London: A model of separation logic for Bayesian probability, Ohad Kammar, 06/16/2026
- MCSI 2026, Dr G Petrakis, 06/26/2026
- Job: Security for Agentic AI, KTP Associate at U. Edinburgh and Kodamai Ltd, David Aspinall, 06/30/2026
Archive powered by MHonArc 2.6.24.