September 2025 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Tue Sep 2 12:10:18 CEST 2025
Ending: Sat Sep 27 10:25:55 CEST 2025
Messages: 17

• [fg-arc] AAMAS 2026 Main Track: Abstract Submission in 4 Weeks (October 1st)   Announce
• [fg-arc] The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2026): Fourth Call for Papers and Tutorial Proposals   Announce
• [fg-arc] The Annual ACM Conference on Intelligent User Interfaces (IUI 2026): Third Call for Papers   Announce
• [fg-arc] 39th IEEE International Symposium on Computer-Based Medical Systems (CBMS): Second Call for Contributions   Announce
• [fg-arc] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025   Wijs, Anton
• [fg-arc] The Annual ACM Conference on Intelligent User Interfaces (IUI 2026): Third Call for Tutorial Proposals   Announce
• [fg-arc] The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2026): First Combo Call for Workshop Papers   Announce
• [fg-arc] [Jobs] Postdoctoral Position in Artificial Intelligence at the University of New South Wales (UNSW), Sydney, Australia   Maurice Pagnucco
• [fg-arc] [fm-announcements] NASA Formal Methods (NFM) 2026 - Call for Papers   Havelund, Klaus (US 348B) via fm-announcements
• [fg-arc] FME Teaching Tutorial on September 26, 2025 @ 3 pm CEST: Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil, on "A personal account on teaching formal methods in Brazil: From specifications to code with B"   Luigia Petre
• [fg-arc] AAMAS 2026: First Call for Nominations for the 2026 IFAAMAS Influential Paper Award   Announce Announcements
• [fg-arc] [fm-announcements] CFP: 16th International Workshop on Rewriting Logic and its Applications (WRLA 2026)   Munoz, Cesar A. (LARC-D320) via fm-announcements
• [fg-arc] [AK-MSDO] Erinnerung: 11. Treffen des Arbeitskreises MSDO   Philip Wizenty
• [fg-arc] The Annual ACM Conference on Intelligent User Interfaces (IUI 2026): First Call for Posters and Demos   Announce
• [fg-arc] Offre de thèse : Machine Learning appliqué aux sceaux byzantins   Victoria Eyharabide
• [fg-arc] The Annual ACM Conference on Intelligent User Interfaces (IUI 2026): Last Call for Papers   Announce
• [fg-arc] [CFP] AHPC3: The 3rd Workshop on Accelerated HPC in the Cloud-Edge Continuum   Valerio Besozzi

Last message date: Sat Sep 27 10:25:55 CEST 2025
Archived on: Mon Sep 29 09:55:14 CEST 2025

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...