| Advanced Cloud Infrastructures |
ACI |
| Making data speak: advanced probabilistic data analysis and modeling |
ADM |
| Advanced Semantics |
ASM |
| Category Theory, Monads and Computation |
CAT |
| Computer Graphics : Rendering and Modeling 3D Scenes |
CG |
| Cryptanalysis |
CRA |
| Complex Systems Verification |
CSV |
| Deep Learning for Vision |
DLV |
| Data Mining and Visualization |
DMV |
| Game Theory and Applications |
GTA |
| Models and Algorithms for Distributed systems and softwares |
MAD |
| Proofs of Security |
PRS |
| Image Representation, Editing and Perception |
REP |
| Data Security for Intellectual Property and Privacy |
SED |
| Security Protocols |
SEP |
| Security Implementation for Cryptography |
SIMP |
| Supervised Machine Learning |
SML |
| Software Security |
SOS |
| Virtual Reality and Multi-Sensory Interaction |
VRI |