Conférence FSCD-IJCAR 2020

Les conférences « Formal Structures for Computation and Deduction » (FSCD) et « International Joint Conference on Automated Reasoning » (IJCAR) seront organisées par des membres du LIPN, notamment Stefano Guerrini (équipe LoVe), conference chair de FSCD 2020, et Giulio Manzonetto (équipe LoVe), workshop chair pour les deux conférences.

Liens vers les sites web des conférences: