Liste des présentations : ================ Jalil Boukhobza (UBO, Lab-STICC) Titre : "Une méthodologie d’évaluation de performance et d’énergie des systèmes de stockage à base de mémoire flash embarqué" Résumé : Nous commencerons cette présentation par introduire les travaux de notre équipe …

L’École jeunes chercheurs en programmation accueille chaque année pendant une semaine une quarantaine de jeunes chercheurs en première année de thèse dans la communauté informatique. Les jeunes doctorants découvrent à cette occasion un ensemble de thèmes de recherche qui n’auront pas été abordés …

"Analyse des flux de travail centrés sur les données". Les systèmes logiciels centrés sur les bases de données sont devenus omniprésents dans une grande variété d’applications, y compris la gestion des soins de santé, le commerce électronique, les processus commerciaux, les flux de travail …

C’est avec plaisir que nous annonçons le séminaire : “Réflexions sur les processus de calcul, d’information et de programmation”. Ce séminaire est né d’un projet commun entre différentes équipes de recherche. Il a pour objet l’étude historico-philosophique de l’informatique et de ses pratiques. …

Les laboratoires CRIStAL et Painlevé organisent un colloque « Big Data : Modeling, Estimation and Selection » les 9 et 10 juin prochains dans notre établissement. Les conférences auront lieu dans le grand amphi et sont ouvertes à tous (dans la limite des places disponibles). Une douzaine de …

La première réunion de l'Action ATLAS du GdR MaDICS se tiendra à Grenoble les 23 et 24 mai 2016.

Khalil Ibrahim Hamzaoui, doctorant en informatique à l'université, a relevé le défi qu'il s'était lancé il y a un mois : réaliser le tour de France en fauteuil électrique en 33 jours.

Lieu: STL, Université de Lille 3, Salle Corbin (Bât. B, salle B1 661) de 14 h à 17 h Jean-Paul Delahaye, (Université de Lille 1), TBA, <http://www.lifl.fr/~jdelahay/> Johan Granström, (Google Zürich), <http://research.google.com/pubs/JohanGranstrom.html>, Identity in Intuitionistic Type …

Alix Goguey de l’équipe MJOLNIR est finaliste … Venez nombreux l’encourager le mercredi 27 avril à 17 heures au siège de Région ! Il y a un prix du public… votre vote comptera. Inscription en ligne gratuite. ATTENTION : Merci de venir 1/2 heure avant le jour de l’événement pour le contrôle …

L'analyse statique du code C est difficile. Cet exposé explore l'utilisation d'un vérificateur C comme interprète, sacrifiant la solidité mais éliminant l’imprécision due à la sur-approximation. Ce mode d'analyse fonctionne mieux pour les systèmes qui ont des suites de tests très complètes, qu'elles …