ILLC News & Events

These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.

Sections

Headlines ILLC News

Headlines ILLC Events this week

ILLC News

  • PhD Position on Machine Learning for Automated Reasoning

    Deadline: Monday 11 March 2024
    Are you interested to work, in an interdisciplinary research setting, on topics at the intersection of logic, machine learning and automated reasoning? The Institute for Logic, Language and Computation (ILLC) is looking for a talented PhD candidate. Your research will be part of the Theoretical Computer Science unit of the ILLC, and will concern use of machine learning for automated reasoning (such as mathematical theorem proving and/or declarative constraint-based reasoning).

ILLC Events this week

  • (New) 26 February 2024, Master of Logic defense, Elynn Weijland

    Date & Time: Monday 26 February 2024, 10:00
    Title: An Analysis of Visual and Morphosyntactic Cues in Biased Polar Questions in Dutch
    Location: Room F1.15, Science Park 107, Amsterdam
    Supervisor: Floris Roelofsen & Marloes Oomen