News

The Masters Degree

Applications for Admissions

Academic Program

Class Schedules

Masters Project

Class Notes

Other programs in applied maths & informatics

Information for Foreign Students

Restricted area




Universities
* ADELE - Environnements et outils pour le Génie Logiciel Industriel
* CAPP - Calculi, Algorithms, Programs and Proofs
* CONVECS - Concurrent and Distributed Systems Verification
* ERODS - Efficient and Robust Distributed Systems
* HADAS - Heterogeneous and Adaptive Distributed dAta management Systems
* MRIM - Multimedia Information Indexing and Retrieval
* SIGMA - Systèmes d’Information - inGénierie et Modélisation Adaptables
* SLIDES - Scalable Information Discovery and Explotation
* SPADES - Component-based Design of Embedded and Real-Time Systems.
* STEAMER - Spatio-TEmporal information Systems
* 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
Edit - History - Print - Recent Changes - Search
Page last modified on February 13, 2017, at 06:41 AM