Home

News

The Masters Degree

Applications for Admissions

Academic Program

Masters Project

Other programs in applied maths & informatics

Information for Foreign Students

Restricted area




Universities
* SPADES - Sound Programming of Adaptive Dependable Embedded Systems
* CONVECS - Construction of verified concurrent systems
* CORSE - compiler optimization and run-time systems
* ADELE - Environnements et outils pour le Génie Logiciel Industriel
* CAPP - Calculi, Algorithms, Programs and Proofs
* Ctrl-A - Control for Autonomic Computing Systems
* ERODS - Efficient and Robust Distributed Systems
* SIGMA - Systèmes d’Information - inGénierie et Modélisation Adaptables
* VASCO - VAlidation of Software Systems, Components and Objects
* CTSYS - Conception et Test de Systèmes embarqués
* Synchrone - Languages and tools for the design, simulation and verification of embedded systems
* PACSS - Proofs and Code analysis for Safety and Security
* MOHYTOS - MOdular HYbrid and Timed cOmponent-based Systems
* FP - Formal Proofs
* SLS - System Level Synthesis
Edit - History - Print - Recent Changes - Search
Page last modified on July 07, 2021, at 12:45 PM