List archive

• 24/09/02
  • [PN-world] FSEN 2025 - Final Call for Papers, Petra van den Bos
• 24/09/05
  • [PN-world] ICCPS 2025 - Call for Papers, Daniel Casini
• 24/09/06
  • [PN-world] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14, Luigia Petre
• 24/09/09
  • [PN-world] Postdoc position in automata and concurrency theory at the University of Warsaw, Sławomir Lasota
• 24/09/11
  • [PN-world] Two PhD Positions in Quantum Computing and Machine Learning, Max Tschaikowski
• 24/09/13
  • [PN-world] Highlights 2024 next week. Possibility of online participation, Highlights Communication (Antonio Casares)
  • [PN-world] ICPE 2025 - Call for Contributions, Gias, Alim
• 24/09/20
  • [PN-world] FME Teaching Tutorial on September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes, Luigia Petre
• 24/09/25
  • [PN-world] AWPN 2024: Call for Participation, Robert Lorenz
• 24/09/30
  • [PN-world] Call for Papers: FORMALISE 2025, Gwen Salaün

---

Archive powered by MHonArc 2.6.19+.