Research teams
| Teams | Résumé | Departments |
|---|---|---|
| LogicA | LogicA, Logic and Applications Nowadays, many of our daily activities which were in the past performed in the ‘real’ world and in interaction with other humans, are carried out in a digital world in interaction with non-human ‘agents’: classic... | D4 - Language and software engineering |