List archive

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

---

Archive powered by MHonArc 2.6.19+.