Le CRIL en bref


Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS qui regroupe plus de cinquante membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.

En savoir

Recherches en intelligence artificielle et applications

mots clés du CRIL

Actualités (RSS)

Séminaire Abstract interpretation

Rediffusion Colloquium LIP6 - Patrick Cousot (New York University, USA))

The complexity of large programs grows faster than the intellectual ability of programmers in charge of their development and maintenance. The direct consequence is a lot of errors and bugs in programs mostly debugged by their end-users. Programmers are not responsible for these bugs. They are not required to produce provably safe and secure programs. This is because professionals are only required to apply state of the art techniques, that is testing on finitely many cases. This state of the art is changing rapidly and so will irresponsibility, as in other manufacturing disciples.

Scalable and cost-effective tools have appeared recently that can avoid bugs with possible dramatic consequences for example in transportation, banks, privacy of social networks, etc. Entirely automatic, they are able to capture all bugs involving the violation of software healthiness rules such as the use of operations with arguments for which they are undefined.

These tools are formally founded on abstract interpretation. They are based on a definition of the semantics of programming languages specifying all possible executions of the programs of a language. Program properties of interest are abstractions of these semantics abstracting away all aspects of the semantics not relevant to a particular reasoning on programs. This yields proof methods.

Full automation is more difficult because of undecidability: programs cannot always prove programs correct in finite time and memory. Further abstractions are therefore necessary for automation, which introduce imprecision. Bugs may be signalled that are impossible in any execution (but still none is forgotten). This has an economic cost, much less than testing. Moreover, the best static analysis tools are able to reduce these false alarms to almost zero. A time-consuming and error-prone task which is too difficult, if not impossible for programmers, without tools.

Rediffusion du colloquium LIP6 du 29 sep 2016.

En savoir

Séminaire Fusion épistémique et impossibilité

Ramón Pino Pérez (Universidad de Los Andes)

Nous étendons la fusion des croyances dans deux dimensions. D’abord la représentation
des croyances se fait à l’aide d’états épistémiques complexes. Ensuite on ajoute des postulats de nature plus sociale comme les postulats d’Arrow. Dans ce cadre étendu on démontre un résultat d’impossibilité.

Invité(s) Odile Papini nous rend visite entre le 28 septembre et le 3 octobre prochain

session spécifique Raisonnement dans l'incertain à la 30ème conférence internationale FLAIRS (UR17)

La 30ème conférence internationale FLAIRS se déroulera à Marco Island, en Floride, du 22 au 24 mai 2017. Différents membres du CRIL font partie du comité de programme de la session dédiée au raisonnement dans l’incertain.

La session sur le raisonnement dans l’incertain est la plus ancienne de la conférence FLAIRS, organisée chaque année depuis 1996. Celle organisée durant la 30ème édition de la conférence FLAIRS (UR’2017) est la 22ème de la série. Comme dans le passé, UR’2017 a pour but de rassembler des chercheurs travaillant autour de la prise en compte de l’incertitude dans le raisonnement.

Tous les détails sont disponibles sur le site de la conférence.

En savoir

30eme conférence internationale sur les applications des systèmes intelligents appliqués (IEA/AIE 2017)

La conference IEA/AIE 2017 sera organisée l’année prochaine à Arras, du 27 au 30 novembre. Le programme de la conférence et l’organisation local sont gérés par des membres du CRIL.

IEA/AIE 2017 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.

Authors are invited to submit their papers in English of up to 10 single spaced pages, presenting the results of original research or innovative practical applications relevant to the conference. Practical experiences with state-of-the-art AI methodologies are also acceptable when they reflect lessons of unique value to the conference attendees. Shorter works, up to 6 pages, to be presented in 10 minutes, may be submitted as short papers representing work in progress or suggesting possible research directions. All paper submissions will be done electronically, as indicated in the instructions on the conference web site. All papers will be peer reviewed and final copies of papers for inclusion to the conference proceedings will be published in a bound volume by Springer-Verlag (formatting instructions are available at http://www.springer.de/comp/lncs/authors.html) in their Lecture Notes in Artificial Intelligence series.

En savoir