- Cet évènement est passé.
4th Cispa-Loria workshop – Formal Methods
28 avril 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.

