01 April 2020 - S. Guerrini
The organising committee of IJCAR and FSCD have decided that the 2020 edition of both the conferences will become virtual and will be held at a distance. The proceedings of both IJCAR and FSCD will be published as usual. We are also working with workshop organisers in order to virtualise satellite events too.
19 March 2020 - S. Guerrini
We are facing an unprecedented public health crisis because of Covid-19 outbreak.
07 January 2020 - S. Guerrini
FSCD 2020 will be part of Paris Nord Summer of LoVe 2020 a joint event on Logic and Verification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020 and over 20 satellite events, organised by the Logic and Verification (LoVe) team of Laboratoire d'Informatique de Paris Nord (LIPN).
01 January 2020 - S. Guerrini
The FSCD 2020 website http://fscd2020.org has been restructured and it is now tightly connected to the newly published IJCAR-FSCD 2020 website http://fscd-ijcar-2020.org, which contains all the info relevant to both the 5th FSCD and the 10th IJCAR colocated in Paris, and to their satellite workshops.