List archive

• [PN-world] (PN) [WiL] Women in Logic 2024 — Deadline Extended May 7 AoE, Tephilla Prince via Petrinet, 05/02/2024
• [PN-world] (PN) VTSA 2024: 2nd call for applications, Jun PANG via Petrinet, 05/02/2024
• [PN-world] (PN) LAMAS&SR 2024 - Preliminary CFP, Munyque Mittelmann via Petrinet, 05/03/2024
• [PN-world] AWPN 2018: Call for Contributions, Robert Lorenz, 05/03/2024
• [PN-world] (PN) [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems, Samir Ouchani via Petrinet, 05/03/2024
  • <Possible follow-up(s)>
  • [PN-world] (PN) [First CFP] CRiSIS 2024: The 19th International Conference on Risks and Security of Internet and Systems, Samir Ouchani via Petrinet, 05/25/2024
• [PN-world] (PN) [Approaching Deadline] EKAPI 2024 - Call for Papers, giuseppe.mazzotta--- via Petrinet, 05/03/2024
• [PN-world] Position: Full Professor in Programming Languages and Compilers at TU Wien, Georg Weissenbacher, 05/06/2024
• [PN-world] (PN) Real-Time Intelligent Systems 2024- Springer LNNS, G Bharathi via Petrinet, 05/08/2024
• [PN-world] (PN) Call for Participation : Petri Nets 2024, Didier Buchs via Petrinet, 05/08/2024
• [PN-world] (PN) [qest-announce] [CfP] VECoS'2024 - call for paper - EXTENDED DEADLINE - October 16-18, 2024 - Djerba, Tunisia, Belgacem BEN HEDIA via Petrinet, 05/08/2024
• [PN-world] The 11th International Conference on Internet of Things: Systems, Management and Security (IOTSMS 2024) Malmö, Sweden. September 2-5, 2024, Jaime Lloret Mauri via Petrinet, 05/08/2024
• [PN-world] (PN) Call for Workshop Proposals (Deadline Extended) - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024), Naghmeh Ivaki via Petrinet, 05/08/2024
• [PN-world] (PN) FACS 2024 - Third Call for Papers, Marmsoler, Diego via Petrinet, 05/08/2024
• [PN-world] (PN) Final CFP with New Deadlines: Formal Methods Teaching Workshop, Sekerinski, Emil via Petrinet, 05/08/2024
• [PN-world] (PN) [qest-announce] 2024 ACM SIGMETRICS / IFIP Performance: Call for Participation (Early Registration Deadline: May 15), Marco Paolieri via Petrinet, 05/08/2024
• [PN-world] (PN) Open PhD Thesis Position at IMT Atlantqiue (France) and UFRJ (Brazil), Naly Rakoto, PhD, HDR via Petrinet, 05/25/2024
• [PN-world] (PN) Tool exhibition registration, Didier Buchs via Petrinet, 05/25/2024
• [PN-world] (PN) [CFP] 2024 IEEE International Conference on Cyber Security and Resilience -- deadline extended, IEEE CSR Conference via Petrinet, 05/25/2024
• [PN-world] (PN) International Workshop on Quantification (QUANTIFY 2024), geoff--- via Petrinet, 05/25/2024
• [PN-world] (PN) ESOP 2025 2nd CfP - New: Two Submission Rounds, jan.kofron--- via Petrinet, 05/25/2024
• [PN-world] (PN) 2nd cfp of SEFM'24, Alexandre Madeira via Petrinet, 05/25/2024
• [PN-world] (PN) Postdoctoral Research Fellow in Formal Methods in Bergen, Norway, Violet Ka I Pun via Petrinet, 05/25/2024
• [PN-world] (PN) FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different systems, Luigia Petre via Petrinet, 05/25/2024
• [PN-world] (PN) Contributions to BPM 2024: Further Opportunities, Winkler Sarah via Petrinet, 05/25/2024
• [PN-world] (PN) 1st CALL FOR PAPERS EXPRESS/SOS@CONFEST2024, Cinzia Di Giusto via Petrinet, 05/25/2024
• [PN-world] (PN) Tool exhibition at Petri nets 2024, Didier Buchs via Petrinet, 05/25/2024
• [PN-world] (PN) [qest-announce] [NETGCOOP 2024] The 11th International Conference on Network Games, Control and Optimization - Lille, France, October 9-11, 2024, Alexandre REIFFERS-MASSON via Petrinet, 05/25/2024
• [PN-world] (PN) Deadline extension TAP 2024 (Tests and Proofs 2024), Milan, Italy: new submission deadline June 14, Huisman, Marieke (UT-EEMCS) via Petrinet, 05/25/2024
• [PN-world] (PN) FSEN 2025 - Call for Papers, Bos, Petra van den (UT-EEMCS) via Petrinet, 05/26/2024

Archive powered by MHonArc 2.6.19+.