List archive

• 24/03/22
  • [PN-world] (PN) [qest-announce] EPEW 2024 Call for Presentations, Remke, Anne
  • [PN-world] (PN) [qest-announce] Assistant/Associate Professor in Computer Science at Telecom SudParis - Data Intelligence and Knowledge, Mohamed SELLAMI
  • [PN-world] (PN) [qest-announce] MOVEP'24 (Rennes, France; 27-31 May) -- call for student presentations and participation, Nicolas Markey
  • [PN-world] (PN) Call for Papers FMxSL24 - Formal Methods cross Spatial Logics, Giovanna Broccia
  • [PN-world] (PN) VTSA 2024: 1st call for applications, Jun PANG
  • Re: [PN-world] (PN) Call for Papers: 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (QSW 2024), Quantum Software Conference
  • [PN-world] (PN) Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 30-Nov1, 2024 - Herndon, VA, USA, Sachin Sharma
  • [PN-world] (PN) Call for Papers: Smart Mobility and Logistics Ecosystems (SMiLE) Conference, KFUPM, Saudi Arabia 17-19 September 2024, Smart Mobility and Logistics Ecosystems
  • [PN-world] (PN) FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck, Luigia Petre
• 24/03/25
  • [PN-world] QEST+FORMATS: Final Call for Papers, Patrick Totzke
  • [PN-world] (PN) CfP (deadline extension): VERDI 2024 - Workshop on Verification & Validation of Dependable Cyber-Physical Systems, José Miguel Paiva Proença
• 24/03/28
  • [PN-world] (PN) [qest-announce] QEST+FORMATS: Final Call for Papers, Patrick Totzke
  • [PN-world] (PN) CFP - The 43rd International Symposium on Reliable Distributed Systems (SRDS 2024), Naghmeh Ivaki
  • [PN-world] (PN) [qest-announce] Postdoc Position in Formal Verification of Cyber-Physical Systems, Hazem Torfah
  • [PN-world] (PN) [qest-announce] CFP - TOMPECS Special Issue on Performance Evaluation of Federated Learning Systems, Marco Paolieri
  • [PN-world] (PN) [qest-announce] 3rd Workshop on Hyperproperties - Call for Presentations, Hazem Torfah
  • [PN-world] (PN) Call for Tutorial Papers at FM 2024: deadline approaching —> April 19!, Luigia Petre
  • [PN-world] (PN) Joint call for papers PNSE'24 + PeNGE 2024, Daniel Moldt

---

Archive powered by MHonArc 2.6.19+.