List archive

• [PN-world] PhD Position in Explainable Formal Methods (TU Braunschweig, Germany), petri-net-world, 09/04/2026
• [PN-world] CFP: Adaptive Service-oriented and Cloud Applications Workshop@ICSOC 2026, petri-net-world, 09/07/2026
• [PN-world] Subject: FSEN '27 - third call for papers, petri-net-world, 09/12/2026
• [PN-world] [CFP] AHPC3: The 4th Workshop on Accelerated HPC in the Cloud-Edge Continuum, petri-net-world, 09/14/2026
• [PN-world] CfP: FormaliSE 2027 (Deadline 6/11/2026) - 15th International Conference on Formal Methods in Software Engineering, petri-net-world, 09/14/2026
• [PN-world] ETAPS 2027 Second Joint Call For Papers, petri-net-world, 09/16/2026

Archive powered by MHonArc 2.6.24.