Paris Nord Summer of LoVe

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).

[Back to the main news page.]