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
Speaker Affiliation
Nikolaj Bjorner Microsoft Research
Bob Brayton University of California, Berkeley
Randy Bryant Carnegie Mellon University
David Dill Meta
Aarti Gupta Princeton University
Shuvendu Lahiri Microsoft Research
Sharad Malik Princeton University
Ken McMillan University of Texas, Austin
Shin-Ichi Minato Kyoto University
Carl Seger Chalmers University of Technology
Sanjit Seshia University of California, Berkeley
Fabio Somenzi University of Colorado, Boulder
Willem-Jan van Hoeve Carnegie Mellon University
Moshe Vardi Rice University
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