List of invited sessions

• Formal methods for the safety and security of cyber physical systems
  Organizers: Isabel Demongodin, Aix Marseille Université (isabel.demongodin (at) lis-lab.fr), Dimitri Lefebvre, Université Le Havre Normandie (dimitri.lefebvre (at) univ-lehavre.fr)

Researchers who would like to organise one or more Invited Sessions on topics falling within the scope of the conference are invited to submit a proposal for consideration. This should include: the title of the session, a copy of the session abstract as well as individual paper abstracts from each of the proposed participants. Through PaperCept Conference Management System, please submit an invited session proposal.
An invited session identification code will be communicated to the corresponding proposer and should be used by the prospective contributors.

Contact:

systol-2021@univ-lorraine.fr

---