Submitted by Amy Karns
on Mon, 11/13/2023 - 12:53
Date: Nov 21, 2023 12:00 pm – Nov 25, 2023 12:00 am CST
Location: Brisbane, Australia
ICFEM is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world.