The Graduate School in Mathematics and Computer Science (PGS-M&CS) is one of the schools labeled by the French Government as a EUR (Ecole Universitaire de Recherche). It is unique in the domains of mathematics and computer science. This Graduate School is a high-level international school. It is Read more
The LIPN is opening a position of Professor in Computer Science to reinforce its research themes: Machine Learning, Combinatorics, Logic and Verification, Combinatorial Optimization, Knowledge Representation and Natural Language. Contacts:* Frédérique Bassino, Head of the LIPN: firstname.lastname@example.org* Kais Klai, Head of the Computer Science department: Kais.Klai@univ-paris13. More information available Read more
Stefano Guerrini (LoVe team) was elected president of the executive committee of the French-Italian University (Université Franco-Italienne / Università Italo Francese — UFI/UIF). The UFI/UIF is a binational institution promoting scientific and academic collaborations between France and Italy, in particular through the VINCI (French page / Italian Read more
Davide Barbarossa and Giulio Manzonetto, both members of the LoVe team of the LIPN, received a Distinguished Paper award from the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020, website: https://popl20.sigplan.org). This award distinguishes their paper Taylor Subsumes Scott, Berry, Kahn and Plotkin (link to online Read more
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 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/).