List archive

• [PN-world] The RTNS 2026 Round 2 deadline is on June 4th. Submit now! The 34th International Conference on Real-Time Networks and Systems, petri-net-world, 06/01/2026
• [PN-world] ICFEM 2026 deadline extension, petri-net-world, 06/02/2026
• [PN-world] TR : VECoS 2026 - 19-20 November 2026, Amsterdam (Tinbergen Institute), Netherlands., petri-net-world, 06/02/2026
• [PN-world] FME Teaching Tutorial on June 12, 2026 @ 3 pm CEST: Prof Jan Kofroň, Charles University, Czech Republic, on "Teaching Formal Methods at Charles University", petri-net-world, 06/05/2026
• [PN-world] Call for Participation: "Celebrating 100 years Carl Adam Petri" in Hamburg, Germany, petri-net-world, 06/09/2026
• [PN-world] FSTTCS 2026 - Call for papers, petri-net-world, 06/14/2026
• [PN-world] Model Checking Contest, publication of surprise models, petri-net-world, 06/17/2026
• [PN-world] [CFP][STM 2026 - deadline: 26th June] 22nd International Workshop on Security and Trust Management (STM 2026) in conjunction with ESORICS 2026, petri-net-world, 06/19/2026
  • <Possible follow-up(s)>
  • [PN-world] [CFP][STM 2026 - deadline: 26th June] 22nd International Workshop on Security and Trust Management (STM 2026) in conjunction with ESORICS 2026, petri-net-world, 06/23/2026
• [PN-world] FSEN '27 - second call for papers, petri-net-world, 06/22/2026
• [PN-world] CSL 2027 – Second Call for Papers, petri-net-world, 06/22/2026
• [PN-world] Call for Papers - ISC 2026 (Extended deadline: July 2, 2026), petri-net-world, 06/23/2026
• [PN-world] Model Checking Contest, results are out, petri-net-world, 06/24/2026
• [PN-world] [CFP][STM 2026 - EXTENDED DEADLINE: 3rd July] 22nd International Workshop on Security and Trust Management (STM 2026) in conjunction with ESORICS 2026, petri-net-world, 06/25/2026
• [PN-world] 24th International Conference on Service-Oriented Computing, ICSOC 2026 Lodz, Poland, December 1-4, 2026, petri-net-world, 06/29/2026

Archive powered by MHonArc 2.6.24.