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

Vous pouvez retrouver un article concernant l'inauguration de notre laboratoire sous ce lien