Conference on Artificial Intelligence and Theorem Proving

La Conférence sur l'Intelligence Artificielle et la Démonstration Automatique de Théorèmes, également connue sous le nom AITP'26, se tiendra dans le pittoresque village de montagne d'Aussois, en France, au Centre de Vacances CAES du CNRS Paul Langevin. Cet événement annuel constitue une plateforme essentielle pour les discussions autour de l'intégration de l'IA et des méthodes de raisonnement en mathématiques et sciences, en mettant l'accent sur le traitement sémantique à grande échelle et le développement d'une assistance informatique robuste. La conférence vise à explorer des combinaisons innovantes d'outils d'IA et de raisonnement pouvant être déployés sur des corpus mathématiques et scientifiques considérables, se positionnant ainsi comme un moteur du progrès dans ces domaines.

Les participants pourront suivre diverses sessions thématiques approfondissant des sujets essentiels tels que l'IA pour la démonstration automatique et interactive de théorèmes, l'intersection entre l'IA et l'apprentissage automatique avec la vérification formelle, ainsi que le raisonnement de bon sens dans les contextes scientifiques. Les sessions comprendront des présentations invitées et seront orientées vers la discussion, favorisant le dialogue collaboratif entre les participants. La conférence comprendra également des communications libres présentées en personne, les contributions acceptées étant publiées dans un recueil informel de résumés. Parmi les exposants et contributeurs notables figurent des institutions de premier plan telles que l'Université technique tchèque de Prague, l'Université Chalmers et l'Université de Göteborg, ainsi que l'Institut de mathématiques Alfréd Rényi, entre autres. L'événement est conçu pour offrir une expérience complète aux participants, proposant l'hébergement et les repas pour environ 650 EUR durant les cinq jours. L'emplacement remarquable à 1500 mètres d'altitude offre aux participants non seulement un environnement académique stimulant mais aussi des vues spectaculaires sur les montagnes environnantes et un accès direct aux pistes de ski en hiver. Aussois se situe à proximité, à moins de deux heures des grands aéroports et est accessible par train et autobus. Un service de transport sera organisé pour les participants arrivant à la gare TGV de Modane, assurant une transition en douceur vers le lieu de la conférence. AITP'26 s'annonce comme un rassemblement significatif pour les professionnels et académiques intéressés par l'évolution du paysage de l'intelligence artificielle et de la démonstration automatique de théorèmes.