List archive

• 25/09/02
  • [PN-world] 1st CFP FOODSIM'2026 - 14th Biennial FOODSIM Conference, April 15-17, 2026, University of Leuven/Campus Ghent, Belgium, petri-net-world
• 25/09/05
  • [PN-world] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025, petri-net-world
• 25/09/10
  • [PN-world] [SEFM 2025] Call for Participation, petri-net-world
• 25/09/12
  • [PN-world] FM 2026: 2nd Call for Papers, petri-net-world
• 25/09/16
  • [PN-world] ETAPS 2026 Second Joint Call for Papers, petri-net-world
  • [PN-world] CFP: RealTime Service oriented and EMbedded Systems Workshop (RTSEMS@ICSOC 2025), petri-net-world
• 25/09/19
  • [PN-world] CFP - FPS 2025 (Extended Deadline: Sep 30, 2025), petri-net-world
  • [PN-world] FME Teaching Tutorial on September 26, 2025 @ 3 pm CEST: Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil, on "A personal account on teaching formal methods in Brazil: From specifications to code with B", petri-net-world
• 25/09/27
  • [PN-world] [CFP] AHPC3: The 3rd Workshop on Accelerated HPC in the Cloud-Edge Continuum, petri-net-world

---

Archive powered by MHonArc 2.6.24.