02 - 06 Dec 2024
ICFEM: The International Conference on Formal Engineering Methods 2024
Timings
09:00 AM-06:00 PM (expected)
Entry Fees
Check Official Website
Estimated Turnout
Delegates
Event type
Conference
Description
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.