List archive

• 26/05/03
  • [PN-world] MCU 2026: Final Call for Papers (Machines, Computations and Universality in Trier, Germany), petri-net-world
• 26/05/04
  • [PN-world] Postdoc position in automata and concurrency theory at the University of Warsaw, petri-net-world
• 26/05/07
  • [PN-world] [Deadline Extension] CfP: ACV Workshop at FLoC 2026, petri-net-world
  • [PN-world] SAT/SMT/AR summer school: registration and financial support, petri-net-world
• 26/05/09
  • [PN-world] AWPN 2026: Call for Contributions, petri-net-world
  • [PN-world] PROSE 2026: Call for Contributions, petri-net-world
• 26/05/12
  • [PN-world] ETAPS 2027 - Call for Satellite Events, petri-net-world
  • [PN-world] LPAR-26 Call for Papers - The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning, petri-net-world
• 26/05/15
  • [PN-world] FM4All - an FME initiative to support Formal Methods teaching in Computer Science and Engineering curricula, petri-net-world
• 26/05/16
  • [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
  • [PN-world] Highlights 2026 Vienna: CfP submission deadline May 29th, petri-net-world
• 26/05/17
  • [PN-world] SETTA 2026 - deadline extension, petri-net-world
• 26/05/23
  • [PN-world] Call for Papers RP 2026: Reachability Problems, Turku, Finland - submission deadline: 21 June 2026, petri-net-world
• 26/05/25
  • [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
• 26/05/29
  • [PN-world] Summer School on Verification Technology, Systems & Applications, petri-net-world

---

Archive powered by MHonArc 2.6.24.