List archive

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

Archive powered by MHonArc 2.6.24.