List archive

• 26/05/01
  • MFPS XLII and SSTT 2026: Call for participation, Danel Ahman
• 26/05/04
  • CfP 2nd International Workshop on,eXplainable AI and Knowledge Graphs (XAI+KG) co-located with ISWC 2026, Roberto Barile
• 26/05/05
  • [LFCS seminar] Today, 05 May: Greg Restall, University of St Andrews: Thoroughly Linear Hypersequents, Ohad Kammar
  • [Joint QSL & LFCS Seminar] 07 May: Priyaa Varshinee Srinivasan: What is Concurrency?, Kim Worrall
  • [Joint QSL & LFCS Seminar] 07 May: Priyaa Varshinee Srinivasan: What is Concurrency?, Kim Worrall
  • [LFCS seminar] Now, 05 May: Greg Restall, University of St Andrews: Thoroughly Linear Hypersequents, Ohad Kammar
• 26/05/06
  • [AISHED] Lawrence Piao - “Abuse Risks are Often Inherent to Product Features”: Exploring AI Vendors’ Bug Bounty and Responsible Disclosure Policies, Sherrie Shen
• 26/05/07
  • (Recording available) [Joint QSL & LFCS Seminar] 07 May: Priyaa Varshinee Srinivasan: What is Concurrency?, Kim Worrall
• 26/05/08
  • [LFCS seminar] 12 May:  Federico Pizzuti, Huawei Programming Language Lab (Edinburgh): Modal types for Cangjie, Ohad Kammar
• 26/05/12
  • [LFCS seminar] Today, 12 May: Dan Ghica and Federico Pizzuti, Huawei Programming Language Lab (Edinburgh): Modal types for Cangjie, Ohad Kammar
  • [LFCS seminar] Now, 12 May:  Dan Ghica and Federico Pizzuti, Huawei Programming Language Lab (Edinburgh): Modal types for Cangjie, Ohad Kammar
• 26/05/19
  • 2nd CFP: GandALF 2026, Giorgio Bacci
  • ISWC 2026 Registration and Accommodation Information, Fatima Zahra AMARA
• 26/05/20
  • Call for Participation: NMR 2026 - Lisbon, July 17-19, Jacek Wegrzynowski
• 26/05/21
  • 2nd CFP - Express/SOS 2026 (@CONFEST), Giorgio Bacci
  • International School on Rewriting -- 12 to 16 July 2026, Cynthia Kop
• 26/05/22
  • We would like to invite you to present an Invited Lecture and/or organize a Special Session - (APSAC 2026- Sponsor: Applied Materials), Dr G Petrakis
  • We would like to invite you to present an Invited Lecture and/or organize a Special Session - (APSAC 2026- Sponsor: Applied Materials), Dr G Petrakis
  • [LFCS seminar] 26 May: Dominic Mulligan, Amazon Web Services, Cambridge: Nitro Isolation Engine: formally verifying a production hypervisor, Ohad Kammar
• 26/05/26
  • [LFCS seminar] Today, 26 May: Dominic Mulligan, Amazon Web Services, Cambridge: Nitro Isolation Engine: formally verifying a production hypervisor, Ohad Kammar
  • [LFCS seminar] Now, 26 May: Dominic Mulligan, Amazon Web Services, Cambridge: Nitro Isolation Engine: formally verifying a production hypervisor, Ohad Kammar

---

Archive powered by MHonArc 2.6.24.