List of presentations : ================ Jalil Boukhobza (UBO, Lab-STICC) Title: "A methodology for evaluating the performance and energy consumption of embedded flash memory-based storage systems". Abstract: We will begin this presentation by introducing our team's work in the field of …

"Analysis of Data-Centric Workflows". Abstract: Software systems centered around databases have become pervasive in a wide variety of applications, including health-care management, e-commerce, business processes, scientific workflows, and e-government. Such applications support complex …

We are pleased to announce the seminar: “Reflections on Computational, Information and Programming Processes”. This seminar was born from a joint project between different research teams. Its object is the historical-philosophical study of computer science and its practices. The seminar is …

The CRIStAL and Painlevé laboratories are organizing a conference «Big Data: Modeling, Estimation and Selection» on June 9 and 10 in our establishment. The conferences will take place in the large auditorium and are open to all (subject to availability). A dozen conferences around Big Data are …

The first meeting of the Action ATLAS of GdR MaDICS will be held in Grenoble on May 23-24, 2016.

Khalil Ibrahim Hamzaoui, a PhD student in computer science at the university, took up the challenge he set himself a month ago: to complete the Tour de France in an electric wheelchair in 33 days.

Alix Goguey of the MJOLNIR team is a finalist … Come and cheer him on Wednesday, April 27 at 5 pm at the headquarters of Region! There is a public prize… your vote will count. Free online registration. ATTENTION: Thank you to come 1/2 hour before the day of the event for the vigipirate …

Sound static analysis of C code is difficult. This talk explores the use of a C verifier as an interpreter, sacrificing soundness but eliminating imprecision due to overapproximation. This mode of analysis works best for systems that have very thorough test suites, whether manually constructed or …