==== Victor Arrial ==== /* ---- */ ==== About me ==== I am now a postdoctoral researcher in the Department of Computer Science and Engineering at the University of Bologna, under the supervision of [[https://www.unibo.it/sitoweb/ugo.dallago|Ugo Dal Lago]] (University of Bologna, Bologna, Italy). We are currently trying to better understand //time complexity// for //reversible computing// in the lambda-calculus. I am also finishing my PhD 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, Brighton, 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|$^?\!\!$]]. I am also interested by reversible computing[[https://en.wikipedia.org/wiki/Reversible_computing|$^?\!$]] and would like to learn more about higher order model checking[[https://en.wikipedia.org/wiki/Model_checking|$^?\!\!$]]. /* Also, I am (occasionally) co-organizer of [[seminaires:gateau:index|IRIF Cake]]^TM. */ ==== Publications and Preprints ==== * [[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]], **Genericity Through Stratification** //([[https://lics.siglog.org/lics24/|LICS'24]], [[https://arxiv.org/abs/2401.12212|ArXiv]])// * V. Arrial, [[https://www.irif.fr/~giuliog/|G. Guerrieri]] and [[https://www.irif.fr/~kesner/|D. Kesner]], **The Benefits of Diligence** //([[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://www.inria.fr/en/olas|OLAS Seminar]] (Bologna, Italy). $\;-\;$ //Genericity through Stratification// (Abstract, {{:users:arrial:2024-olas-slides.pdf|Slides}}) * [[https://cs.ioc.ee/fscd24/|FCSD'24]] (Tallinn, Estonia). * [[https://itrs2024.di.unito.it|ITRS'24]] (Tallinn, Estonia) $\;-\;$ //Call-by-Value Typing Revisited, for Free ?// ([[https://itrs2024.di.unito.it/ITRS24_paper_10.pdf|Abstract]], {{:users:arrial:2024-itrs-slides.pdf|Slides}}). * [[https://lipn.univ-paris13.fr/TLLA/2024/|TLLA'24]] (Tallinn, Estonia). * [[https://lics.siglog.org/lics24/|LICS'24]] (Tallinn, Estonia) $\;-\;$ //Genericity Through Stratification// ({{:users:arrial:2024-lics-slides.pdf|Slides}}). * [[https://merz.gitlabpages.inria.fr/2024-ijcar/|IJCAR'24]] (Nancy, France) $\;-\;$ //The Benefits of Diligence// ([[https://easychair.org/smart-program/IJCAR2024/2024-07-04.html#talk:255082|Abstract]], {{:users:arrial:2024-ijcar-slides.pdf|Slides}}). * [[https://www.irif.fr/rencontres/pps2024/index|Journées PPS]] (IRIF, Paris, France) $\;-\;$ //Genericity Through Stratification// (Abstract, Slides). * [[https://www.irif.fr/seminaires/sms/index|SMS Seminar]] (IRIF, Paris, France) $\;-\;$ //The Benefits of Diligence// ([[https://www.irif.fr/seminaires/sms/index#annee_2024|Abstract]], {{:users:arrial:2024-sms-slides.pdf|Slides}}). * [[https://www.irif.fr/en/seminaires/doctorants/index|Non-Permanent Seminar]] (IRIF, Paris, France) $\;-\;$ //The Bang-Calculus: An Accessible Introduction to Subsuming Paradigms// ([[https://www.irif.fr/en/seminaires/doctorants/index|Abstract]], {{:users:arrial:2024_np_slides.pdf|Slides}}). * [[https://chocola.ens-lyon.fr/events/seminaire-2024-05-23/|Chocola]] (ENS, Lyon, France) $\;-\;$ //Genericity Through Stratification// ([[https://chocola.ens-lyon.fr/events/seminaire-2024-05-23/talks/arrial/|Abstract]], {{:users:arrial:2024_Chocola_Slides.pdf|Slides}}). * [[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}}). * [[https://www.irif.fr/en/seminaires/pps/index|Journées PPS]] (IRIF, Paris, France) $\;-\;$ 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// (Blackboard). * [[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, UK) $\;–\;$ //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// ({{:users:arrial:2022_sinfin_slides.pdf|Slides}}). * [[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 ==== * 2024-2025 : * B5026 M1 - Introduction to Computability and Complexity (TD). * 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 ==== Here is my {{:users:arrial:cv_2024_06_06.pdf|curriculum vitae}} (last update on 06/06/2024) 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$ |