Event Details:
Tuesday, September 23, 2025
9:00am - 7:00pm PDT
Location
Paul Brest Hall
555 Salvatierra Walk
Stanford, CA 94305
United States
We welcome you back to Stanford for the CENTAUR annual meeting, where you can learn about the latest developments in automated reasoning and SMT solvers; meet the students, researchers, and professors doing work in this field; mingle with other companies in this space; and enjoy our hospitality.
The agenda and more event details can be found here.
See the highlight reel of the 2025 CENTAUR event:
