Events

Rejoignez-nous pour IJCAR 2024, la première conférence internationale conjointe dédiée à tous les aspects du raisonnement automatisé. Cet événement comprendra l'école d'été SAT/SMT/AR, une variété d'ateliers captivants, des compétitions passionnantes et des présentations invitées perspicaces. Ne manquez pas l'occasion d'être reconnu avec le prestigieux Prix Woody Bledsoe, disponible pour certains étudiants participant à la conférence.