02 - 06 Dec 2024

ICFEM: The International Conference on Formal Engineering Methods 2024

Bangladesh Chittagong

Timings

09:00 AM-06:00 PM (expected)

Entry Fees

Check Official Website

Estimated Turnout

Delegates

Event type

Conference

Description

ICFEM 2024: The International Conference on Formal Engineering Methods

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.

Listed In

Related events