Call for Papers: Formal Methods in System Design
Special Issue on the Theoretical Foundations and Applications of Counterexample Guided Abstraction Refinement (CEGAR)

Submission Deadline: February 28, 2026
Springer FMSD link: https://link.springer.com/collections/jcchhbfcgh
More details: https://lnkd.in/gFQcuAaW
PDF CFP: FMSD_CEGAR_2026

Guest editors:
Orna Grumberg, Technion University, Israel (email: orna@cs.technion.ac.il)
Samarjit Chakraborty, UNC Chapel Hill, USA (email: samarjit@cs.unc.edu)
Somesh Jha, UW-Madison, USA (email: jha@cs.wisc.edu)