List archive

• [PN-world] PRIMA 2025 – PhD Day: Call for Submissions – FINAL CALL, petri-net-world, 11/07/2025
• [PN-world] DisCoTec 2026 - Urbino, Italy [Preliminary Call], petri-net-world, 11/12/2025
• [PN-world] Computability in Europe - CiE 2026, July 27-31. First Call for Papers, petri-net-world, 11/14/2025
• [PN-world] Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026, petri-net-world, 11/18/2025
• [PN-world] [CFW] Euro-Par 2026 - 32nd International European Conference on Parallel and Distributed Computing, petri-net-world, 11/19/2025
• [PN-world] ECRTS 2026 Call for Papers, petri-net-world, 11/21/2025
• [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, 11/21/2025
• [PN-world] Call for Papers: SPIN 2026: The 32nd International Symposium on Model Checking Software, petri-net-world, 11/24/2025
• [PN-world] Case Opened - 02974103 - [PVS] Call for Papers: SPIN 2026: The 32nd International Symposium on Model Checking Software, petri-net-world, 11/24/2025
• [PN-world] Petri nets 2026 CfP, petri-net-world, 11/24/2025

Archive powered by MHonArc 2.6.24.