Laboratoire d'Intelligence Artificielle et ses Applications

Model-Driven Software Engineering Techniques · Recycled Aggregate Concrete Performance · Logic, programming, and type systems · Formal Methods in Verification · Materials Engineering and Processing

Machine Learning in Healthcare · Artificial Intelligence in Healthcare · Context-Aware Activity Recognition Systems · Anomaly Detection Techniques and Applications · Advanced Graph Neural Networks