Category: News

A doctoral position is open on SYNthesis in PArametric TImed games with Concurrency and data, co-supervised by Laure Petrucci (LIPN, University Paris 13, France) and Jaco van de Pol (Aarhus University, Denmark). Detailed information is available at: https://emploi.cnrs.fr/Offres/Doctorant/UMR7030-LAUPET0-001/Default.aspx?lang=EN The deadline for applications is 10 June 2022.However, the Read more

General profile : Computer ScienceJob profile: Computer Science Teaching The Computer Science department of Institut Galilée contributes in different curricula of the institute: Bachelor, Master, graduate school, Sup’Galilée engineering school. The recruited person will be part of the Computer Science department. S/he will give lectures in different Read more

General profile : Computer ScienceJob profile: Computer Science Teaching: The Computer Science department of Institut Galilée contributes in different curricula of the institute: Bachelor, Master, graduate school, Sup’Galilée engineering school. The recruited person will be part of the Computer Science department. S/he will give lectures in different Read more

General profile: Computer Science Job profile: Formal verification Teaching: The Computer Science department of Institut Galilée contributes in different curricula of the institute: Bachelor, Master, graduate school, Sup’Galilée engineering school. The recruited person will be part of the Computer Science department. S/he will give lectures in different Read more

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: 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 (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