• Formal Methods Seminar

    A008

    The Formal Methods Seminar takes place every first Tuesday of the month at 13:00 in room A008. The next seminar will take place on Thursday, November 5th. Speaker: Julie Cailler […]

  • SSL – Loria Security Seminar – Geoffroy Couteau

    A008

    The Loria Security Seminar (SSL - séminaire sécurité du Loria) is back! This seminar aims to offer a comprehensive overview of security topics to all interested people (students, postdoc, permanent […]