• Formal Methods Seminar : Fabian Reiter

    Next Formal Methods Seminar will take place on Friday, October 19th at 2pm in room B013. Fabian Reiter (LSV, Cachan) will give a presentation entitled "Descriptive distributed complexity" Abstract: This talk […]

  • PhD Defense : Hayat Nasser

    Hayat Nasser will defend her thesis on Tuesday, October 30th at 2pm in room C005. Her presentation is entitled "Tools for the analysis of noisy discrete curves". Dissertation committee: Isabelle DEBLED-RENNESSON […]

  • Forum des Sciences Cognitives

    Mines Nancy - Campus Artem

    Le prochain Forum des Sciences Cognitives à Nancy, organisé par l'IDMC (Institut des Sciences du Digital, Management & Cognition, ex-UFR de Mathématiques et Informatique) de l'Université de Lorraine et par […]