Congratulations to the members of the ICS team from the FSL department and the three other authors from the Universities of Lleida and Castilla – La Mancha Albacete on winning the Best Paper Award at the ACM EICS 2023 (Symposium on Engineering Interactive Computing Systems) conference. This was the 15th ACM International Conference on Engineering Interactive Computing Systems, held from June 26 to 30, 2023 in Swansea, Wales.
The International Joint Conference on Artificial Intelligence is an international conference that brings together researchers and practitioners in the field of artificial intelligence. The 31st edition is held from July 23 to 29, in Vienna (Austria).
About fifteen associations and institutions are joining forces to co-organize an online event in support of Ukrainian researchers. It is a conference on logic research, which will be held on April 22 and 23, 2022. This event aims to raise funds to support Ukrainian scientists.
A group of researchers from IRIT composed of Amina Annane, Mouna Kamel, Nathalie Aussenac-Gilles, Cassia Trojahn, Catherine Comparot and Christophe Baehr was awarded a prize at the Metada and Semantics Research Conference (MTSR) 2021.
Congratulations to Christine ROCHANGE, Alban GRUIN, Thomas CARLE and Hugues CASSÉ from the TRACES (Architecture and Compilation for Embedded Systems) team of the Architecture, Systems and Networks (ASR) department, whose work has been selected as an outstanding paper at the 2021 IEEE Real-Time Systems Symposium (RTSS).
NeurIPS (Neural Information Processing Systems) will take place from December 6 to 14, 2021. This conference is the most prestigious one organized around machine learning.
The 10th International Conference on Algorithmic Decision Theory (ADT 2021) was held at the Université Toulouse 1 Capitole from November 2 to 5, organized by the LILAC team of IRIT.
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
