==== Victor Arrial ==== /* ---- */ ==== About me ==== I am a third year PhD student working on //Meaningfulness in the $\lambda!$-calculus// under the direction of [[https://www.irif.fr/~kesner/|Delia Kesner]] (Université Paris Cité, CNRS, IRIF, France) and [[https://pageperso.lis-lab.fr/~giulio.guerrieri/|Giulio Guerrieri]] (University of Sussex, United Kingdom). /* TODO: Add links with easily readable paper on the following notions */ My research interests lie in $\lambda$-calculus[[https://en.wikipedia.org/wiki/Lambda_calculus|$^?\!\!$]], $\lambda_!$-calculus[[https://en.wikipedia.org/wiki/Call-by-push-value|$^?\!\!$]], $\lambda\mu$-calculus[[https://en.wikipedia.org/wiki/Lambda-mu_calculus|$^?\!\!$]], explicit substitutions[[https://en.wikipedia.org/wiki/Explicit_substitution|$^?\!\!$]], reduction strategies[[https://en.wikipedia.org/wiki/Reduction_strategy#Lambda_calculus|$^?\!\!$]], quantitative typing[[https://en.wikipedia.org/wiki/Intersection_type|$^?\!\!$]], inhabitation[[https://en.wikipedia.org/wiki/Type_inhabitation|$^?\!\!$]], Böhm[[https://en.wikipedia.org/wiki/Corrado_Böhm|$^?$]] approximants and trees[[https://en.wikipedia.org/wiki/Böhm_tree|$^?\!\!$]], Taylor expansion[[https://en.wikipedia.org/wiki/Taylor%27s_theorem|$^?\!\!$]] ... /* Also, I am (occasionally) co-organizer of [[seminaires:gateau:index|IRIF Cake]]^TM. */ ==== Publications and Preprints ==== * V. Arrial, [[https://www.irif.fr/~giuliog/|G. Guerrieri]] and [[https://www.irif.fr/~kesner/|D. Kesner]], **Genericity Through Stratification** //(Accepted at [[https://lics.siglog.org/lics24/|LICS'24]], [[https://arxiv.org/abs/2401.12212|ArXiv]])// * [[https://www.irif.fr/~kesner/|D. Kesner]], V. Arrial and [[https://www.irif.fr/~giuliog/|G. Guerrieri]], **Meaningfulness and Genericity in a Subsuming Framework** //(Invited paper [[https://cs.ioc.ee/fscd24/|FCSD'24]], [[https://arxiv.org/abs/2404.06361|ArXiv]])// * V. Arrial, [[https://www.irif.fr/~giuliog/|G. Guerrieri]] and [[https://www.irif.fr/~kesner/|D. Kesner]], **The Benefits of Diligence** //(Accepted at [[https://merz.gitlabpages.inria.fr/2024-ijcar/|IJCAR'24]], [[https://arxiv.org/abs/2404.12951|ArXiv]])// * V. Arrial, [[https://www.irif.fr/~giuliog/|G. Guerrieri]] and [[https://www.irif.fr/~kesner/|D. Kesner]], **Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework**, [[https://popl23.sigplan.org/track/POPL-2023-popl-research-papers#event-overview|POPL'23]] ({{:users:arrial:2023-popl.pdf |Preprint}}) See my [[https://dblp.org/pid/339/3043.html|DBLP page]] for a complete list.

