ILLC News & Events

Sections

Headlines ILLC News

Headlines ILLC Events this week

ILLC News

  • PhD Position in Coalgebra / Algebra / Semantics / Formal Methods / Probabilistic Systems in Salzburg [AT]

    Deadline: Wednesday 15 July 2026

    We have a PhD position to fill in the newly formed group CALM (Coalgebra, Algebra, and Logical Methods) at the Department of Computer Science, University of Salzburg. The position is for 4 years, with all benefits (and a small teaching obligation in year 2 and year 3). The topic of research will be fixed based on the joint interests of the candidate and the supervisor, within the mentioned areas. 

    Applications will be considered on a rolling basis, until the position is filled -- ideally before August 2026. Please send your (for now informal) application with a CV and your research interests directly to

    For more information, contact Ana Sokolova at .

ILLC Events this week

  • 28 May 2026, Language Sciences for Social Good Consortium Meeting, Lab42, Science Park

    Date & Time: Thursday 28 May 2026, 14:00-18:00
    Location: Lab42, Science Park
    Target audience: Members of the LSG Consortium
    Costs: none
    Deadline: Friday 13 March 2026

    We are inviting members of the University of Amsterdam's Language Sciences for Social Good (LSG) Consortium to join a networking event on Thursday, May 28th, from 14:00 - 18:00 at LAB42 aimed at the consortium members and industry partners. We want to provide a forum to connect members of the consortium with each other and with industry partners, to discuss expectations and intentions from both sides, and to showcase what is already being done as part of this consortium.

    The event will include short pitches by the industry partners, as well as poster presentations by researchers in the LSG. If you are a consortium member, you are welcome to present a poster at this event (this can be a poster that you already prepared for a different conference). If you are interested in presenting a poster, please provide us with a title and short description for the program before March 13th. You can do so by sending an e-mail to one of the organizers.

    For more information, contact Anna Palmann at , James Trujillo at , or Fausto Carcassi at .
  • (New) 28 May 2026, Logic and Interactive Rationality (LIRa), Tianyi Chu

    Date & Time: Thursday 28 May 2026, 16:30-18:00
    Speaker: Tianyi Chu (ILLC, University of Amsterdam)
    Title: Evidential Support in Truthmaker Semantics
    Location: ILLC Seminar Room F1.15, Science Park 107 and online.
  • (Updated) 29 May 2026, DIP Colloquium, John MacFarlane

    Date & Time: Friday 29 May 2026, 16:00-17:30
    Speaker: John MacFarlane (UC Berkeley)
    Title: Panvariabilism
    Location: ILLC seminar room F1.15, Science Park 107, Amsterdam