🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

FACS 24 will take place on 09-10 September 2024 co-located with Formal Methods 2026. The (tentative) deadline for submitting an abstract is May 8th, 2024! facs-conference.github.io/2024/

The first call for papers for #FACS24 is out (facs-conference.github.io/2024/call-for-…). Here the most important dates: - Abstract submission: 8 May, 2024 - Full paper submission: 15 May, 2024 - Notification: 26 June, 2024 - Final version due: 17 July, 2024 - Conference: 9-10 September, 2024

The 2nd CfP for #FACS24 Formal Methods 2026 is out: - Special track: FM of Component Software in the context of emerging computational paradigms - Special issue featuring extended versions of selection of submissions - Best paper award recognizing best submissions

The 3th CfP for #FACS24, co-located with Formal Methods 2026, is out with **extended deadlines**. The new dates are as follows: - Abstract submission: 23 May, 2024 - Full paper submission: 30 May, 2024 - Notification: 03 July, 2024 - Final version due: 17 July, 2024 facs-conference.github.io/2024/call-for-…

FACS 24 will start tomorrow at Politecnico di Milano! We do have an exciting program which is available on our website: facs-conference.github.io/2024/program/ Also the proceedings are publised online at link.springer.com/book/978303171…

We are very happy to have Ana Cavalcanti presenting the RoboStar approach as our first Keynote Speaker for #FACS24

The first paper of #FACS24 is presented by Zhengpu Shi and is about "Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion"

The next paper of #FACS24 is presented by Ben Fiedler and is about Verified fault handling foe modern board management controllers

Our second keynote is about the verification and control of stochastic multi-agent systems and given by David Parker from University of Oxford

The next paper is presented by Gabriel Leite and it is about Extracting formal smart-contract specifications from natural language with LLMs

Last talk of today is given by Christopher Gerking and is about How do Asynchronous Communication Models impact the Compositionality of Information Flow Security

Our third keynote talk is given by Geguang Pu and it is about his experiences of developing industrial-strength tools for modeling, testing and verification: a formal methods perspective

Our next talk is given by Gijs van Cuyck and it is about Testing Compositionality

Our next talk is about formal modeling and verification of behavior trees using the BIP framework by Simon Bliudze

The last talk of #FACS24 is given by Alexandre Madeira and it is about Reactive Graphs in action