===== A few documents I wrote ===== Here are a few documents that are official somehow and linked to a public event. My PhD thesis is on finitary semantics of the simply-typed $\lambda$-calculus and related topics. ==== 3rd year of PhD (2023-2024) ==== Here are: * The [[https://www.irif.fr/_media/users/moreau/stone_spaces_exemplified.pdf|Stone spaces explained and exemplified]] talk I gave the 15th of December 2023 at the non-permanent seminar at IRIF. * Some [[https://www.irif.fr/_media/users/moreau/asv-2023.pdf|introductory slides]] oriented towards automata theory, presented at the [[https://www.irif.fr/poles/asv/index|ASV]] day 2023, the 6th of December 2023. * My talk [[https://www.irif.fr/_media/users/moreau/2024-finitary-csl.pdf|Finitary semantics and regular languages of $\lambda$-terms]] given at the [[https://www.irif.fr/gt-scalp/journees-2023|GT Scalp]] the 27th of November 2023, at [[https://csl2024.github.io/Home/|CSL 2024]] the 23rd of February 2024. * My talk [[https://www.irif.fr/_media/users/moreau/2023-profinite-lipn.pdf|Finitary semantics and profinite $\lambda$-calculus]] given at the [[https://lipn.univ-paris13.fr/finitary-semantics-and-profinite-lambda-terms-2/|LoVe seminar]] the 9th of November 2023. * A few [[https://www.irif.fr/_media/users/moreau/intro-tt.pdf|introductory notes]] on dependent types for the first session of the [[https://www.irif.fr/seminaires/hott/index|type theory and homotopy theory]] working group, presented on the 20th of October 2023. ==== 2nd year of PhD (2022-2023) ==== Here are a few documents of my second PhD year: * My talk "Profinite $\lambda$-terms and parametricity" links profinite $\lambda$-terms to regular languages of $\lambda$-terms à la Salvati through Stone duality. I did it: the 20th of April at [[https://www.cl.cam.ac.uk/events/syco/11/|SYCO 11]] ([[https://www.youtube.com/watch?v=RCFn3mvsMZE|video]]), the 25th of April at the [[https://europroofnet.github.io/wg6-vienna/|WG6 meeting]], the 26th of May at the [[https://www.irif.fr/rencontres/pps2023/index|PPS days 2023]], the 1st of June at the [[https://www.i2m.univ-amu.fr/agenda/seminaires/logique-et-interactions/|Séminaire Logique et Interaction]], the 7th of June at the [[https://smimram.gitlabpages.inria.fr/lhc/journees.html|LHC days 2023]], the 13th of June at [[https://types2023.webs.upv.es/Index.html|TYPES 2023]] ([[https://www.irif.fr/_media/users/moreau/profinite-lambda-terms-types2023.pdf|slides]], [[https://media.upv.es/#/portal/video/c0ac2c70-33aa-11ee-8485-f133f82f8945|video]]), the 22th of June at [[https://coalg.org/calco-mfps-2023/mfps/|MFPS XXXIX]] ([[https://www.irif.fr/_media/users/moreau/profinite-lambda-terms-mfps.pdf|slides]]), the 25th of June at [[https://www.cst.cam.ac.uk/conference/structure-meets-power-2023|Structure Meets Power 2023]]. * I did a talk entitled [[https://www.irif.fr/_media/users/moreau/2022_asv_day.pdf|A quick introduction to higher-order automata]] on the 21th of October 2022 at the ASV day 2022. * My talk "From profinite words to profinite $\lambda$-terms" is about the link between profinite words and Reynolds parametricity. I did it: the 19th of September 2022 at [[https://categories-and-companions.github.io/|CaCS 2022]] ([[https://www.irif.fr/_media/users/moreau/profinite-lambda-terms.pdf|slides]], [[https://www.youtube.com/watch?v=OGzcI9Fltsw|video]]), the 22nd of September 2022 at the [[https://lucareggio.github.io/RiC2022/|Resources in Computation project meeting]] ([[https://www.irif.fr/_media/users/moreau/profinite-lambda-terms-ric.pdf|slides]]), the 12nd of October 2022 at the [[http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/LHC/journees.html|LHC days 2022]] ([[https://www.irif.fr/_media/users/moreau/profinite-lambda-terms-lhc.pdf|slides]]), the 2nd of December 2022 at the [[https://www.irif.fr/reciprog/workshop-dec-22|RECIPROG mini-workshop]] ([[https://www.irif.fr/_media/users/moreau/profinite-lambda-terms-reciprog.pdf|slides]]), the 6th of January 2023 at the [[https://www.irif.fr/pps-meeting4-2023|4th ANR PPS general meeting]] ([[https://www.irif.fr/_media/users/moreau/profinite-lambda-terms-anrpps.pdf|slides]]). * The [[https://www.irif.fr/_media/users/moreau/categories_uninitiated.pdf|Categories for the uninitiated]] talk I gave the 15th of September 2022 at the non-permanent seminar at IRIF. ==== 1st year of PhD (2021-2022) ==== Here are a few talks that I gave during my first year of PhD: * The [[https://www.irif.fr/_media/users/moreau/smp2022moreau.pdf|From profinite words to profinite $\lambda$-terms]] talk I gave the 4th of July 2022 at the [[https://www.cst.cam.ac.uk/conference/structure-meets-power-2022|Structure Meets Power]] workshop, Paris ([[https://www.irif.fr/_media/users/moreau/smp2022moreau_abstract.pdf|abstract]]) * The [[https://www.irif.fr/_media/users/moreau/2022_duality_moreau.pdf|Profinite $\lambda$-terms and more]] talk I gave the 19th of May 2022 at the [[https://math.unice.fr/~carlos/pages/confs/duality22/DualityAndMore.html|Duality and more]] workshop, Nice * The [[https://www.irif.fr/_media/users/moreau/mgs_moreau_2022.pdf|Topology and Categories for higher-order automata]] talk I gave the 12th of April 2022 at [[https://www.cs.nott.ac.uk/~psznk/events/mgs22.html|MGS 2022]], Nottingham ==== Master internship (2021) ==== I wrote things about canonical extensions, which were the topic of my M2 research internship from March 2021 to August 2021 under the supervision of [[http://samvangool.net|Sam van Gool]] and [[https://www.irif.fr/~mellies/|Paul-André Melliès]]. You can find here the following documents: * A presentation of [[https://www.irif.fr/_media/users/moreau/2021_asv_day.pdf|linear logic-related applications]] of canonical extensions which I used during the [[https://www.irif.fr/poles/asv/rentree2021|ASV day]] on the 19th November. * A [[https://www.irif.fr/_media/users/moreau/2021_pps_day.pdf|truncated version]] of my internship defense slides that I used during the [[https://www.irif.fr/rencontres/rentree_pps2021/index|PPS day]], the 13th October. * The [[https://www.irif.fr/_media/users/moreau/internship_slides.pdf|presentation]] used for the internship defense on the 3rd of September. * The [[https://www.irif.fr/_media/users/moreau/internship_document.pdf|report]], respecting the 20 pages limit and sent on the 20th of August.