Events

Únase a nosotros para IJCAR 2024, la principal conferencia conjunta internacional dedicada a todos los aspectos del razonamiento automatizado. Este evento contará con la escuela de verano SAT/SMT/AR, una variedad de talleres interesantes, competiciones emocionantes y presentaciones invitadas perspicaces. No pierda la oportunidad de ser reconocido con el prestigioso Premio Woody Bledsoe, disponible para estudiantes selectos que asistan a la conferencia.