List archive

• 25/03/04
  • [PN-world] ICPE 2025 Call for Participation, Alim Gias
  • [PN-world] RISCS and VeTSS event: The Value of Feminism in the Theory and Practice of Computer Science and Cyber Security, Bristol, Thursday 27th of March 2025, registration open, Carbajo Garcia, Teresa
• 25/03/05
  • [PN-world] 2025 Alonzo Church Award Call for Nominations, Thomas Colcombet
  • [PN-world] FTfJP 2025 - First Call for Papers, Crystal Chang Din
• 25/03/10
  • [PN-world] ICCPS 2025 Call for Participation, Daniel Casini
• 25/03/15
  • [PN-world] 2nd CfP: VERDI 2025 - 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, José Proença
• 25/03/17
  • [PN-world] 28th DSD - Euromicro Conference on Digital System Design, Salerno, Sept. 10-12 -- Call for papers, Daniel Casini
• 25/03/24
  • [PN-world] ESOP 2026 - Call for Papers, Claudio MENGHI
  • [PN-world] ETAPS 2025 - CALL FOR PARTICIPATION, Claudio MENGHI
  • [PN-world] Workshop on Adaptable Cloud Architectures - WACA @ DisCoTec - 2nd Call for Papers, Giuseppe De Palma
  • [PN-world] EXTENDED DEADLINE - CfP CPSS4Sus2025 - 3rd International Workshop on Cyber-Physical Social Systems for Sustainability: Shaping Tomorrow, João Paulo Barros
• 25/03/25
  • [PN-world] Call for papers - PENGE workshop, Laure Petrucci
  • [PN-world] Call for Participation: FORMALISE 2025, Quentin NIVON
  • [PN-world] VORTEX 2025 1st Call for Papers, Giorgio Audrito
  • [PN-world] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!", Luigia Petre
• 25/03/26
  • [PN-world] Call for Contributions - Sensei'25, Lopuhaa-Zwakenberg, Milan (UT-EEMCS)
• 25/03/27
  • [PN-world] Call for Papers - The 28th Forum on specification and Design Languages (FDL), Johannes Koch

---

Archive powered by MHonArc 2.6.19+.