List archive

• 24/04/23
  • [PN-world] (PN) SAT/SMT/AR 2024: International Summer School, geoff--- via Petrinet
  • [PN-world] (PN) [ECAI-24] Call for Papers: ActSynt - Workshop on Highlights of Reasoning about Actions, Planning and Reactive Synthesis, Antonio Di Stasio via Petrinet
  • [PN-world] (PN) CFP - (Deadline Approaching) The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024), Naghmeh Ivaki via Petrinet
  • [PN-world] (PN) Open PHD thesis position in multiagent systems and knowledge modeling at CIAD and ARMTEK (France), Stephane GALLAND via Petrinet
  • [PN-world] (PN) [WiL] Women in Logic 2024 -- Final call for papers, Tephilla Prince via Petrinet
  • [PN-world] (PN) Formal Methods Teaching Workshop (FMTea 2024) Call for Papers, Sekerinski, Emil via Petrinet
  • [PN-world] (PN) Call for Workshop Proposals - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024), Naghmeh Ivaki via Petrinet
  • [PN-world] (PN) Call for Papers FMxSL24 - Formal Methods cross Spatial Logics [EXTENDED DEADLINE], Giovanna Broccia via Petrinet
  • [PN-world] (PN) The 18th International Conference on Reachability Problems - RP 2024, geoff--- via Petrinet
  • [PN-world] (PN) Second round of abstract submissions - WADT 2024, WADT 2024 via Petrinet
  • [PN-world] (PN) CDVE2024 Second Call for Papers - Don't miss this opportunity, Cdve Org via Petrinet
  • [PN-world] (PN) FACS 24 - Second Call for Papers, Marmsoler, Diego via Petrinet
  • [PN-world] (PN) ICGT 2024: Call for journal-first contributions, Jens Kosiol via Petrinet
  • [PN-world] (PN) Second Call for Contributions - Sensei'24, Lopuhaa-Zwakenberg, Milan (UT-EEMCS) via Petrinet
  • [PN-world] (PN) IJCAR 2024: Call for Participation, Peter Lammich via Petrinet
  • [PN-world] (PN) CMSB 2024 - Pisa - Extended deadlines, Paolo Milazzo via Petrinet
  • [PN-world] (PN) Joint call for papers PNSE'24 + PeNGE 2024, Daniel Moldt via Petrinet
  • [PN-world] (PN) CFP LADC 2024 - Research Track, JEAN CARLOS TEIXEIRA DE ARAÚJO via Petrinet
• 24/04/26
  • [PN-world] (PN) [qest-announce] CMSB 2024 - Pisa - Extended deadlines, Paolo Milazzo via Petrinet
  • [PN-world] (PN) [qest-announce] PhD Position in Formal Verification of Autonomous Systems, Hazem Torfah via Petrinet
  • [PN-world] (PN) [qest-announce] Final Call for Short Papers: April 26th Deadline: MAMA 2024 Workshop (Twenty Sixth Workshop on MAthematical performance Modeling and Analysis), Mark S Squillante via Petrinet
  • [PN-world] (PN) [qest-announce] VeriProP 2024 - Call for Presentations, Michele Chiari via Petrinet
• 24/04/27
  • [PN-world] 2nd CFP - ESM'2024 - The 38th annual European Simulation and Modelling Conference, October 23-25, 2024, University of the Basque Country, San Sebastian, Spain, Philippe Geril
• 24/04/29
  • [PN-world] (PN) MCC'2024 — tool and model submission, Fabrice Kordon via Petrinet
  • [PN-world] Postdoctoral fellowship: monitoring cyberphysical systems with quantities, Étienne André
  • [PN-world] (PN) ETAPS 2025 – Call for Satellite Events, Claudio MENGHI via Petrinet
  • [PN-world] (PN) CIBB 2024 - Special Session on Modelling and Simulation Methods for Computational Biology and Systems Medicine: Call for paper, BRUNO GIOVANNI GALUZZI via Petrinet

---

Archive powered by MHonArc 2.6.19+.