Invited Talks
2024
LMW 2024, Logic Mentoring Workshop Naples – Doing a PhD is more than writing a thesis
2023
Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics Oberwolfach – intuitionistic Gödel-Löb logic: box and diamond
Ecumenical Meeting London - The coreflection principle – a great value in intuitionistic modal logic.
2022
StrIP Kick-Off meeting Birmingham – Proof theory for the admissible rules in Lax Logic.
2021
7th TICAMORE meeting online - Proving uniform interpolation via nested sequents.
2020
Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics online - Admissibility in some intuitionistic provability logics
Contributed Talks
2024
CIBD 2024, Workshop on Theory and Applications of Craig Interpolation and Beth Definability Amsterdam - Uniform Interpolants and Bisimulation Quantifiers: Verified Constructions via Proof Systems
BCTCS 2024, British Colloquium for Theoretical Computer Science Bath - Intuitionistic Gödel-Löb logic à la Simpson: labelled systems and birelational semantics
(j.w.w. Anupam Das and Sonia Marin)
CSL 2024, EACSL Annual Conference on Computer Science Logic Naples - Intuitionistic Gödel-Löb logic à la Simpson: labelled systems and birelational semantics
(j.w.w. Anupam Das and Sonia Marin)
2023
MOSAIC 2023 Vienna - Towards Intuitionistic Gödel-Löb logic (with a capital ‘I’)
(j.w.w. Anupam Das and Sonia Marin)
TABLEAUX 2023 Prague - Extensions of K5: Proof theory and uniform interpolation
(j.w.w. Raheleh Jalali and Roman Kuznets)
The 5th Proof Society Workshop Barcelona - Towards Intuitionistic Gödel-Löb logic (with a capital ‘I’)
(j.w.w. Anupam Das and Sonia Marin)
Logic Colloquium Milan - Proving uniform interpolation via multicomponent sequent calculi
(j.w.w. Raheleh Jalali and Roman Kuznets)
2022
The 4th Proof Society Workshop Utrecht - Natural deduction derived from truth tables
(j.w.w. Herman Geuvers and Tonny Hurkens)
Workshop on Proofs, Computation and Meaning online - Natural deduction derived from truth tables: intuitionistic logic. (j.w.w. Herman Geuvers and Tonny Hurkens)
2021
The 3rd Proof Society Workshop Madeira - Proof theory for the admissible rules in lax logic
WoLLIC 2023, Workshop on Logic, Language, Information and Computation, online - Uniform interpolation via nested sequents
(j.w.w. Raheleh Jalali and Roman Kuznets)
LOGICA 2021 Hejnice - Admissible rules in intuitionistic modal logics.
PhD’s in Logic XII Berlin - A walk through the landscape of intuitionistic modal logic.
Women in Logic online - Rules in intuitionistic modal logics.
AAL 2021, Australian Association for Logic Conference, online - Lax logic and its admissible rules
GSCL XXII, The 22nd Annual Graduate Student Conference in Logic, online - On the admissible rules in lax logic
2020
Women in Logic online - Uniform interpolation in intuitionistic modal logic
2019
Logic Colloquium Prague - Intuitionistic Gödel-Löb Logic (j.w.w. Rosalie Iemhoff)
PhD’s in Logic XI Bern - Cut-elimination for intuitionistic Gödel-Löb logic
(j.w.w. Rosalie Iemhoff)
The 2nd Proof Society School Swansea – Logics iGL and iSL
Prize for best poster presentation