List archive

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

Archive powered by MHonArc 2.6.19+.