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.
Un groupe de chercheurs de l’IRIT composé de Amina Annane, Mouna Kamel, Nathalie Aussenac-Gilles, Cassia Trojahn, Catherine Comparot et Christophe Baehr a été récompensé dans le cadre de la conférence Metada and Semantics Research Conference (MTSR) 2021.
Félicitations aux membres de l’équipe TRACES du département Architecture, Systèmes et Réseaux (ASR), dont l’article a été sélectionné comme outstanding paper à la conférence 2021 IEEE Real-Time Systems Symposium (RTSS).
NeurIPS (Neural Information Processing Systems) aura lieu du 6 au 14 décembre 2021. Cette conférence est la plus prestigieuse organisée autour du machine learning.
La dixième conférence internationale en théorie de la décision algorithmique (ADT 2021) s’est tenue à l’Université Toulouse 1 Capitole du 2 au 5 Novembre.
L’école d’été ESSLLI 2017 (European Summer School in Logic, Language and Information) organisée par l’IRIT, avec le soutien du Laboratoire “Cognition, Langues, Langage, Ergonomie” (CLLE) se tiendra à l’Université Toulouse 1 Capitole (UT1) du 17 au 28 juillet 2017. Elle offrira aux 400 participants attendus, 44 cours de niveau fondamental, introductif et avancé, 4 workshops et 4 conférences en soirée. Ces conférences sur des thèmes de linguistique, logique, informatique et
Dans le cadre de son invitation en tant que Chaire d”Excellence par le LabEx CIMI, le Pr. Bertrand MEYER donnera une conférence grand public ” Du logiciel garanti sans bugs ? ” le jeudi 2 février 2017 à 18h Grand Auditorium de l’Université Toulouse III-Paul Sabatier Bâtiment de l’Administration Centrale Entrée libre et gratuite mais inscription obligatoire ici au bas de la page Venez nombreux !
La conférence internationale ABZ 2014 (Abstract State Machines, Alloy, B, TLA, VDM and Z), se tiendra à l’INP-ENSEEIHT à Toulouse, du 2 au 6 juin 2014. Yamine Ait Ameur, enseignant-chercheur INP-ENSEEIHT / Laboratoire IRIT – Equipe ACADIE, est co-président de cette 4e édition d’ABZ. Il a convié Leslie LAMPORT, chercheur chez Microsoft Research Mountain View Silicon Valley, en tant que conférencier invité. Leslie LAMPORT, spécialiste de l’algorithmique répartie, vient d’obtenir
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.
ProgrammeJeudi 1er Juin 2023à l’IRIT, Université Paul Sabatier 10h00-10h15 – Auditorium J. Herbrand Présentation de l’IRIT et du programme de la journée 10h15 – 10h30 – Auditorium J. Herbrand Présentation des animateurs, répartition des groupes dans les salles dédiées aux ateliers 10h30-12h30 – Auditorium J. Herbrand Participation aux ateliers : – Atelier « Au pays des objets connectés » animé par Rahim Kacimi, Maître de Conférences à l’UT3, IRIT – Salle des
