List archive

• 24/05/27
  • [PN-world] Call For Presentations HIGHLIGHTS 2024: Deadline 17 June, Highlights Communication (Antonio Casares)
• 24/06/09
  • [PN-world] (PN) Ackermann Award: Call for nominations - Deadline approaching - 1st July, Maribel Fernandez via Petrinet
  • [PN-world] (PN) [ECAI-24] Second Call for Papers: ActSynt - Workshop on Highlights of Reasoning about Actions, Planning and Reactive Synthesis, Antonio Di Stasio via Petrinet
  • [PN-world] (PN) Petri nets 2024: Second call for participation, Didier Buchs via Petrinet
  • [PN-world] (PN) CFP - PhD Forum - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024), Naghmeh Ivaki via Petrinet
  • [PN-world] (PN) SEFM'24 -- Deadline extended!, Alexandre Madeira via Petrinet
  • [PN-world] (PN) [CFP] 20th International Conference on Information Systems Security (ICISS-2024), December 16-20, 2024, Jaipur, India., Preetam Mukherjee via Petrinet
  • [PN-world] (PN) DisCoTec 2024 Final Call for Participation, Bas van den Heuvel via Petrinet
  • [PN-world] (PN) [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems, Samir Ouchani via Petrinet
  • [PN-world] (PN) [IEEE CSR Workshop] (Submission Deadline Extended: June 30th, 2024), Filippo Berto via Petrinet
  • [PN-world] (PN) 19th International Conference on Integrated Formal Methods - iFM 2024, geoff--- via Petrinet
  • [PN-world] (PN) 18th International Conference on Reachability Problems - RP'24, geoff--- via Petrinet
  • [PN-world] (PN) VORTEX 2024 call for papers, Giorgio Audrito via Petrinet
  • [PN-world] (PN) [LPNMR 2024] Call For Papers, giuseppe.mazzotta--- via Petrinet
  • [PN-world] (PN) CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024, Simon Kolker via Petrinet
• 24/06/10
  • [PN-world] 2nd Call For Presentations HIGHLIGHTS 2024: Deadline 17 June, Highlights Communication (Antonio Casares)
• 24/06/12
  • [PN-world] Petri Nets 2024 in Geneva — last call for participation, Fabrice Kordon
  • [PN-world] (PN) Petri Nets 2024 in Geneva — last call for participation, Fabrice Kordon via Petrinet
• 24/06/13
  • [PN-world] (PN) Tina 3.8.0 implements Sleptsov Nets, Dmitry Zaitsev via Petrinet
  • [PN-world] (PN) [qest-announce] 3 PhD and 1 Postdoc Positions at Saarland University, Saarbrücken, Verena Wolf via Petrinet
  • [PN-world] (PN) [qest-announce] [NETGCOOP 2024] The 11th International Conference on Network Games, Control and Optimization - Lille, France, October 9-11, 2024, Alexandre REIFFERS-MASSON via Petrinet
  • [PN-world] (PN) Postdoc positions in Software Security and Formal Verification at Newcastle University, Narges Khakpour via Petrinet
  • [PN-world] (PN) [qest-announce] [CfP] VECoS'2024 - last call for paper - EXTENDED DEADLINE - October 16-18, 2024 - Djerba, Tunisia, Belgacem BEN HEDIA via Petrinet
  • [PN-world] (PN) [Vardi-list] OSSyM Workshop@CAV 2024, Moshe Vardi via Petrinet
  • [PN-world] (PN) [NETGCOOP 2024] The 11th International Conference on Network Games, Control and Optimization - Lille, France, October 9-11, 2024, btuffin via Petrinet
• 24/06/14
  • [PN-world] HIGHLIGHTS '24: Registrations Open and Last CFP (Submission deadline 17 June), Highlights Communication (Antonio Casares)
• 24/06/16
  • [PN-world] Model Checking Contest 2024 — publication of surprise models, Fabrice Kordon
• 24/06/17
  • [PN-world] (PN) [CRISIS 2024 - Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems, Samir OUCHANI via Petrinet
  • [PN-world] (PN) [Approaching Deadline - LPNMR 2024] Call For Papers, giuseppe.mazzotta--- via Petrinet
• 24/06/24
  • [PN-world] (PN) Model Checking Contest 2024 — publication of surprise models, Fabrice Kordon via Petrinet

---

Archive powered by MHonArc 2.6.19+.