uva.nl

Institute for Logic, Language and Computation

News and Events: MoL and PhD defenses

Headlines MoL and PhD defenses

MoL and PhD defenses

  • 19 October 2026, Master of Logic defense, Bardo Maienborn

    Date & Time: Monday 19 October 2026, 13:00
    Title: Bisimulations for Intuitionistic Modal Logics via Dialgebras
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Yde Venema

  • (New) 23 October 2026, Master of Logic defense, Milan Hartwig

    Date & Time: Friday 23 October 2026, 09:00
    Title: Games and Automata for Fixpoint Logics over Complete Lattices
    Location: ILLC Seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Yde Venema

  • (New) 28 October 2026, Master of Logic defense, Noam Cohen

    Date & Time: Wednesday 28 October 2026, 15:00
    Title: To Infinity and Beyond: Expressive completeness of the modal mu-calculus with transfinite counting modalities
    Location: online
    Supervisor: Yde Venema

  • 29 October 2026, PhD Defense, Daniil Khaitovich

    Date & Time: Thursday 29 October 2026, 10:00
    Title: From Arbitrary Sets to Social Groups: Group Agency in Multi-agent Modal Logic
    Location: Agnietenkapel, Oudezijds Voorburgwal 229, Amsterdam [NL]
    Promotor: Sonja Smets
    Copromotor: Aybüke Özgün
    For more information, contact Daniil Khaitovich at .

  • 30 October 2026, PhD Defense, Rodrigo Almeida

    Date & Time: Friday 30 October 2026, 14:00
    Title: Representations and model theory of free Heyting algebras
    Location: Aula, Oude Lutherse Kerk, Singel 411, Amsterdam
    Promotor: Nick Bezhanishvili
    Copromotor: Mamuka Jibladze
    For more information, contact Rodrigo Almeida at .