List archive

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

Archive powered by MHonArc 2.6.24.