Horarios
09:00 AM-06:00 PM (expected)
Tarifas de Entrada
Check Official Website
Participación estimada
Delegates
Tipo de evento
Conference
Descripción
Ú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.