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
• [PN-world] NASA Formal Methods (NFM): First Call for Papers, petri-net-world, 09/21/2026
• [PN-world] CFP: RealTime Service oriented and EMbedded Systems Workshop (RTSEMS@ICSOC 2026): Deadline extension (15 October 2026), petri-net-world, 09/23/2026
• [PN-world] FSCD and CADE 2027 Call for Workshops, petri-net-world, 09/24/2026
• [PN-world] [Workshop Papers] 24th International Conference on Service-Oriented Computing, ICSOC 2026 Lodz, Poland, December 1-4, 2026, petri-net-world, 09/28/2026

Archive powered by MHonArc 2.6.24.