Ecole publique d’ingénieurs
Membre fondateur du Groupe INSA
Habilitation maximale de la CTI

Data and Programming (Year 4)

Spring semester in English from January/February to May

A Formal and Research-oriented Approach

Training Objectives 

The department of Computer Science  and Software Engineering (INFO*) trains high-level research and development (R&D) engineers in the field of Information and Communication Technologies (ICT). It offers a spring semester, taught in English, to M1 (first year Masters) level students. It is centered on formal aspects of Data and Programming.
Concurrently to academic courses a research project will be conducted at IRISA, a research center of international renown. The project will be in one of the following teams (please contact the corresponding person to make sure that a project is still available).

  • Celtique: Certification de logiciel par analyse sémantique. > Contact
  • Diverse: DIVERsity-centric Software Engineering. > Contact
  • Dream: Diagnosis, REasoning and leArning, Model-building. > Contact
  • Hybrid: Virtual reality for improved innovative immersive interaction. > Contact
  • Intuidoc: Intuitive User-Interaction for Document. > Contact
  • Kerdata: Gestion de données réparties à de très grandes échelles. > Contact
  • Lis: Logical Information Systems, Semantic Web. > Contact
  • Myriads: Large-scale autonomous environments and systems. > Contact
  • Texmex: Techniques of EXploitation of Multimedia documents - EXploration, indexing, searches in very large databases. > Contact


International students registered to this semester will join French students and will attend courses in Big Data, Formal Specification and Verification, Constraint Programming, as well as Symbolic Methods for Data-Based Knowledge Acquisition, for an equivalent of 10 ECTS. French as a Foreign Language (FFL) and sport complement the scientific courses for an equivalent of 5 ECTS. The research project will occupy half of the time and be credited 15 ECTS.
The spring semester starts end of January and finishes end of May. Courses are given in English.
For a detailed description of the content of each course, download the leaflet.

ECTS: European Credit Transfer and Accumulation System

Studies at INSA Rennes are flexible as the school uses the ECTS (European Credit Transfer and Accumulation System), a European standard for comparing study attainment. Certain courses when successfully completed, earn a stutend points ; the normal total for an INSA student being 30 points per semester. INSA departments have designed a coherent package of credit-earning courses for international students. The student's choice has to be approved by both the home university and INSA. Exchange students may select other courses on condition that the course is compatible with the spring semester calendar.

Practical information 

For further information, please contact Christian Raymond, International relations coordinator of the Computer Science Department.

Application deadline: May 31st, 2016

This non-fee-paying spring-semester program works on the basis of an exchange between the applicant’s home University and INSA-Rennes. Therefore, in order for fees to be waived, an agreement (Erasmus or other) must be established beforehand.
Registrar’s Office:

* In French