BDD@FLoC'22: Bryant Discoveries Day at FLoC 2022

BDD@FLoC'22
Bryant Discoveries Day@FLoC'22: Celebrating the Career and Professional Achievements of Prof. Randal E. Bryant
SAT '22 Part of FLoC '22 Haifa, Israel August 5, 2022

There will be no registration required to attend BDD@FLoC'22. However, please be aware that registration is required to attend other events at SAT '22 or FLoC 22'.

Recording of Event
See program page for video and schedule.
Important Dates
August 5, 2022
Workshop
Organizing Committee
Aarti Gupta
Princeton University
Shuvendu Lahiri
Microsoft Research
Kenneth McMillan
The University of Texas at Austin
Sanjit A. Seshia
University of California, Berkeley
Ofer Strichman
Technion - Israel Institute of Technology
Thank you to Sarah Chasins for the website template. Webmaster: Federico Mora.