{{ :users:manara:fotome.png?200|}}
===== Giulia Manara =====

==== My PhD ====

I am a doctoral student pursuing a joint PhD project between Université Paris Cité and Università degli studi di Roma Tre.
My supervisors are [[https://www.irif.fr/~ehrhard/|Thomas Ehrhard]] and [[https://www.uniroma3.it/en/persone/TzNVcE85YSt6bjkzWTU4bmVhL3U4YmFlWGlONXNGVFNKYnFERHJPM2tyOD0=/|Lorenzo Tortora de Falco]].
My thesis investigates Proof-nets, showcasing their confluence via parallel reduction and exploring their application to concurrency theory.

==== Publications ====

   * G. Guerrieri, **G. Manara**, L. Tortora de Falco, and L. Vaux Auclair, “Confluence of proof-nets via parallel cut-elimination”,\\ // in the 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-25)//, Baclava, Mauritius, 2024. https://easychair.org/publications/paper/kGr4
 
   * G. Guerrieri, **G. Manara**, L. Tortora de Falco, and L. Vaux Auclair, “Confluence for untyped proof nets via parallel cut elimination”,\\ in TLLA: 7th International Workshop on Trends in Linear Logic and Applications, Rome, Italy, 2023. https://lipn.univ-paris13.fr/TLLA/2023/accepted.

   * **G. Manara**, “Towards parallel reduction for linear logic proof-nets”, in AILA: XVII incontro di logica,\\ Caserta, Italy, 2022. https://www.ailalogica.it/incontro2022/abstracts/AILA2022_paper_9647.pdf.

   * M. Acclavio, G. Bernardi, **G. Manara**, and F. Montesi, “Processes-as-formulas”,//in preparation//.
   
   * M. Acclavio and **G. Manara**, “The proof theory of process calculi”,//in preparation//. 


==== Teaching ====

   * (2022-2023) **Teaching Assistant**, Université Paris Cité, Department of Computer Science, (64 hours):
      - //Binary Machine Operating Principles, first year of B.Sc.//
      - //Introduction to Programming 2 (Python), first year of B.Sc.//


   * (2021-2022) **Teaching Assistant**, Université Paris Cité, Department of Computer Science,(64 hours):
      - //Introduction to Programming 2 (Java) , first year of B.Sc.//
      - //Network Programming, third year of B.Sc.//



==== Attended events ====
   * Sept. 2024 **AILA meeting** \\ https://www.ailalogica.it/2024/04/03/incontro-aila-2024// Udine, Italy.


   * Jun. 2024 **Logic Colloquium 2024:European Summer Meeting of the Association for Symbolic
Logic** \\ https://lc2024.se/ Gothenbug, Sweden.

   * May 2024  **LPAR 2024: 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning** \\ https://easychair.org/smartprogram/LPAR2024/ Baclava, Mauritius.

   * Mar. 2024 **Proof, Argumentation, Computation, Modalities And Negation (PACMAN)** \\ https://mega.nz/file/0lYSzDxJ#MwGkh2fwHbj3dEINqvFRtpiE4g-dPr_RmxysKFd5Z5w Verona, Italy.

   * Jan. 2024 **Workshop on Proof Systems for Modal Fixed Point Logics** Amsterdam, Netherlands.
 
   * Nov. 2023 **SCALP Journées 2023 du GT Scalp** \\ https://www.irif.fr/gt-scalp/journees-2023 Orléans, France.

   * Jul. 2023 **TLLA 2023 7th International Workshop** affiliated with FSCD \\ https://lipn.univ-paris13.fr/TLLA/2023/ Rome, Italy.

   * Jun. 2023 **The fifth edition of the LHC days** \\ https://smimram.gitlabpages.inria.fr/lhc/journees/2023/06/06/journees.html Paris, France.
   
   * Apr. 2023 **Places, Workshop affiliated with ETAPS 2023** \\ https://places-workshop.github.io/2023/ Paris, France.

   * Jan. 2023 **Workshop on Probabilistic Program Semantics (PPS)** \\ https://www.irif.fr/pps-meeting4-2023 Paris, France.
   
   * Nov. 2023 **Chocola** https://chocola.ens-lyon.fr/events/meeting-2022-11-24/ Paris, France.
   
   * Feb. 2023 **Foundation of Programing and software systems (FOPSS2023)** Winter school,\\ https://site.unibo.it/fopss2023/en Bertinoro, Italy
   
   * Sep. 2022 **Workshop in Honor of Thomas Ehrhard**, Paris, France
   
   * Jan. 2022 **Logic and Interaction Thematic Month**, https://conferences.cirm-math.fr/2507.html Centre Internationale de Rencontre Mathématiques (CIRM), Marseille, Franc
   
   * Nov. 2021 **Third International Winter School and Workshop on Proof Theory** Winter school, https://kgs.logic.at/madeira2021/ Funchal,Portugal
==== Grants ====

   * **MathInParis 2020 PhD fellowship, FSMP.** \\ Grant provided by the FSMP foundation cofunded by Marie Sklodowska-Curie Actions within the framework of the European Horizon 2020 program "Marie Sklodowska-Curie Co-funding of Regional, National and International Programmes".\\ https://www.sciencesmaths-paris.fr/en/?view=article&id=325:mathinparis2020&catid=36 
   * **Erasmus+ SMS scolarship.** \\ Funding for the mobility from Università degli Studi Roma Tre to Université Aix-Marseille in the framework of the double degree program "Curriculum italo-francese di laurea magistrale in Logica".\\ http://logica.uniroma3.it/~tortora/CurriculumBinazLogica.html



==== Contact ====

| Nom            | Manara          |
| Prénom         | Giulia          |
| Bureau         | 3015            |
| Mail           | manara@irif.fr  |
| Page web       | https://www.irif.fr/~manara/  |