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 storage and, more …
READ MOREThe School for Young Researchers in Programming welcomes each year for a week some forty young researchers in their first year of thesis in the computer community. Young PhD students discover a set of research topics that have not been addressed during their Master's degree. In addition, at the …
READ MORE"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 …
READ MOREWe 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 …
READ MOREThe 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 …
READ MOREThe first meeting of the Action ATLAS of GdR MaDICS will be held in Grenoble on May 23-24, 2016.
READ MOREKhalil 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.
READ MOREVenue: STL, University of Lille 3, Salle Corbin (Bât.B, salle B1 661) from 2:00 to 5:00pm Jean-Paul Delahaye, (University of Lille 1), TBA Johan Granström, (Google Zürich), Identity in Intuitionistic Type Theory. It is with pleasure that we announce the seminar: 'Reflections on the …
READ MOREAlix 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 …
READ MORESound 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 …
READ MORE