La revue scientifique The Reasoner de l’Université de Kent publie une interview d’Emiliano Lorini, Directeur de Recherche CNRS – département IA – équipe LILaC, en logique et en intelligence artificielle.
Une quinzaine d’associations et d’institutions s’associent pour co-organiser un événement en ligne, en soutien aux chercheurs ukrainiens. Il s’agit d’une conférence sur la recherche en logique, qui se tiendra les 22 et 23 avril 2022. Cette manifestation a pour but de récolter des fonds afin de soutenir les scientifiques ukrainiens.
L’équipe SEPIA de l’IRIT a contribué au projet “EU Green Public Procurement (GPP) for Data Centres” du JRC (European Joint Research Centre).
Apprendre en faisant. C’est ce que cet ouvrage vous propose sur un sujet habituellement perçu comme abstrait : les logiques modales. Grâce au logiciel LoTREC librement distribué et complément indispensable du livre, vous pourrez facilement simuler le comportement de chacune de ces logiques, des plus simples aux plus complexes, de manière très progressive, et ainsi percer les arcanes de la sémantique de Kripke. De nombreux exercices pratiques vous seront proposés
Les 4es Rencontres de l’esprit critique (REC) se tiendront les 27 et 28 avril 2024 au centre Diagora de Toulouse – Labège.
Nous vous donnons rendez-vous sur la table-ronde « La transition écologique peut-elle se passer de l’IA ? » dans laquelle intervient notre directeur Jean-Marc Pierson aux côtés de Bertrand Monthubert et Thomas Cottinet, le dimanche 28 avril, de 11h à 12h.
La Commission européenne vient d’approuver, en vertu des règles de l’UE relatives aux aides d’État, un important projet d’intérêt européen commun (“IPCEI”) visant à soutenir la recherche, le développement et le premier déploiement industriel de technologies avancées sur le cloud et l’informatique de pointe chez de multiples fournisseurs en Europe.
Yannick Chevalier, Maître de Conférences UT3 au département IA – équipe LILaC, a reçu le LICS Test-of-Time Award 2023 pour l’article “An NP Decision Procedure for Protocol Insecurity with XOR”.
Le prix de thèse AFIA 2023 de l’Association française pour l’Intelligence Artificielle (AFIA) a été attribué à Munyque Mittelmann, du département IA. La thèse récompensée s’intitule : “Logiques pour la Représentation et la Conception d’Enchères”.
Comment penser la sécurité numérique ? C’est précisément la thématique qu’Afonso Ferreira a interrogée, le 15 mars dernier. Il a en effet animé un cours inaugural pour l’Ecole Doctorale d’Informatique de l’Université de São Paulo, intitulé “Let’s talk about Digital Security: How your protection impacts our research” (“Parlons de la sécurité numérique : comment votre protection influe sur notre recherche”).
