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
IJCAR and 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).
02 January 2020 - S. Guerrini
The http://ijcar-fscd-2020.org URL redirect to the URL of the IJCAR-FSCD 2020 website http://fscd-ijcar-2020.org.
01 January 2020 - S. Guerrini
The IJCAR-FSCD 2020 website http://fscd-ijcar-2020.org is now online. It contains, and will be regularly updated with, info relevant to both the 5th FSCD and the 10th IJCAR colocated in Paris, and to their satellite workshops.