{{ :users:arrial:victor_arrial_ab60.jpeg?nolink&275 |}} (Credits: Delia Kesner) ==== Talks and Public Events ==== * [[https://itrs2024.di.unito.it|ITRS'24]] (Tallinn, Estonia). * [[https://cs.ioc.ee/fscd24/|FCSD'24]] (Tallinn, Estonia). * [[https://lics.siglog.org/lics24/|LICS'24]] (Tallinn, Estonia) $\;-\;$ //Genericity Through Stratification//. * [[https://merz.gitlabpages.inria.fr/2024-ijcar/|IJCAR'24]] (Nancy, France) $\;-\;$ //The Benefits of Diligence//. * [[https://www.irif.fr/en/seminaires/doctorants/index|Non-Permanent Seminar]] (IRIF, Paris, France) $\;-\;$ //TBD//. * [[https://chocola.ens-lyon.fr/events/seminaire-2024-05-23/|Chocola]] (ENS, Lyon, France) $\;-\;$ //Genericity Through Stratification//. * [[https://conferences.cirm-math.fr/2980.html|DiLL]] (CIRM, Marseille, France) $\;–\;$ Differential $\lambda$-Calculus and Differential Linear Logic, 20 Years Later. * [[https://lipn.univ-paris13.fr/seminaires-love/|Séminaire LoVe]] (LIPN, Villetaneuse, France) $\;–\;$ //Exploring the Bang-Calculus and Its Embeddings// ([[https://lipn.univ-paris13.fr/exploring-the-bang-calculus-and-its-embeddings/|Abstract]], {{:users:arrial:2023-love-slides.pdf|Slides}}). * [[https://www.irif.fr/gt-scalp/journees-2023|GT SCALP'23]] (Orléans, France) $\;–\;$ //The Benefits of Diligence// ([[https://www.irif.fr/gt-scalp/journees-2023#liste_des_exposes_contribues|Abstract]], {{:users:arrial:2023-scalp-slides.pdf|Slides}}). * [[https://hor2023.github.io/|HOR'23]] (Sapienza, Rome, Italy) $\;-\;$ //A Deeper Study of $\lambda!$-Calculus Simulations// ({{:users:arrial:2023-hor-abstract.pdf|Abstract}}, {{:users:arrial:2023-hor-slides.pdf|Slides}}). * [[https://easyconferences.eu/fscd2023/|FSCD'23]] (Sapienza, Rome, Italy). * [[https://lipn.univ-paris13.fr/~breuvart/Antonio|AB60]] (IRIF, Paris, France) Workshop in Honour of Antonio Bucciarelli's 60th Birthday $\;–\;$ //Quantitative Inhabitation// with [[https://www.irif.fr/~kesner/|Delia Kesner]] ({{:users:arrial:2023-ab60-slides.pdf|Slides}}). * Journées PPS (IRIF, Paris) $\;-\;$ 24-25 Mai 2023. * [[https://chocola.ens-lyon.fr/events/meeting-2023-05-11/|CHoCoLa]] (ENS, Lyon, France) $\;-\;$ Rencontre du 5 Mai 2023. * [[https://www.i2m.univ-amu.fr/agenda/seminaires/logique-et-interactions/|Séminaire Logique et Interactions]] (I2M, Marseille, France) $\;-\;$ The Bang-Calculus, Inhabitation and Approximants ([[https://www.i2m.univ-amu.fr/events/quantitative-inhabitation-for-different-lambda-calculi-in-a-unifying-framework/|Abstract]], {{:users:arrial:i2m_04_05_23_part_1.pdf|Slides Partie 1}}, {{:users:arrial:i2m_04_05_23_part_2.pdf|Slides Partie 2}}). * [[https://www.ceub.it/events/event/fopss-2023/?lang=en|FoPSS'23]] (Ceub, Bertinoro, Italy) Winter School $\;-\;$ Quantitative Aspects of Program Semantics, Verification and Transformation. * [[https://popl23.sigplan.org|POPL'23]] (Boston, USA) $\;-\;$ //Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework// ([[https://dl.acm.org/doi/10.1145/3571244|Paper]], [[https://github.com/ArrialVictor/InhabitationLambdaBang|Artifact]], {{:users:arrial:2023-popl-talk.pdf|Slides}}, [[https://www.youtube.com/watch?v=UuXDPb_O8rQ|Video]]). * [[https://www.irif.fr/en/seminaires/doctorants/index|Non-Permanent Seminar]] (IRIF, Paris, France) $\;–\;$ //Introduction to Lambda-Calculus and Quantitative Typing Systems//. * [[https://te60.linear-logic.org|TE60]] (CNAM, Paris, France) Workshop in Honour of Thomas Ehrhard's 60th Birthday. * [[https://types22.inria.fr|TYPES'22]] (LS2N, Nantes, France) $\;–\;$ //Quantitative Inhabitation in Call-by-Value // ([[https://types22.inria.fr/files/2022/06/TYPES_2022_paper_55.pdf|Abstract]], [[https://www.youtube.com/watch?v=fScJYT57bU0|Video]]). * [[http://willem.heijltj.es/NIETS|NIETS'22]] (CS Dep., Bath, England) $\;–\;$ //Quantitative Inhabitation in Call-by-Push-Value // ([[https://people.bath.ac.uk/wbh22/NIETS/#VA|Abstract]]). * [[https://www.irif.fr/~kesner/Workshop-SINFIN.html|SINFIN'22]] (IRIF, Paris, France) $\;–\;$ //Quantitative Inhabitation through Call-by-Push-Value//. * [[https://www.irif.fr/gt-scalp/journees-2021|GT SCALP'21]] (UPEC, Fontainebleau, France) $\;–\;$ //Inhabitation in Call-by-Push-Value // ([[https://www.irif.fr/_media/gt-scalp/victor-arrial.pdf|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 [[https://www.irif.fr/~kesner/|Delia Kesner]] et [[https://www.irif.fr/~giuliog/|Giulio Guerrieri]] at IRIF. * **M1** $\;–\;$ //Inhabitation in the $\lambda\mu$-Calculus//, $\;$ under directions of [[https://www.irif.fr/~kesner/|Delia Kesner]] at IRIF. * **$\,$L3** $\;–\;$ //Curry-Howard Correspondence and Linear Logic//, $\;$ under directions of [[https://www.univ-orleans.fr/lifo/membres/chouquet/|Jules Chouquet]] and [[https://www.stefanesco.com|Léo Stefanesco]] at IRIF. * **$\,$L2** $\;-\;$ //Regression and Classification Problems for Machine Learning//, $\;$ under directions of [[https://helios2.mi.parisdescartes.fr/~platouch/|Pierre Latouche]] at SAMM. ==== Miscellaneous ==== A few friends doing wonderful work:\\ [[https://www.irif.fr/~nosan/|Klara Nosan]], [[https://www.irif.fr/~kniazev/|Roman Kniazev]], [[https://www.irif.fr/~guillou/|Lucie Guillou]], [[http://cambium.inria.fr/~amoine/|Alexandre Moine]], [[https://wkerl.me|Martin Pépin]], [[https://www.irif.fr/~lpeyrot/|Loïc Peyrot]], [[https://www.irif.fr/users/moreau/index|Vincent Moreau]], [[https://www.irif.fr/users/cducros/index[|Clément Ducros]], [[https://www.irif.fr/users/lancelot/index|Adrienne Lancelot]] ... ==== Contact ==== | **__Mail :__** | $(\lambda x. \; \text{arrial} \: x \; \text{irif}.\text{fr})\;@$ | | **__Office :__** | $3018$ |