• Soutenance de thèse : Abdulqawi Saif

    C005

    Intitulée "Méthodes Expérimentales pour l'Évaluation des Systèmes Big Data" La soutenance se déroulera le vendredi 17 janvier 2020 à 13h30, dans la salle C005. Elle aura lieu en anglais. Rapporteurs […]

  • Forum Fédération Charles Hermite – Entreprises

    Loria

    La prochaine édition du Forum FCH-Entreprise aura lieu le jeudi 23 janvier 2020 dans nos locaux. Il est constitué d’une alternance de séances plénières et d’ateliers organisés en partenariat avec […]

  • Séminaire philosophie-informatique

    C005

    L'invité du séminaire sera Alexei GRINBAUM, philosophe et physicien. Chercheur au laboratoire Larsim du CEA-Saclay, il est spécialiste de l’information quantique. Depuis 2003, il s'intéresse aux questions éthiques liées aux […]

  • Séminaire du D2 par Luigi Liquori

    Title : "Why reductions have to be synchronised in intersection (and union) typed lambda-calculi ?" Luigi Liquori, Inria Sophia-Antipolis   Abstract: We present the ∆-calculus, an explicitly typed λ-calculus with […]