List archive

• [PN-world] MCU 2026: Final Call for Papers (Machines, Computations and Universality in Trier, Germany), petri-net-world, 05/03/2026
• [PN-world] Postdoc position in automata and concurrency theory at the University of Warsaw, petri-net-world, 05/04/2026
• [PN-world] [Deadline Extension] CfP: ACV Workshop at FLoC 2026, petri-net-world, 05/07/2026
• [PN-world] SAT/SMT/AR summer school: registration and financial support, petri-net-world, 05/07/2026
• [PN-world] AWPN 2026: Call for Contributions, petri-net-world, 05/09/2026
• [PN-world] PROSE 2026: Call for Contributions, petri-net-world, 05/09/2026
• [PN-world] ETAPS 2027 - Call for Satellite Events, petri-net-world, 05/12/2026
• [PN-world] LPAR-26 Call for Papers - The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning, petri-net-world, 05/12/2026
• [PN-world] FM4All - an FME initiative to support Formal Methods teaching in Computer Science and Engineering curricula, petri-net-world, 05/15/2026
• [PN-world] [Call for Participation] 47th International Conference on Applications and Theory of Petri Nets and Concurrency [Petri Nets 2026], Hamburg, Germany, June 22-26, 2026, petri-net-world, 05/16/2026
• [PN-world] Highlights 2026 Vienna: CfP submission deadline May 29th, petri-net-world, 05/16/2026
• [PN-world] SETTA 2026 - deadline extension, petri-net-world, 05/17/2026
• [PN-world] Call for Papers RP 2026: Reachability Problems, Turku, Finland - submission deadline: 21 June 2026, petri-net-world, 05/23/2026
• [PN-world] FME Teaching Tutorial on May 29, 2026 @ 3 pm CEST: Prof Peter Ölveczky, University of Oslo, Norway on "Introducing Formal Methods for/and Distributed Systems Using Maude", petri-net-world, 05/25/2026
• [PN-world] Summer School on Verification Technology, Systems & Applications, petri-net-world, 05/29/2026

Archive powered by MHonArc 2.6.24.