List archive

• 25/11/07
  • [PN-world] PRIMA 2025 – PhD Day: Call for Submissions – FINAL CALL, petri-net-world
• 25/11/12
  • [PN-world] DisCoTec 2026 - Urbino, Italy [Preliminary Call], petri-net-world
• 25/11/14
  • [PN-world] Computability in Europe - CiE 2026, July 27-31. First Call for Papers, petri-net-world
• 25/11/18
  • [PN-world] Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026, petri-net-world
• 25/11/19
  • [PN-world] [CFW] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing, petri-net-world
• 25/11/21
  • [PN-world] ECRTS 2026 Call for Papers, petri-net-world
  • [PN-world] FME Teaching Tutorial on November 28, 2025 @ 10 am CET: Prof Graeme Smith, University of Queensland, Australia, on "Autograding weakest precondition proofs and Dafny specifications", petri-net-world
• 25/11/24
  • [PN-world] Call for Papers: SPIN 2026: The 32nd International Symposium on Model Checking Software, petri-net-world
  • [PN-world] Case Opened - 02974103 - [PVS] Call for Papers: SPIN 2026: The 32nd International Symposium on Model Checking Software, petri-net-world
  • [PN-world] Petri nets 2026 CfP, petri-net-world

---

Archive powered by MHonArc 2.6.24.