uva.nl

Institute for Logic, Language and Computation

News and Events: MoL and PhD defenses

Headlines MoL and PhD defenses

MoL and PhD defenses

  • 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

  • 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 .

  • 4 November 2026, Master of Logic defense, Hubertus Weber

    Date & Time: Wednesday 4 November 2026, 11:00
    Title: Proof Search for Intuitionistic K
    Location: ILLC Seminar room F1.15, Science Park 107, Amsterdam
    Supervisor: Marianna Girlando