List archive

• [PN-world] ICPE 2025 Call for Participation, Alim Gias, 03/04/2025
• [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, 03/04/2025
• [PN-world] 2025 Alonzo Church Award Call for Nominations, Thomas Colcombet, 03/05/2025
• [PN-world] FTfJP 2025 - First Call for Papers, Crystal Chang Din, 03/05/2025
• [PN-world] ICCPS 2025 Call for Participation, Daniel Casini, 03/10/2025
• [PN-world] 2nd CfP: VERDI 2025 - 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, José Proença, 03/15/2025
• [PN-world] 28th DSD - Euromicro Conference on Digital System Design, Salerno, Sept. 10-12 -- Call for papers, Daniel Casini, 03/17/2025
• [PN-world] ESOP 2026 - Call for Papers, Claudio MENGHI, 03/24/2025
• [PN-world] ETAPS 2025 - CALL FOR PARTICIPATION, Claudio MENGHI, 03/24/2025
• [PN-world] Workshop on Adaptable Cloud Architectures - WACA @ DisCoTec - 2nd Call for Papers, Giuseppe De Palma, 03/24/2025
• [PN-world] EXTENDED DEADLINE - CfP CPSS4Sus2025 - 3rd International Workshop on Cyber-Physical Social Systems for Sustainability: Shaping Tomorrow, João Paulo Barros, 03/24/2025
• [PN-world] Call for papers - PENGE workshop, Laure Petrucci, 03/25/2025
• [PN-world] Call for Participation: FORMALISE 2025, Quentin NIVON, 03/25/2025
• [PN-world] VORTEX 2025 1st Call for Papers, Giorgio Audrito, 03/25/2025
• [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, 03/25/2025
• [PN-world] Call for Contributions - Sensei'25, Lopuhaa-Zwakenberg, Milan (UT-EEMCS), 03/26/2025
• [PN-world] Call for Papers - The 28th Forum on specification and Design Languages (FDL), Johannes Koch, 03/27/2025

Archive powered by MHonArc 2.6.19+.