November 2013 – Software Engineering Seminars

November 2013 archives

(English) Program Comprehension with Moose and Hapax

De cassou dans la catégorie Talk

Désolé, cet article est seulement disponible en English.

SMT and combination of theories

De mm dans la catégorie Talk

Désolé, cet article est seulement disponible en English.

Automatic Detection of Floating-Point Exceptions

De mm dans la catégorie Talk

Désolé, cet article est seulement disponible en English.

About this site

This is the site of the software engineering seminars that are given in Lille, France.

The seminars are organized by research groups from the Inria Lille Nord Europe research center and the University of Lille, especially the four research teams (CARAMEL, Carbon, RMoD, Spirals) from the Software Engineering research theme of the CRIStAL laboratory.

The talks are given in English and are open to external visitors. Please feel free to contact us for more information.

Contact: Walter Rudametkin

November 2013 archives

(English) Program Comprehension with Moose and Hapax

SMT and combination of theories

Automatic Detection of Floating-Point Exceptions

About this site

Archives