PetriNets 2020

The 41st International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2020) will be organised by members of the LIPN with Laure Petrucci (LoVe team) and Étienne André (currently at Université de Lorraine, former member of the LoVe team) as general chairs. Website for Read more

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