sal  

Messages by Thread

• [SAL] [EXTERNAL] CfP: DisCoTec 2025 Bas van den Heuvel
• [SAL] [EXTERNAL] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025 Bas van den Heuvel
• [SAL] [EXTERNAL] [fm-announcements] NFM 2025 second CFP Dutle, Aaron M. (LARC-D320) via fm-announcements
• [SAL] [EXTERNAL] SPIN 2025: Call for Papers Rozier, Kristin-Yvonne [AER E]
• [SAL] [EXTERNAL] Call for ECOOP 2025 Workshop Proposals Clément Aubert
• [SAL] [EXTERNAL] SAC-SVT 2025 Final Call for Papers: Software Verification and Testing Track at SAC 2025: deadline October 13, 2024 Wijs, Anton
• [SAL] [EXTERNAL] [fm-announcements] NFM 2025 CFP Dutle, Aaron M. (LARC-D320) via fm-announcements
• [SAL] [EXTERNAL] ETAPS 2025 Final Joint Call for Papers Claudio MENGHI
• [SAL] [EXTERNAL] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14 Luigia Petre