List archive

• [PN-world] [CFP] Real-Time Systems Journal Special Issue: Time-Sensitive Networking for Real-Time and Cyber-Physical Systems, petri-net-world, 03/02/2026
• [PN-world] FoPPS Summer School 2026, co-located with FLOC 2026 — First announcement, petri-net-world, 03/02/2026
• [PN-world] PhD position in formal methods for cyber-physical systems in a Marie Curie Doctoral Network, petri-net-world, 03/05/2026
• [PN-world] Faculty position in Computer Science (Software Systems Engineering) at DTU Compute, Technical University of Denmark, petri-net-world, 03/06/2026
• [PN-world] Call for Participation: Workshop on AI and Theorem Provers in Mathematics (AITPM), petri-net-world, 03/10/2026
• [PN-world] FSCD workshops at FLoC, petri-net-world, 03/13/2026
• [PN-world] Fwd: 2026 Alonzo Church Award, Call for Nominations, petri-net-world, 03/17/2026

Archive powered by MHonArc 2.6.24.