This year PPS has 13 new members. The aim of this get-together is to let all these new colleagues introduce themselves, their research topic, and possibly their results.
You can find below the schedule and the details of the talks.
If you have any question, do not hesitate to contact the organisers: G. Bernardi, C. Faggian, H. Herbelin, D. Kesner.
The event will take place in hybrid mode, physically in the good auld room 3052, and on-line in the virtual room indicated in the invitation e-mail.
Even if you do not attend the talks, you are wholeheartedly welcome to join us for a chat during the coffee breaks!
10h00-10h30 · Guillaume Geoffroy · What is an observation?
10h30-10h45 · Victor Arrial · Inhabitation in Call-by-Push-Value
10h45-11h00 · Astyax Nourel · Étude causale des langages synchrones d'ordre supérieur
11h00-11h30 · Coffee break
11h30-11h45 · Sarah Reboullet · Paramétricité et univalence
11h45-12h00 · Paul Laforgue · Freeworker, a Coq framework for implementing, certifying and executing message-passing protocols
12h00-12h15 · Giulia Manara · Towards parallel cut elimination in MELL proof structures
12h15-12h30 · Esaïe Bauer · Correspondance de Curry-Howard entre Logique Temporelle et Programmation Réactive
12h45 End of the first half-day
10h00-10h30 · Martin Pépin · Statistical analysis of non-deterministic fork-join processes
10h30-10h45 · Vincent Moreau · Une construction catégorique des extensions canoniques de treillis distributifs
10h45-11h00 · Pierre Nigron · Preuve de programmes Coq avec une logique de séparation
11h00-11h30 · Coffee break
11h30-12h00 · Ghiles Ziat · Abstract Domain for Constraint Solving, and Constraint Solving for Program Testing
12h00-12h15 · Thomas Binétruy · Proving theorems using machine learning
12h15-12h30 · Mickaël Laurent · On Type-Cases, Union Elimination, and Occurrence Typing
14h00-16h00 · Assemblée Générale (exposé de présentation de PPS + discussion sur les rôles à jouer dans le pôle)
16h00 End of the event