Loading Events

« All Events

  • This event has passed.

4th Cispa-Loria workshop – Formal Methods

28 April 2022

In 2019, a cooperation between CISPA and LORIA (French Research Center for Cyber Security) started to improve the French-German collaboration in the field of cybersecurity. To strengthen the cross-border exchange, several interesting virtual workshops between CISPA and LORIA took place already.

The 4th Cispa-Loria workshop will take place on 28 April from 9am in the Loria amphitheatre. For this time, the Formal Methods will be in the spotlight.

A day of exchanges with presentations of researchers from CISPA and Loria and brainstorming moments to find joint topics and to make possible collaborations.

  • Programme disponible sur ce lien.
  • Registrations via this link until 20th of April 2022.
  • Language: The whole workshop will take place in English.
  • PhD students: Of course this workshop is also addressing PhD students!
  • More about the partnership between CISPA and Loria on this link.


28 April 2022
Event Category:



Logo d'Inria