• PhD Defense : Gabin Personeni

    Gabin Personeni (Orpailleur) will defend his thesis on Friday, November 9th at 2pm in room A008. His thesis is entitled "Contribution of domain ontologies for knowledge discovery in biomedical data". The jury will be composed of the following 8 members : Rapporteurs -Olivier Dameron, Maître de Conférences à l'Université de Rennes 1 -Céline Rouveirol, Professeur […]

  • TALC Seminar : Antoine Deleforge

    Next TALC seminar will take place on Wednesday, November 14th at 2pm in room C005. Antoine Deleforge (Multispeech) will give a presentation entitled "Audio signal processing with a little help from echoes". Abstract: When a sound wave propagates from a point source through a medium and is reflected on surfaces before reaching microphones, the measured […]

  • SSL Seminar : Corinna Schmitt

    Next SSL Seminar will take place on Thursday, November 15th at 1.30 pm in room C005. Corinna Schmitt (Universität der Bundeswehr München) will give a presentation entitled "Authentication in IoT Networks". Today over 35 billion devices are connected with each other building the Internet of Things (IoT). The device diversity ranges from constrained devices (e.g., […]

  • Colloque Cathy Dufour 2018 : Intelligences Artificielles

    Le colloque Cathy Dufour - Intelligences Artificielles aura lieu dans l'amphi 5 de la Faculté des Sciences et Technologies de Vandoeuvre-les-Nancy le 15 et 16 novembre. Au programme : Jeudi 15 novembre 14h – 14h 35 : Nazim Fates (Inria Nancy) Intelligence artificielle : vers l'« ordination universelle » ? 14h 40 – 15h 15 : Maxime Amblard […]

  • Department 2 PhD Day

    Department 2 PhD Day will take place on Tuesday, November 20th. Program:   9h15-9h30 Accueil (croissants) 9h30-10h30 Première session Joseph Lallemand - Voting: You Can’t Have Privacy without Individual Verifiability Hans-Jorg Schurr - Towards really neat proofs for SMT 10h30-11h00 Pause café 11h00-12h30 Deuxième session Nicolas Schnepf - Orchestration and verification of security functions for […]