• PHD Defense: Nicolas Lasolle (K)

    Nicolas Lasolle (K Team) will defend his thesis on Friday, 7th October at 10 am at Loria. His thesis is entitled "Un système d'interrogation flexible pour le Web sémantique : […]

  • PHD Defense: Hans-Jörg Schurr (Veridis)

    Loria

    Hans-Jörg Schurr (Veridis Team) will defend his thesis on Friday, 7th October at 3pm at Loria. His thesis is entitled "Stronger SMT Solvers for Proof Assistants: Proofs, Quantifier Simplification, Strategy […]

  • Journées du GT Calculabilités 2022

    C005

    Les journées du groupe de travail Calculabilités auront lieu au Loria du 10 au 12 octobre 2022, en salle C005. Ces journées ont pour but de rassembler des chercheurs de […]

  • PhD Defense: Abir Laraba (Resist)

    A008

    Abir Laraba will defend her thesis on Tuesday, 11th October at 2 pm in room A008. Her thesis is entitled "Protocol Abuse Mitigation In SDN Programmable Data Planes". Abstract: The […]