uva.nl

Institute for Logic, Language and Computation

News and Events: MoL and PhD defenses

Headlines MoL and PhD defenses

MoL and PhD defenses

  • 25 August 2026, MoL Defense, Yipu Li

    Date & Time: Tuesday 25 August 2026, 11:00
    Title: Complexity Reduction in Combinatorial Set Theory
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Yurii Khomskii and Vera Fischer
    For more information, contact Yurii Khomskii at .

  • 25 August 2026, Master of Logic defense, Paul Weston

    Date & Time: Tuesday 25 August 2026, 15:00
    Title: Urban Development Feasibility as Constraint Satisfaction
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Ronald de Haan

  • 26 August 2026, Master of Logic defense, Jay Warnock

    Date & Time: Wednesday 26 August 2026, 11:00
    Title: The GL Expressive Containment Problem for Simple Modal Fragments
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Balder ten Cate and Xi Yang

  • (Updated) 26 August 2026, Master of Logic defense, Merlin Krzemien

    Date & Time: Wednesday 26 August 2026, 13:00
    Title: Spanner Queries: A Query Language for Information Extraction
    Location: online
    Supervisor: Balder ten Cate
    For more information, contact .

  • 27 August 2026, Master of Logic defense, Giacomo Bruno Ruggero de Antonellis

    Date & Time: Thursday 27 August 2026, 09:00
    Title: Initial Algebras for Endofunctors preserving Filtered Colimits
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Benno van den Berg
    Mentor: Aybüke Ozgün

  • 27 August 2026, Master of Logic defense, Vighnesh Iyer

    Date & Time: Thursday 27 August 2026, 11:00
    Title: What Makes a Productive Completeness Theory?
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Ronald de Haan

  • 27 August 2026, Master of Logic defense, Josje van der Laan

    Date & Time: Thursday 27 August 2026, 13:00
    Title: An Intuitionistic Temporal Logic for Brouwer’s Creating Subject Arguments
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Benno van den Berg

  • 28 August 2026, Master of Logic defense, Gidon Kaminer

    Date & Time: Friday 28 August 2026, 13:00
    Title: Learning to Theorize in Mental Terms
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Fausto Carcassi

  • 10 September 2026, Master of Logic defense, Louise Wilk

    Date & Time: Thursday 10 September 2026, 13:00
    Title: One Knowledge Transformer to Rule Them All: Toward Symbolic Epistemic Planning
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Malvin Gattinger

  • (New) 14 September 2026, Master of Logic defense, Max Wehmeier

    Date & Time: Monday 14 September 2026, 13:00
    Title: Towards a Joyal-Tierney Theorem for Arrow Algebras
    Location: room TBA, Science Park, Amsterdam
    Supervisor: Benno van den Berg

  • 17 September 2026, Master of Logic defense, Mette Andersen

    Date & Time: Thursday 17 September 2026, 15:00
    Title: Semantic projection as a category mistake towards achieving faithful LLM explanations
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Giovanni Cinà

  • 24 September 2026, Master of Logic defense, Dennis Lindberg

    Date & Time: Thursday 24 September 2026, 09:00
    Title: Solving Logic Puzzles with Answer Set Programming and Large Language Models
    Location: F1.15, Science Park 107, Amsterdam
    Supervisor: Arie Soeteman and Ronald de Haan