Victor Arrial About me I am a third year PhD student working on Meaningfulness in the $\lambda!$-calculus under the direction of Delia Kesner (Université Paris Cité, CNRS, IRIF, France) and Giulio Guerrieri (University of Sussex, United Kingdom). My research interests lie in $\lambda$-calculus$^?\!\!$, $\lambda_!$-calculus$^?\!\!$, $\lambda\mu$-calculus$^?\!\!$, explicit substitutions$^?\!\!$, reduction strategies$^?\!\!$, quantitative typing$^?\!\!$, inhabitation$^?\!\!$, Böhm$^?$ approximants and trees$^?\!\!$, Taylor expansion$^?\!\!$ … Publications and Preprints V. Arrial, G. Guerrieri and D. Kesner, Genericity Through Stratification (Accepted at LICS'24, ArXiv) D. Kesner, V. Arrial and G. Guerrieri, Meaningfulness and Genericity in a Subsuming Framework (Invited paper FCSD'24, ArXiv) V. Arrial, G. Guerrieri and D. Kesner, The Benefits of Diligence (Accepted at IJCAR'24) V. Arrial, G. Guerrieri and D. Kesner, Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework, POPL'23 (Preprint) See my DBLP page for a complete list. (Credits: Delia Kesner) Talks and Public Events DiLL (Marseille, CIRM) $\;–\;$ Differential $\lambda$-Calculus and Differential Linear Logic, 20 Years Later. Séminaire LoVe (Villetaneuse, LIPN) $\;–\;$ Exploring the Bang-Calculus and Its Embeddings (Abstract, Slides). GT SCALP'23 (Orléans) $\;–\;$ The Benefits of Diligence (Abstract, Slides). HOR'23 (Rome, Sapienza) $\;-\;$ A Deeper Study of λ!-Calculus Simulations (Abstract, Slides). FSCD'23 (Rome, Sapienza). AB60 (Paris, IRIF) Workshop in Honour of Antonio Bucciarelli's 60th Birthday $\;–\;$ Quantitative Inhabitation with Delia Kesner (Slides). Journées PPS (IRIF, Paris) $\;-\;$ 24-25 Mai 2023. CHoCoLa (Lyon, ENS) $\;-\;$ Rencontre du 5 Mai 2023. Séminaire Logique et Interactions (Marseille, I2M) $\;-\;$ The Bang-Calculus, Inhabitation and Approximants (Abstract, Slides Partie 1, Slides Partie 2) FoPSS'23 (Bertinoro, Ceub) Winter School $\;-\;$ Quantitative Aspects of Program Semantics, Verification and Transformation. POPL'23 (Boston) $\;-\;$ Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework (Article, Artifact, Slides, Video). Non-Permanent Seminar (Paris, IRIF) $\;–\;$ Introduction to Lambda-Calculus and Quantitative Typing Systems. TE60 (Paris, CNAM) Workshop in Honour of Thomas Ehrhard's 60th Birthday. TYPES'22 (Nantes, LS2N) $\;–\;$ Quantitative Inhabitation in Call-by-Value (Abstract, Video). NIETS'22 (Bath, CS Dep.) $\;–\;$ Quantitative Inhabitation in Call-by-Push-Value (Abstract). SINFIN'22 (Paris, IRIF) $\;–\;$ Quantitative Inhabitation through Call-by-Push-Value . GT SCALP'21 (Fontainebleau, UPEC) $\;–\;$ Inhabitation in Call-by-Push-Value (Slides). Teaching 2023-2024 : LMFI M2 : Proofs and Programs (Guest Lecturer). IP1 : Introduction à la Programmation Java (CM + TD + TP). Poo-IG : Programmation Orientée Objet - Interface Graphique (TP + Projet). CProj : Conduite de Projet (TP) 2022-2023 : IP1 : Introduction à la Programmation Java (CM + TD + TP). PF1 : Principes de Fonctionnement des Machines Binaires (TD + TP). 2021-2022 : IP2 : Initiation à la Programmation Java (TD + TP). CI2 : Concepts Informatiques (TD). Past projects M2 $\;–\;$ Inhabitation in Call-by-Push-Value, $\;$ under directions of Delia Kesner et Giulio Guerrieri at IRIF. M1 $\;–\;$ Inhabitation in the $\lambda\mu$-Calculus, $\;$ under directions of Delia Kesner at IRIF. $\,$L3 $\;–\;$ Curry-Howard Correspondence and Linear Logic, $\;$ under directions of Jules Chouquet and Léo Stefanesco at IRIF. $\,$L2 $\;-\;$ Regression and Classification Problems for Machine Learning, $\;$ under directions of Pierre Latouche at SAMM. Miscellaneous A few friends doing wonderful work: Klara Nosan, Roman Kniazev, Lucie Guillou, Alexandre Moine, Martin Pépin, Loïc Peyrot, Vincent Moreau, Clément Ducros, Adrienne Lancelot … Contact Mail : $(\lambda x. \; \text{arrial} \: x \; \text{irif}.\text{fr})\;@$ Office : $3018$