List archive

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

---

Archive powered by MHonArc 2.6.19+.