FSCD-IJCAR 2020 joint Conference

The conferences “Formal Structures for Computation and Deduction” (FSCD) and “International Joint Conference on Automated Reasoning” (IJCAR) will be organised by members of the LIPN. In particular, Stefano Guerrini (LoVe team) will be conference chair of FSCD 2020, and Giulio Manzonetto (LoVe team) will be workshop chair for both conferences.

Websites of the two conferences: