CENTAUR Annual Meeting 2022

Wednesday July 13

8:30am-8:50am	Breakfast and Registration
8:50am-9:00am	Opening Remarks	Clark Barrett	Director of Centaur
Session I
9:00am-9:20am	On the surprising usefulness of proofs	Clark Barrett	Faculty
9:20am-9:40am	Scalable assurance via formal and verifiable security contracts	Caroline Trippel	Faculty
9:40am-10:00am	Coffee break
Session II
10:00am-10:20am	cvc5: A Versatile and Industrial-Strength SMT Solver	Mathias Preiner	Research scientist
10:20am-10:40am	cvc5 Secrets	Andrew Reynolds	Research Scientist at University of Iowa
10:40am-11:00am	Reasoning about Sequences	Yoni Zohar	Faculty at Bar-Ilan University
11:00am-11:20am	Coffee break
Session III
11:20am-11:40am	Murxla: A Modulor and Highly Extensible API fuzzer for SMT Solvers	Aina Niemetz	Research scientist
11:40am-12:00pm	Lightning Talks
12:00pm-1:25pm	Lunch and Poster Session
Session IV
1:25pm-1:40pm	The Stanford LINX program	Breauna Spencer	DEI Director, Stanford Computer Science
1:40pm-2:00pm	Pono: An SMT-based Model Checker	Florian Lonsing	Research scientist
2:00pm-3:00pm	Automated Reasoning: Challenges and Opportunities	Industry Panel
3:00pm-3:30pm	Coffee break
Session V
3:30pm-3:50pm	Parallel SMT Solving	Amalee Wilson	PhD student
3:50pm-4:10pm	Reasoning about Strings	Andres Noetzli	Postdoctoral scholar
4:10pm-4:30pm	Reasoning about Finite Fields	Alex Ozdemir	Phd student
4:30pm-4:35pm	Closing Remarks	Clark Barrett	Director of Centaur