==== Mariana Milicich ====

Hello world!
I am currently a third year of PhD student in Computer Science at [[https://www.irif.fr/|IRIF]].

My thesis covers the topic of quantitative type systems, under the supervision of [[https://www.irif.fr/~kesner/|Delia Kesner]] and [[https://foones.github.io/|Pablo Barenbaum]], and it is funded by the [[https://sciencesmaths-paris.fr/nos-programmes/master?view=article&id=132|MathInParis2020 fellowship]] of [[https://sciencesmaths-paris.fr/|FSMP]].

My research interests include the λ-calculus and logic, particularly rewriting theory[[https://en.wikipedia.org/wiki/Rewriting|$^1$]], type theory[[https://en.wikipedia.org/wiki/Type_theory|$^2$]], and concurrency theory[[https://en.wikipedia.org/wiki/Concurrency_(computer_science)|$^3$]]. 

== Where to find me ==

^ E-mail |milicich at irif dot fr ||
^ Office |3026                    ||


==== Publications and Preprints ====

== Semantic Equivalence between the Linear Call-by-Value Calculus and the Value Substitution Calculus (Technical Note) ==
{{ :users:milicich:technicalnotelcbv.pdf |[PDF]}}
----

== Useful Call-by-Value: Syntax and Semantics (Technical Report) ==
Joint work with [[https://foones.github.io/|P. Barenbaum]] and [[https://www.irif.fr/~kesner/|D. Kesner]].

[[https://arxiv.org/abs/2404.18874v2|[arXiv, 2025]]] [[https://arxiv.org/abs/2404.18874|[arXiv, 2024]]]
----

== Hybrid Intersection Types for PCF ==
Joint work with [[https://foones.github.io/|P. Barenbaum]] and [[https://www.irif.fr/~kesner/|D. Kesner]]. 

//25th Conference on Logic for Programming, Artificial Intelligence and Reasoning ([[https://easychair.org/smart-program/LPAR2024/|LPAR]]). Balaclava, Mauritius. 26-31 May 2024. //

[[https://easychair.org/publications/paper/ZpFc|[PDF]]] [[https://arxiv.org/abs/2404.14340|[arXiv]]]
----

== Semántica denotacional para un cálculo-λ relacional ==
(**Master's thesis**, in spanish)
//Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires.//
//10 August 2022.//

{{ :users:milicich:milicich_tesis.pdf |[PDF]}}
----

== Semantics of a Relational λ-calculus ==
Joint work with [[https://foones.github.io/|P. Barenbaum]] and F. Lochbaum. 

//17th International Colloquium on Theoretical Aspects of Computing ([[https://ictac2020.github.io/|ICTAC]]). Macau S.A.R., China. 30 November - 4 December 2020. //

[[https://arxiv.org/abs/2009.10929|[arXiv]]]

==== Talks ====

**Intersection Types as Evaluation Types**
  * July 9, 2024 - [[https://itrs2024.di.unito.it/|ITRS-11]], Tallinn, Estonia (online) - [[https://itrs2024.di.unito.it/ITRS24_paper_5.pdf|[abstract]]] [[https://itrs2024.di.unito.it/ITRS24_slides_Milicich.pdf|[slides]]] [[https://cs.ioc.ee/itrs24/videos/milicich-video.mp4|[video]]]
  * June 24, 2024 - [[https://www.irif.fr/rencontres/pps2024/index|Journées PPS]], IRIF, France

**Hybrid Intersection Types for PCF**
  * May 28, 2024 - [[https://easychair.org/smart-program/LPAR2024/|LPAR-25]], Balaclava, Mauritius - {{ :users:milicich:milicich_lpar_slides.pdf | [slides]}}
  * May 2, 2024 - [[https://www.irif.fr/seminaires/sms/index|GT Syntax Meets Semantics]], IRIF, France

**Useful Call-by-Value**
  * January 30, 2025 - [[https://kickoffqcomical.sciencesconf.org/|QCOMICAL Kickoff Meeting]], CentraleSupélec, France - {{ :users:milicich:milicich_qcomical_kickoff_slides.pdf | [slides]}}
  * June 12, 2024 - [[https://vipwww.itu.dk/research/types2024/|TYPES-30]], IT University of Copenhagen, Denmark
  * November 11, 2023 - [[https://www.irif.fr/en/seminaires/doctorants/index|Non-Permanents' Seminar]], IRIF, France
  * October 12, 2023 - [[https://www.irif.fr/seminaires/sms/index|GT Syntax Meets Semantics]], IRIF, France
  * August 11, 2023 - GLyC + LoReL seminar, FCEyN-UBA, Argentina