List archive

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

Archive powered by MHonArc 2.6.19+.