"Formal methods as a link between legal rules and software code: the case of privacy " Abstract: The rapid evolution of the technological landscape and the impact of information technologies on the everyday life of citizens raise new challenges which cannot be tackled by a purely technological …

The jury of the AI Thesis Prize chaired by Luis Farinas del Cerro awarded: - An Accessit at the 2015 IA Thesis Prize (2nd place ex-aequo) to Victor Gabillon (Directors: Mohammad Ghavamzadeh & Philippe Preux), Budgeted Iteration Algorithms on Policies Obtained by Classification, LIFL & Inria …

The next technical presentation from SADR (development and research support service) will be on: "JSON dedicated to a domain or how to create a DSL (Domain Specific Language)". Venue: Amphi Turing from 11:00 to 12:00

You can find an article about the inauguration of our laboratory at this link

Launch of the Centre de Recherche en Informatique, Signal et Automatique de Lille, CRIStAL. 2 April 2015 at Polytech Lille. The Centre de Recherche en Informatique, Signal et Automatique of Lille (UMR 9189) is the result of the merger of two laboratories: the Laboratory d'Automatique, Génie …

Polaris Colloquium: Cancelled Why test manually if one can generate tests? Recent advances in genetic algorithms automatically explore the behavior even of internet-scale applications by systematically evolving a population of inputs (keystrokes, clicks, settings) towards a testing goal such as …

We talk about CRIStAL! in "J'innove en Nord-Pas de Calais LE MAGAZINE". The magazine of Innovation, Research and Development in Nord-Pas de Calais published by J'innove in Nord-Pas de Calais has been published. This issue 18 of the journal includes a thematic dossier on economic intelligence and …

Semantic, Access and Data : Several distinct research areas related to data management and the web deal with answering an information need by making use of semantic information about the data. Examples include the Semantic Web, data integration, and semantics-based optimization modules for …

In the February issue of CHALLENGES magazine (No.419), you can read an article by Romain Rouvoy (a member of the Spirals team) in which he is interviewed about how research leads to business creation.

As part of her visit to the Algomus project, [Zviane](http://www.zviane.com/) is giving a talk open to all about her new comic strip, "Ping Pong". In it, she retraces her career as a musician and cartoonist, and reflects ont the links between the two arts. 'I've been playing the piano since I …