List archive

• 25/05/23
  • [LFCS seminar] Two seminars next week, on 27 May (Tue): Swagato Sanyal, University of Sheffield, and Ayberk Tosun, University of Birmingham, Ohad Kammar
• 25/05/24
  • Glückwunsch, Euro Millions
• 25/05/26
  • ECOOP 2025: Call for Participation - Early Registration Deadline (28th May 2025 CEST) is approaching, Violet Ka I Pun
• 25/05/27
  • [qest-announce] MASCOTS 2025 - Deadline extension, Maria Carla Calzarossa
  • [LFCS seminar] Two seminars today (Tue): Swagato Sanyal, University of Sheffield, and Ayberk Tosun, University of Birmingham, Ohad Kammar
  • Hp All In One Core I7 Ram 32Gb Win Professional, Commerciale - PC Maddy
  • [LFCS seminar] Now: Swagato Sanyal, University of Sheffield: On the composition question for randomized query complexity., Ohad Kammar
  • [LFCS seminar] Now: Ayberk Tosun, University of Birmingham: Constructive and Predicative Locale Theory in Univalent Foundations, Ohad Kammar
  • [qest-announce] [RV 25-CfP] Final Call for Papers for 25th International Conference on Runtime Verification, Martin Tappler
• 25/05/28
  • CALL FOR NOMINATION - FSCD Steering Committee Membership Election 2025, Carsten Fuhs
  • DaLí 2025 - 3rd Call for Papers ** deadline extension **, Alexandre Madeira
  • BMQL 2025 - Second Call for Papers, Giovanni Bacci
  • GandALF 2025 - Deadline Extension to 6 June, Giorgio Bacci
  • [qest-announce] NETGCOOP 2025 - Call for Papers and Posters - Deadline extension, 'Elene Anton' via qest-announce
• 25/05/29
  • [fm-announcements] PVS Day at NFM 2025, June 10, 2025, Munoz, Cesar A. (LARC-D320) via fm-announcements
• 25/05/30
  • CfP/Deadline extension: Functional Programming for Productivity and Performance (FProPer), Michael Sperber
  • [LFCS seminar] 05 Jun: Rasmus Møgelberg, IT University of Copenhagen: Induction and Recursion Principles in a Higher-Order Quantitative Logic, Ohad Kammar
• 25/05/31
  • iFM 2025 Call for Papers - Deadline Extended, Giorgio Audrito
  • [C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025, Manuel Alejandro Borroto Santana

---

Archive powered by MHonArc 2.6.24.