Events

Join us for IJCAR 2024, the premier international joint conference dedicated to all facets of automated reasoning. This event will feature the SAT/SMT/AR summer school, a variety of engaging workshops, exciting competitions, and insightful invited presentations. Don't miss the chance to be recognized with the prestigious Woody Bledsoe Award, available for select students attending the conference.