If we observe that our societies are getting more and more polarised, can we identify easily which are the topics that divide them?
Umberto Grandi, from the AI Department – LILaC Team, and his co-authors
Yannick Chevalier, UT3 Senior Lecturer in the AI Department – LILaC team, has received the LICS Test-of-Time Award 2023 for his paper “An NP Decision Procedure for Protocol Insecurity with XOR”. This publication was co-authored with Ralf Küsters from the University of Stuttgart, Michaël Rusinowitch and Mathieu Turuani (Loria, INRIA). This prize was awarded jointly to the article “Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or”
The DesCartes project is a large-scale collaboration in the field of hybrid Artificial Intelligence, starting at the end of 2021. Farah BENAMARA, Associate Professor at UT3 and co-leader of the MELODI team, from the Artificial Intelligence department of IRIT, is the scientific leader for UT3 of the Automatic Natural Language Processing (NLP) research domain in this project.
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.
We publish the third video in a series of interviews presenting research work from our different departments. Andreas HERZIG from the LiLAC team and Mathieu SERRURIER from the ADRIA team, researchers in the Artificial Intelligence (AI) department, talk about their research in the field of AI.
“Mankind and its environment at the heart of computer science” The Institut de Recherche en Informatique de Toulouse (IRIT), established in 1990, is a Joint Research Unit (UMR 5505) of the Centre National de la Recherche Scientifique (CNRS), the Institut National Polytechnique de Toulouse (Toulouse INP), the Université Toulouse 3 Paul Sabatier (UT3), the Université Toulouse Capitole (UT Capitole) and the Université Toulouse Jean Jaurès (UT2J). IRIT is one of
Heads : and The Technology Enhanced Learning (TEL) ( also called e-Learning) field, whose main aim is to , use digital technologies for enhancing education, has been a growing area in the past decade. e-Learning is nowadays adopted in almost all training institutions, in both the public or private sector, to support and strengthen traditional teaching and learning practices, but also to propose new innovative practices that cannot be implemented
Heads : and ACADIE ADRIA ARGOS ELIPSE ICS LILAC MELODI PYRAMIDE REVA RMESS SC SIERA SIG SMAC SM@RT T2RS TRACES New challenges we focuse on are to design valided and verified smart and autonomous transport systems and to increase the reliable, performance and security of embedded, wireless and satellit communication networks which contribute to connect the world to the Internet of the future. Scope Until 2017, the two main research
