The Dutch Association for Logic and Philosophy of the Exact Sciences is known in Dutch as the Vereniging voor Logica en Wijsbegeerte van de Exacte Wetenschappen, commonly abbreviated as VvL. The fourth edition of the (in-person) Annual VvL Seminar will be organized by Leiden University. The event will also host the award ceremony of the VvL MSc Thesis Prize. The winners will give short presentations of their theses.
MSc Thesis Prize winners: Lingyuan Ye (Amsterdam), Andreea Minculescu (Groningen).
Main speakers: Rosalie Iemhoff (Utrecht) and David Mestel (Maastricht).
On the 15th of December 2025, the Dean of the Faculty of Science, Susan te Pas, will visit the ILLC for an informal introduction to the institute. All are invited to attend.
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
Abstract
We study how to optimally segment monopolistic markets with a redistributive objective. We characterize optimal redistributive segmentations and show that they (i) induce the seller to price progressively, i.e., charge richer consumers higher prices than poorer ones, and (ii) may not maximize consumer surplus, instead granting extra profits to the monopolist. We further show that optimal redistributive segmentations are implementable via price-based regulation.
In our society, individuals are often rewarded based on their merits when they work in cooperation. In this presentation, we focus on a novel social ranking solution where individuals are ranked based on the pairwise comparison of coalitions that differ for one single element (denoted in the related literature as Ceteris Paribus (CP-)comparison).
Are you passionate about deep learning, generative AI, agents? We are seeking a postdoctoral researcher to join the research group led by Ivan Titov (http://ivan-titov.org/), part of the natural language processing group of the Institute for Logic, Language and Computation (ILLC).
Are you looking for a PhD position where you can use your mathematical skills to improve existing mechanisms for democratic decision making and invent new ones? Are you excited about doing this kind of research in an interdisciplinary environment, in a team of smart and supportive colleagues?
Then you may want to join us. We are looking for two PhD candidates in the field of computational social choice to join the COMSOC Group at the Institute for Logic, Language and Computation (ILLC).
The MSP Group at the University of Strathclyde is advertising multiple PhD positions. They see the mathematical foundations of computation and programming as inextricably linked, and study one so as to develop the other. Applicants in the area of the Mathematically Structured Programming (MSP) Group are strongly encouraged to apply.
The studentships cover tuition fees, a stipend for living expenses, and a small travel budget for the UK home students. Unfortunately, the funding provided is not enough for non-UK tuition fees, and for such students it is advisable to search for other funding opportunities.
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 advertisement is for a two-year appointment as Mellon Postdoctoral Research Associate in the History of Computational Technology. The position is to be held jointly at the Cogut Institute for the Humanities and the Department of History, with additional affiliation with the Program in Science, Technology, and Society.
Applicants in any discipline of the humanities (history, philosophy, literature, language, and the arts) or deploying humanistic methods in Science and Technology Studies, Media Studies, or related fields are encouraged to apply, in particular those whose work addresses the historical significance, impact, and/or trajectory of the “information age,” cybernetics, computing, digital technology, artificial intelligence, and/or the emergence of data-driven methods in the sciences and beyond.
Morgan Phoa Scholarships Closing date(s): 1 March 2026 Tenure: Three years
https://www.wgtn.ac.nz/scholarships/current/morgan-phoa-scholarships
Value: $47,500 NZD per annum for 3 years. The scholarship will cover full fees annually, with the remainder of the annual funding being paid as stipend in equal monthly instalments directly to the recipient. History and purpose
Through the generosity of Dr Wesley Phoa and Margaret Morgan, two New Foundations PhD Scholarships have been established at the School of Mathematics and Statistics. These scholarships will enable two students, co-supervised by Dr Thomas Forster and Professor Noam Greenberg, to make new discoveries, advance our mathematical understanding, and expand our knowledge of Quine's New Foundations, capitalising upon recent breakthroughs in the field that the donors helped make possible.
The position is opened for a highly motivated person with an excellent academic record, who is familiar with the basics of mathematical logic, in particular set theory.
The logic group at the department has links with various application areas of mathematical logic in other fields of mathematics as well as in theoretical computer science. For the present position, preference would be given to candidates with research interests in Model-Theoretic Methods broadly conceived. Main focus is on application domains such as finite and algorithmic model theory, the study of logics of a modal character, or of team semantics.