List archive

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

---

Archive powered by MHonArc 2.6.24.