Open Professor Position

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: frederique.bassino@lipn.univ-paris13.fr* Kais Klai, Head of the Computer Science department: Kais.Klai@univ-paris13. More information available Read more

Stefano Guerrini elected president of the executive committee of the UFI/IUF

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

D. Barbarossa and G. Manzonetto receive a POPL Distinguished Paper award

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

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