Horaires
09:00 AM-06:00 PM (expected)
Frais d'entrée
Check Official Website
Participation estimée
Delegates
Type d'événement
Conference
Description
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.