**
The 25th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-25
Mauritius, 26-31st May 2024
https://lpar-25.info
CALL FOR SHORT PRESENTATION PAPERS
In keeping with the tradit
iFM 2024 Call for Papers - 19th International Conference on Integrated Formal
Methods
https://ifm2024.cs.manchester.ac.uk/
***Objectives and scope***
In the last decades, we have witnessed a proliferation of approaches that
integrate several modelling, verification and simulation techniques,
fa
