We are looking for a specialist in an area of model-based AI such as, for example, SAT solving, constraint programming, planning and scheduling, answer set programming, description logics, ontology engineering, or computer-aided verification. We hope that you will be able to connect with the long and proud research tradition in logic at the ILLC, while also reaching out to the broader AI research community in Amsterdam.

Are you looking for a postdoctoral position where you can combine insights from music cognition with psychometrics and cognitive science? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of smart and friendly colleagues, then you may want to join us.

Are you looking for a PhD position where you can combine insights from music cognition, cognitive behavioural ecology, and cognitive science? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of smart and friendly colleagues, then you may want to join us.

ILLC's SignLab is among the 3 finalists for the Amsterdam Science and Innovation Award in the category Society! The finale will take place at NEMO on the 9th of November and will also be livestreamed. Registration is required to attend either the live event or the livestream.

MoL students graduating in the current semester will present their ongoing thesis projects to the ILLC community.

This lecture will be an introduction to the theory of judgment aggregation (JA). JA deals with the problem of combining the views of several individual agents regarding the truth of a number of propositions, expressed in the language of logic, into a single such view that appropriately reflects the stance of the group as a whole. Applications of JA range from aggregating the opinions of several judges in a court of law into a single legal opinion, all the way to aggregating information received from several autonomous software agents in the context of distributed computing systems.