8e édition de l’école thématique Archi . Architecture des systèmes matériels et logiciels embarqués, et méthodes de conception associées. Cette école thématique organisée tous les deux ans porte sur l’étude et l’analyse des moyens, méthodes et outils existants pour la conception d’architectures …

Le premier site hôte en France du Mozilla Science Lab Global Sprint, se déroulera les 4 et 5 juin 2015 au sein du Laboratoire CRIStAL (Salle du Conseil). Cet événement crée une dynamique pour travailler sur des projets open-science, dont Bluelatex, un éditeur Latex open-source écrit en Scala et …

Le GT CI2S organise un séminaire le mardi 2 juin de 9h à 15h pour présenter des travaux de recherche en lien avec des applications en robotique (manipulatrice, mobile,..) Ce séminaire est ouvert à tout CRIStAL (pour présenter ou simplement pour assister). Ce peut être une bonne occasion de recenser …

« Choix social computationnel » : La théorie du choix social vise à la construction et l’analyse de méthodes pour la décision collective; c’est une branche importante de l’économie mathématique. Voici quelques exemples typiques de décision collective : élections de représentants politiques ; votes …

Ces dernières années, la Linux Kernel Mailing List a été très active en ce qui concerne l'ordonnanceur Linux. Entre autres, ARM Mtd. a développé des solutions pour un ordonnancement efficace sur des architectures hétérogènes (big.LITTLE) ; le laboratoire RETIS de la Scuola Superiore Sant'Anna (Pise, …

Clément Quinton, lauréat du Prix GPR-GPL (Génie de la Programmation et du Logiciel). Clément Quinton a effectué sa thèse dans l'équipe ADAM, de 2011 à 2014, sous la direction de Laurence Duchien. Il est actuellement chercheur post-doctorant à Politecnico di Milano dans le département dirigé par …

Entretien avec Pierre Boulet, notre directeur adjoint et responsable de l'équipe Emeraude, sur ZDNet à propos des 50 ans de la loi de Moore : l’industrie va-t-elle perdre sa roadmap fétiche ?. Pierre Boulet répond aux questions de Louis Adam.

"Les méthodes formelles comme lien entre les règles légales et le code logiciel : le cas de la vie privée " Résumé : L’évolution rapide du paysage technologique et l’impact des technologies de l’information sur la vie quotidienne des citoyens posent de nouveaux défis qui ne peuvent être relevés …

Le Jury du Prix de Thèse IA présidé par Luis Farinas del Cerro a attribué : - Un Accessit au Prix de Thèse IA 2015 (2ème place ex-aequo) à Victor Gabillon (Directeurs : Mohammad Ghavamzadeh & Philippe Preux), Algorithmes Budgétisés d'Itération sur des politiques Obtenues par Classification, LIFL …

La prochaine présentation technique du SADR (Service d'Aide au Développement et à la Recherche) portera sur : "Du JSON dédié à un domaine ou comment créer un DSL (Domain Specific Language)" . Lieu : Amphi Turing de 11h00 à 12h00