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 2024 (ICFEM 2024) is an esteemed event designed to unite specialists in the realms of formal methods and software engineering. This conference serves as a platform to propel advancements within the field, offering authors the opportunity to submit technical papers on diverse subjects, including fault prevention, testing, and artificial intelligence systems.
Attendees will have the chance to engage with compelling keynote speeches delivered by eminent professors, who will delve into topics such as autonomy features and invariant generation in the domain of program verification. Join us at ICFEM 2024 and contribute to shaping the future of software engineering and formal methods.