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
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
An international jury, chaired by Sir Malcolm Grant, until recently President of NHS England and former President of University College London, selected 24 proposals of the “University Research Schools” call, including our PNGS-M&CS EUR project in Mathematics and Computer Science. 81 applications had been submitted.
The LoVe/verification team showed a demo of the CosyVerif software ( http://www.cosyverif.org/ ). L’équipe LoVe (axe vérification) a montré une démo de son logiciel CosyVerif (http://www.cosyverif.org/) which received a warm welcome.
Laure Petrucci received the flag of the Petri Nets conference: she will host with Etienne André the 2020 conference in France (http://conf-2020.petrinet.net/).