Two Papers accepted at POPL 2020

Two research papers from members of the LoVe team were accepted for publication at the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020, website: https://popl20.sigplan.org): Backpropagation in the Simply-Typed Lambda-calculus with Linear Negation, Aloïs Brunel, Damiano Mazza and Michele Pagani. ArXiv version: https://arxiv.org/abs/1909.13768. Taylor Read more

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 Read more