Advanced Cloud Infrastructures |
First |
ACI |
Advanced Architectures |
First |
ADA |
Making data speak: advanced probabilistic data analysis and modeling |
First |
ADM |
Analysis, Interpretation and Recognition of 2D (touch) and 3D Gestures for New Man-Machine Interactions |
Second |
AIR |
Advanced Semantics |
Second |
ASM |
Big Data Storage and Processing Infrastructures |
First |
BSI (Closed in 2024/2025) |
Category Theory, Monads and Computation |
Second |
CAT (closed in 2024/2025) |
Computer Graphics : Rendering and Modeling 3D Scenes |
First |
CG |
Cryptanalysis |
Second |
CRA |
Complex Systems Verification |
Second |
CSV (Closed in 2024/2025) |
Deep Learning for Vision |
Second |
DLV |
Data Mining and Visualization |
First |
DMV |
The Art Of Domain-Specific Languages: Let’s Hack Our Own Languages! |
First |
DSL (Closed in 2024/2025) |
Game Theory and Applications |
First |
GTA (Closed in 2024/2025) |
High-Dimensional statistical Learning |
Second |
HDL (Closed in 2024/2025) |
Models and Algorithms for Distributed systems and softwares |
Second |
MAD (Closed in 2024/2025) |
Motion for Animation and Robotics |
Second |
MAR (Closed in 2024/2025) |
Optimizing and Parallelizing Compilers |
Second |
OPC |
Proofs of Security |
Both |
PRS |
Image Representation, Editing and Perception |
First |
REP |
Security Protocols |
First |
SEP |
Security Implementation for Cryptography |
Both |
SIMP |
Supervised Machine Learning |
First |
SML (Closed in 2024/2025) |
Scalable Networks Infrastuctures for Optimized Services Delivery |
Second |
SNI |
Software Security |
First |
SOS |
Virtual Reality and Multi-Sensory Interaction |
Second |
VRI |