List archive

• [PN-world] 1st CFP FOODSIM'2026 - 14th Biennial FOODSIM Conference, April 15-17, 2026, University of Leuven/Campus Ghent, Belgium, petri-net-world, 09/02/2025
• [PN-world] SAC-SVT 2026 CfP: Software Verification and Testing Track at SAC 2026: deadline September 26, 2025, petri-net-world, 09/05/2025
• [PN-world] [SEFM 2025] Call for Participation, petri-net-world, 09/10/2025
• [PN-world] FM 2026: 2nd Call for Papers, petri-net-world, 09/12/2025
• [PN-world] ETAPS 2026 Second Joint Call for Papers, petri-net-world, 09/16/2025
• [PN-world] CFP: RealTime Service oriented and EMbedded Systems Workshop (RTSEMS@ICSOC 2025), petri-net-world, 09/16/2025
• [PN-world] CFP - FPS 2025 (Extended Deadline: Sep 30, 2025), petri-net-world, 09/19/2025
• [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, 09/19/2025
• [PN-world] [CFP] AHPC3: The 3rd Workshop on Accelerated HPC in the Cloud-Edge Continuum, petri-net-world, 09/27/2025

Archive powered by MHonArc 2.6.24.