List archive

• [PN-world] MODEL CHECKING CONTEST 2025 - (1/2) - CALL FOR MODELS, Fabrice Kordon, 01/06/2025
• [PN-world] DEADLINE EXTENDED - IFIP SEC 2025 CFP, IFIP SEC 2025, 01/06/2025
• [PN-world] Petri Nets 2025 Second call for papers, Benoit Barbot, 01/06/2025
• [PN-world] ICPE 2025 2nd CFP for Special Tracks and Workshops, Gias, Alim, 01/06/2025
• [PN-world] IEEE ISORC 2025 CFP: Submission deadline extended, Daniel Casini, 01/09/2025
• [PN-world] MODEL CHECKING CONTEST 2025 - (2/2) - CALL FOR TOOLS, Fabrice Kordon, 01/13/2025
• [PN-world] D-Con 2025: Call for Participation, Robert Lorenz, 01/13/2025
• [PN-world] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques, Bas van den Heuvel, 01/15/2025
• [PN-world] Fwd: Petri Nets 2025 - deadline extension, Benoit Barbot, 01/16/2025
• [PN-world] Call for papers: ECMS 2025, Catania, Italy - June 24-27, 2025, Marco Scarpa, 01/16/2025
• [PN-world] [ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025, Francesco Calimeri, 01/21/2025
• [PN-world] Last Call for ECOOP 2025 Workshop Proposals, Clément Aubert, 01/23/2025
• [PN-world] IEEE ISORC 2025: Firm Submission Deadline on Feb 2nd, Yue Tang, 01/27/2025
• [PN-world] Final call for papers: Petri Nets 2025 (Paris), Étienne André, 01/27/2025
• [PN-world] CfP: VERDI 2025 - 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, José Proença, 01/29/2025
• [PN-world] 1st Call for Papers COORDINATION 2025, Étienne André, 01/29/2025

Archive powered by MHonArc 2.6.19+.