List archive

• 25/09/16
  • 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)
• 25/09/17
  • Intermediate category theory reading group, Chris Heunen
• 25/09/20
  • 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)
  • [LFCS seminar] 23 Sep: Paul Goldberg, University of Oxford: Complexity of Unambiguous Problems in Σ^P_2, Ohad Kammar
• 25/09/23
  • [LFCS seminar] Today (23 Sep): Paul Goldberg, University of Oxford: Complexity of Unambiguous Problems in Σ^P_2, Ohad Kammar
  • [LFCS seminar] Now (23 Sep): Paul Goldberg, University of Oxford: Complexity of Unambiguous Problems in Σ^P_2, Ohad Kammar
• 25/09/24
  • [LFCS seminar] 30 Sep: Leslie Ann Goldberg, University of Oxford: Instability of Contention Resolution Protocols, Ohad Kammar
• 25/09/25
  • Joint AIAI/LFCS Seminar-Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon, Jodie Cameron
• 25/09/29
  • Joint AIAI/LFCS Seminar- TODAY Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon, Jodie Cameron
  • Special Issue on Horn Clauses for Verification and Synthesis in Acta Informatica, Emanuele De Angelis
• 25/09/30
  • [LFCS seminar] Today (30 Sep): Leslie Ann Goldberg, University of Oxford: Instability of Contention Resolution Protocols, Ohad Kammar
  • Call for participation: ReAGENT-SW Workshop: Realising Autonomous Generative Agents for the Semantic Web @ ISWC 2025., Tamma, Valentina
  • [LFCS seminar] Now (30 Sep): Leslie Ann Goldberg, University of Oxford: Instability of Contention Resolution Protocols, Ohad Kammar

---

Archive powered by MHonArc 2.6.24.