List archive

• Please, upload your paper only via the web site www.icamcs.eu Rome, Italy, December 29-31, 2025. See www.icamcs.eu, George Melovic (ICAMCS 2025, December 2025, Rome, Italy), 09/16/2025
  • <Possible follow-up(s)>
  • Please, upload your paper only via the web site www.icamcs.eu Rome, Italy, December 29-31, 2025. See www.icamcs.eu, George Melovic (ICAMCS 2025, December 2025, Rome, Italy), 09/20/2025
• Intermediate category theory reading group, Chris Heunen, 09/17/2025
• [LFCS seminar] 23 Sep: Paul Goldberg, University of Oxford: Complexity of Unambiguous Problems in Σ^P_2, Ohad Kammar, 09/20/2025
• [LFCS seminar] Today (23 Sep): Paul Goldberg, University of Oxford: Complexity of Unambiguous Problems in Σ^P_2, Ohad Kammar, 09/23/2025
• [LFCS seminar] Now (23 Sep): Paul Goldberg, University of Oxford: Complexity of Unambiguous Problems in Σ^P_2, Ohad Kammar, 09/23/2025
• [LFCS seminar] 30 Sep: Leslie Ann Goldberg, University of Oxford: Instability of Contention Resolution Protocols, Ohad Kammar, 09/24/2025
• Joint AIAI/LFCS Seminar-Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon, Jodie Cameron, 09/25/2025
• Joint AIAI/LFCS Seminar- TODAY Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon, Jodie Cameron, 09/29/2025
• Special Issue on Horn Clauses for Verification and Synthesis in Acta Informatica, Emanuele De Angelis, 09/29/2025
• [LFCS seminar] Today (30 Sep): Leslie Ann Goldberg, University of Oxford: Instability of Contention Resolution Protocols, Ohad Kammar, 09/30/2025
• Call for participation: ReAGENT-SW Workshop: Realising Autonomous Generative Agents for the Semantic Web @ ISWC 2025., Tamma, Valentina, 09/30/2025
• [LFCS seminar] Now (30 Sep): Leslie Ann Goldberg, University of Oxford: Instability of Contention Resolution Protocols, Ohad Kammar, 09/30/2025

Archive powered by MHonArc 2.6.24.