We are pleased to announce that the call for papers for Formali'SE 2025, Ottawa, Canada has been published! It is available on the dedicated website: 2025.formalise.org

Why AI needs symbolic and logical reasoning. cacm.acm.org/blogcacm/no-ge…

Our Formal Aspects of Computing journal paper is now available online (with Susmoy Das) #probabilistic #verification #modelchecking #model #Markovchain #logic #rewards #embeddings dl.acm.org/doi/10.1145/36…

Call for Papers: FormaliSE 2025 - mailchi.mp/6dcb7cfdefb9/a…

Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. mailchi.mp/6dcb7cfdefb9/a…

We are pleased to announce that the deadlines for the call for abstracts and for the call for papers have been extended! 😃 - Call for abstracts new deadline: 18 November 2024 (less than one week! 🔔) - Call for papers new deadline: 25 November 2024 Do not forget to submit!

Do you remember when you joined X? I do! #MyXAnniversary

link.springer.com/chapter/10.100…

🗓️ RE'25 Research track submissions are due in 4 weeks 🗓️ 🔔 Deadline March 10, 2025 AoE 🔔 Hope you have been polishing your RE’25 research track papers. Its now less than a month left to the submission deadline. #RE25 Submit ⬇️ conf.researchr.org/track/RE-2025/…

Embeddings Between State and Action Based Probabilistic Logics | Formal Aspects of Computing #probabilistic #Markovchains #verification #modelchecking #logic #processalgebra #bisimulation dl.acm.org/doi/10.1145/36…

Happy to share that our DATAMOD paper (with Susmoy Das) is now available online on the Springer Nature website #probabilistic #modelchecking #verification #temporal #interaction #dynamics #SupremeCourt #logic #rewards link.springer.com/chapter/10.100…

Please contact me at [email protected] with your CV in case you are interested in this postdoctoral fellowship program (NPDF).  My research interests: model checking, software verification, process mining, NLP for software requirements, concurrency anrfonline.in/ANRF/npdf?Home…

Happy to share that our paper titled "An Empirical Analysis of Large Language Models for Sector Classification of Crowd-Based Software Requirements" has been accepted at the 41st ACM SAC 2026 conference in Requirements Engineering track #LLM #Classification #CrowdRE #userstory