The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.
If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.
Abstract:
We will discuss this paper by Hetzl and Jalali
Abstract:
Craig interpolation is a fundamental property of logics with a plethora of applications from philosophical logic to computer-aided verification. The question of which interpolants can be obtained from an interpolation algorithm is of profound importance. Motivated by this question, we initiate the study of completeness properties of int...
Plants & Brunch is back with a 2026 Spring edition! Come get your hands dirty and bring some new life to the ILLC (and your offices). The ILLC will provide the material, drinks and snacks. Home-made goodies and plant contributions are welcome!
Please RSVP via this link to help us plan for the event.
This event provides young shcolars with an opportunity to present their research in the field of applied linguistics (language use, language acquisition, language education, language proficiency, or communication). Both lectures and poster presentations are welcome. Lectures shall last 15 minutes. Additionally, the annual Anéla-VIOT Thesis Award for the best MA-thesis in the field will be awarded on this day.
The evaluation of the abstracts will be based on the clarity of the explanation of their relevance, main research question, methodological design, and conclusion of the research. A lack of results or conclusions in the abstract don't pose an issue, as long as there will be some results to present during the event.
The abstract needs to meet the following requirements: a maximum of 250 words (excl. references); in Dutch or in English (write it in the language in which you will present); all personal information removed from the abstract (name, university); indicates the preference for a lecture or poster presentation. Submit your abstracts via this link.
iBBA-ABC Support Funding is intended to increase interdisciplinary collaboration between iBBA and ABC researchers: the grant proposal must include one PI from iBBA and one from ABC (inter-institutional).
Talented and creative researchers who are in the stage of consolidation and further development of their leadership/research group can now apply for a Vici grant. This funding instrument of the NWO Talent Programme offers person-specific funding. The funding amounts to a maximum of €1,500,000 euros.
The Christiaan Huygens Science Prize honors a young researcher who has made an innovative contribution to space sciences, mathematics or physics in a dissertation. Any researcher at a Dutch university who has defended a dissertation in the relevant discipline in the past three years (the current year and the full three calendar years preceding it) can be nominated for the prize. The laureate receives a bronze statue by Christiaan Huygens and a cash prize of 10,000 euros.
The following persons can nominate a candidate for the prize: deans of faculties of Dutch universities; directors of research institutes; directors of research schools.
Early-career first-generation academics can apply for a grant of €5,000 (PhD candidates) or €10,000 (postdoctoral researchers or university lecturers) that can be used for activities that advance their scientific/scholarly career.
The Academy aims for an award rate of approximately 25%. In the event of a substantially higher number of high-quality applications being submitted, the Academy may decide to apply randomization.
The second funding round within the partnership initiative between NWO and the National Research Foundation Ukraine (NRFU) is now open. With a total budget of €480,000, this round can grant up to 16 proposals. This instrument operates on a first come, first served basis until the deadline or until the budget has been exhausted.
The aim of this call is to support Ukrainian researchers in expanding their professional network in The Netherlands and to stimulate knowledge exchange. Project teams offer guidance in the form of advice, mentorship and collaboration.
The LAGER project ("Learning abstractions for generalized reasoning in AI") is seeking talented and motivated candidates for two PhD positions to join the groups at the Institute of Logic and Computation at TU Wien. The project is funded by the Vienna Science and Technology Fund, and led by Zeynep G. Saribatur, Thomas Eiter and Nysret Musliu.
By focusing on Answer Set Programming (ASP), the project will establish theoretical foundations for generalized reasoning and develop domain-independent methods for learning useful abstractions over ASP programs. Candidates should have a solid background in symbolic AI and good programming skills. One PhD position is available with an immediate start, and the other position is from 1 July 2026.
Illogician, the student magazine of the Master of Logic at Amsterdam's ILLC, has brought out a new issue (issue 2026 i).
Are you deaf or hard-of-hearing (DHH)and have you studied/worked at the University of Amsterdam, either now or in the past? Would you like to help empower more DHH students to pursue higher education? If you answered "yes" to both, please connect with our researchers at the SignLab: you can either send an email to Jos Ritmeester or fill out the form here.
The SignLab is located in Bushuis, Kloveniersburgwal 48, Amsterdam. The expexted duration of the chat is 2,5 hours and you will receive a compensation of €37,50 + travel costs. Thank you for sharing your stories - your experiences, challenges, and successes will help us make a difference.