List archive

• [PN-world] FME Teaching Tutorial on June 6, 2025, 3pm CET: Prof Philip Wadler, University of Edinburgh, UK: Lambda, the Ultimate Teaching Assistant (Agda version), João F. Ferreira, 05/30/2025
• [PN-world] iFM 2025 Call for Papers - Deadline Extended, Giorgio Audrito, 05/31/2025
• [PN-world] EXPRESS/SOS@CONFEST2025 - Last Call for papers, Cinzia Di Giusto, 06/03/2025
• [PN-world] CADE-30 Call for Participation, geoff, 06/10/2025
• [PN-world] PhD position at the University of Duisburg-Essen, Barbara König, 06/10/2025
• [PN-world] DataMod 2025 - First Call for Papers, Ouadie Khebbeb, 06/11/2025
• [PN-world] [CFP] SEFM 2025, MIGUEL BENITO PAREJO, 06/11/2025
• [PN-world] Call for presentations: SynCoP 2025 (Aarhus, 25th August 2025), Étienne André, 06/16/2025
• [PN-world] Call for faculty positions at PUCV, Chile, Claudio Alonso Cubillos Figueroa, 06/17/2025
• [PN-world] 46th IEEE Real-Time Systems Symposium (RTSS 2025) - Hot Topics Day - Call for Proposals, Federico Aromolo, 06/17/2025
• [PN-world] CfP: REACTS'25 - International Workshop on Reconfigurable Transition Systems, Nov 10-11, 2025, José Proença, 06/18/2025
• [PN-world] CADE-30 Call for Participation - Early Registration Deadline June 23rd, 2025, geoff, 06/20/2025
• [PN-world] CONFEST 2025 (CONCUR, FMICS, QEST+FORMATS): Call for Participation, Jaco van de Pol, 06/20/2025
• [PN-world] [Call for Participation] 2025 IEEE International Conference on Cyber Security and Resilience, IEEE CSR Conference, 06/21/2025
• [PN-world] Call for Papers-21st International Conference on Information Systems Security (ICISS 2025), ICISS2025 ICISS, 06/30/2025

Archive powered by MHonArc 2.6.19+.