Abstract
We consider the aggregation problem where a collective decision is based on binary evaluations of several issues. An expert is an agent who is decisive over an issue, and an aggregator is Pareto if it respects unanimous valuations over an issue. We study the required conditions for a domain to admit Pareto aggregators with at least two experts. We show that several impossibility results from the literature can be derived from our model, while establishing new results for settings such as the single-peaked domain and approval-based committee voting.
LoCaD 2025 brings together researchers in logic, algebra, and proof theory to explore formal methods for reasoning, categorization, and decision-making. The aim is to foster interaction across traditions—modal logic, algebraic logic, proof theory, category theory, knowledge representation, formal epistemology—and to identify common structures, tools, and research programmes.
LoCaD 2025 is organized on the occasion of PhD defenses.
Would you like to put your research in the spotlight, but are unsure how to approach the media? Or are you afraid that journalists will twist your story? In this basic introduction, UvA press officers will give you the tools to help you confidently deal with news media.
This workshop also takes place on 2 December in Dutch. More dates (both in NL and EN) are available next year.
In this course we will use the Agda system to explore the central concepts of Type Theory. Topics include dependent types, dependent functions, propositions-as-types, and formal reasoning within type theory. If time permits, we will also discuss recent developments such as Homotopy Type Theory and its implementation in Cubical Agda. This is an introductory lecture - no previous knowledge of Type Theory is required.
Registrations are accepted on a rolling basis, spots are limited.
The 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
Danish Kashaev is a PhD student at CWI Amsterdam under the supervision of Guido Schäfer and Daniel Dadush, promoting at the ILLC. His thesis explores topics in approximation algorithms, online algorithms and algorithmic game theory.
Wouter J. Smit received the Best Student Paper Award at the 6th Workshop on Dynamic Logic (DaLí 2025) for the article "Completeness and Decidability of Protocol-Dependent Knowledge in Gossip" co-authored with Hans van Ditmarsch (University of Toulouse) and Malvin Gattinger (UvA, ILLC). Congratulations!
The ICDT 2016 paper "Declarative Probabilistic Programming with Datalog" by Vince Barany, Balder ten Cate, Benny Kimelfeld, Dan Olteanu and Zografoula Vagena, was selected as winner of the ICDT 10-year Test-of-Time award. The award will be received at ICDT 2026.
Researchers who were awarded their PhDs between three and seven years ago (this term is subject to the Academy extension regulation) and who are employed by a university or research institute in the Kingdom of the Netherlands can apply for EUR 10,000 to organise an interdisciplinary science meeting.
Vici is part of the NWO Talent programme. The Vici target group consists of researchers at the stage of consolidation and further development of their leadership/research group. The goal of the Vici grant is to contribute to the researcher's development in this area.
Open Mind funds innovative research proposals that break through conventional thinking frameworks and use technology for sustainable social impact. Think of ideas that, for example, transform education, promote inclusivity, tackle climate issues or enable new forms of communication. The call invites researchers from all disciplines who tackle global challenges with groundbreaking and creative solutions. Researchers with exciting, high-risk, high-gain ideas are encouraged to submit their outside-the-box research proposals and compete for a chance to receive €100,000 to explore their research ideas over the course of one year.
Cybersecurity, climate, circular economy, housing shortage, ageing population or health: our society faces enormous challenges that require knowledge and groundbreaking innovations. This demands collaboration between researchers, businesses and public social partners to develop innovative solutions and implement them successfully. This programme stimulates this collaboration and funds new and existing public-private consortia
The IMPRS for Language Sciences invites applications for PhD fellowships that are funded by the Max Planck Society for the Advancement of Science.
The position relevant for the ILLC audience is within the Language and Computation in Neural Systems (LaCNS) Project. An ideal candidate should holds (or soon will hold) a Research Master’s degree (or equivalent) in linguistics, psycholinguistics, cognitive science, cognitive neuroscience, computer science, or a related field.
The Mathematical Insights into Algorithms for Optimization (MIAO) group are looking for a researcher with strong mathematical background combined with excellent algorithmic thinking and programming skills to further expand our world-leading work on certifying algorithms. There is some flexibility as to what kind of research members of the group pursue, though, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two.
The employment duration is for two years. The starting date is negotiable, but should ideally be in August-September 2026 or earlier.
The Mathematical Insights into Algorithms for Optimization (MIAO) group are looking for a mathematically gifted PhD student with excellent programming skills to continue our ground-breaking work on certifying algorithms, funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). There is some flexibility as to what kind of research PhD students in the group pursue, though, and all candidates are welcome, both those who want to go deep into either theory or practice and those who are inspired by the challenge of bridging the gap between the two.
This PhD position is a four-year full-time employed positions; it might include 20% teaching, in which case it will be prolonged for one more year. The starting date is negotiable, but should ideally be in August-September 2026 or earlier.
This PhD project is at the intersection of verification and machine learning and covers both the analysis of software and cyber-physical systems and the analysis of learning-enabled systems.
Computer-aided verification of AI systems connects the fields of formal methods, machine learning and software engineering. It combines classical symbolic verification methods as well as novel machine learning methods for safe and trustworthy AI. Potential research topics include, but are not limited to, developing methods to guarantee that cyber-physical systems with deep learning components are safe and ensuring that software and hardware components are correct.
This position is supported by a prestigious Swedish Research Council grant focused on automatic synthesis of programs for spatial Multi-Agent Systems. The research centers on developing foundational theories and practical techniques for the formal verification of autonomous systems, including controller synthesis, planning, and model checking.
Competitive candidates are expected to have a background, and experience of working with one (or more) of the following:
The DEON steering committee is currently soliciting bids to host the 2027 edition of DEON, the International Conference on Deontic Logic and Normative Systems. Originally focused on computer science, the series now brings together researchers from various fields, including computer science, philosophy, legal theory, and linguistics.
The proposal should include the following: