List archive

• [PN-world] CfP (deadline extension): VERDI 2025 - Workshop on Verification & Validation of Dependable Cyber-Physical Systems, José Proença, 04/01/2025
• [PN-world] [PPDP 25] Second Call for Papers, Carlos Olarte, 04/02/2025
• [PN-world] 2nd CFP 23rd Int. Conf. on Computational Methods in Systems Biology, CMSB 2025, François Fages, 04/02/2025
• [PN-world] iFM 2025 Call for Papers - 20th International Conference on Integrated, Formal Methods, Giorgio Audrito, 04/02/2025
• [PN-world] ICPE 2025 Second Call for Participation, Alim Gias, 04/03/2025
• [PN-world] Marktoberdorf 2025 CFP, geoff, 04/05/2025
• [PN-world] CfP: Fifth International Workshop on Agility with Microservices Programming (AMP 2025) Affiliated with ECSA 2025, Philip Wizenty, 04/06/2025
• [PN-world] FTfJP 2025 - Second Call for Papers, Crystal Chang Din, 04/07/2025
• [PN-world] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories, geoff, 04/09/2025
• [PN-world] FM 2026: 1st Call for Papers, c . a . furia, 04/10/2025
• [PN-world] CFP HIGHLIGHTS 2025 - Early Submission Deadline: April 16, Highlights Communication (Antonio Casares), 04/10/2025
• [PN-world] VeTSS Summer School, 11 – 14 August 2025, University of Glasgow, Theory and practice of verification, registration now open, please circulate, Carbajo Garcia, Teresa, 04/15/2025
• [PN-world] DisCoTec 2025 Call for Participation, Matthew Alan Le Brun (PGR), 04/17/2025
• [PN-world] 1st call for papers: 26th International Conference on Formal Engineering Methods (ICFEM 2025), Étienne André, 04/18/2025
• [PN-world] Last call for papers: PNSE 2025, Étienne André, 04/22/2025
• [PN-world] VORTEX 2025 Final Call for Papers, Giorgio Audrito, 04/23/2025
• [PN-world] VORTEX 2025: deadline extended, Giorgio Audrito, 04/27/2025
• [PN-world] PeNGE 2025 - deadline extension, Andrea Frank, 04/29/2025
• [PN-world] Call for Papers - 46th IEEE Real-Time Systems Symposium (RTSS 2025), Federico Aromolo, 04/30/2025

Archive powered by MHonArc 2.6.19+.