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 2026We 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 anas.sokolova at cs.uni-salzburg.at.
ILLC Events this week
-
28 May 2026, Language Sciences for Social Good Consortium Meeting, Lab42, Science Park
Location: Lab42, Science ParkTarget audience: Members of the LSG ConsortiumCosts: noneDeadline: Friday 13 March 2026We 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 a.palmann at uva.nl, James Trujillo at j.p.trujillo at uva.nl, or Fausto Carcassi at f.carcassi at uva.nl . -

(New) 28 May 2026, Logic and Interactive Rationality (LIRa), Tianyi Chu
Speaker: Tianyi Chu (ILLC, University of Amsterdam)Title: Evidential Support in Truthmaker SemanticsLocation: ILLC Seminar Room F1.15, Science Park 107 and online.For more information, see https://projects.illc.uva.nl/lgc/seminar/2026/04/lira-session-tianyi-chu/. -
(Updated) 29 May 2026, DIP Colloquium, John MacFarlane
Speaker: John MacFarlane (UC Berkeley)Title: PanvariabilismLocation: ILLC seminar room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/FSPL/DIP-Colloquium/event/35283/John-MacFarlane-UC-Berkeley-TBA.