- Finite-time control and estimation for distributed systems
- Flowing Epigenetic Robots and Systems
- Fluid Flow Analysis, Description and Control from Image Sequences
- Fondements opérationnels, logiques et algébriques des systèmes logiciels
- Formal islands: foundations and applications
- Formally Verified Programs, Certified Tools and Numerical Computations