On 7 Oct. 2002, 14:00, Patrick Heymans (Professor, University of Namur, Belgium) will present his work on “Modelling and Model-Checking Variability-Intensive Systems’ (INRIA, Salle du conseil)
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.