Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Attend the FSE 2024 Rump Session, a 2-hour and 26-minute conference talk hosted by TheIACR. Explore cutting-edge research and developments in the field of formal methods and software engineering. Engage with leading experts as they present brief, rapid-fire talks on their latest findings, innovative ideas, and emerging trends. Gain valuable insights into the future directions of formal methods and their applications in software development and verification.
