BIU Formal Verification Seminar

The formal verification seminar is organized by FM@BIU -- the Formal Methods Group at Bar Ilan University.  We will meet on a bi-weekly basis, starting November 2024, with talks on various topics in formal methods and verification. We meet on Sundays at 12:00. 

• If you are interested in giving a talk please contact Yoni: yoni.zohar at biu.ac.il

• If you are interested in joining the mailing list to receive seminar updates, please contact Hadar: hadar.frenkel at biu.ac.il

The Next Talk is... 

TBD, first meeting will be during November 2024

Future Talks

TBD

Past Talks