List archive

• [PN-world] FSEN 2025 - Final Call for Papers, Petra van den Bos, 09/02/2024
• [PN-world] ICCPS 2025 - Call for Papers, Daniel Casini, 09/05/2024
• [PN-world] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14, Luigia Petre, 09/06/2024
• [PN-world] Postdoc position in automata and concurrency theory at the University of Warsaw, Sławomir Lasota, 09/09/2024
• [PN-world] Two PhD Positions in Quantum Computing and Machine Learning, Max Tschaikowski, 09/11/2024
• [PN-world] Highlights 2024 next week. Possibility of online participation, Highlights Communication (Antonio Casares), 09/13/2024
• [PN-world] ICPE 2025 - Call for Contributions, Gias, Alim, 09/13/2024
• [PN-world] FME Teaching Tutorial on September 27, 2024, 3 pm CEST: Prof Rosemary Monahan, Maynooth University, Ireland, on Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes, Luigia Petre, 09/20/2024
• [PN-world] AWPN 2024: Call for Participation, Robert Lorenz, 09/25/2024
• [PN-world] Call for Papers: FORMALISE 2025, Gwen Salaün, 09/30/2024

Archive powered by MHonArc 2.6.19+.