Events

The International Conference on Formal Engineering Methods (ICFEM) 2024 aims to unite experts in formal methods and software engineering to push the boundaries of current knowledge. Key discussion points include:

• Fault prevention
• Testing
• Safety-critical systems
• Artificial Intelligence
• And more

Don't miss the insightful presentation by Liu on autonomy features and invariant generation. Join us to stay at the forefront of engineering advancements.