Discover leading research in areas such as quantum technologies, AI, photonics, nanotechnology, sustainability and synthetic biology in this interactive, high-energy event.
The focus of the day will be on show-and-tell, where you will get to see and discuss deep technological research in context - with plenty of room to connect. The day will also feature influential external and internal keynote speakers, an innovation market, thematic Deep Tech tours through our faculty, pitching by young talents, and more.
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).
This dissertation studies the presuppositions and anaphoric properties of interrogative words. The theories proposed here offer a novel perspective on questions. They advocate for a more fine-grained semantics of interrogative words, while emphasizing the role of modality in shaping certain readings.
Contemporary warfare and security practices are increasingly shaped by digitisation and AI, from information gathering to automated targeting and military strategy. These developments raise numerous ethical, societal, legal, cultural, ecological and economic questions. Responsible Digital Transformations (RDT) invites researchers from all faculties to submit project proposals that approach this topic from an interdisciplinary perspective.
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).
This project at University College London aims to study a version of incorrectness logic with novel logical foundations and analysis techniques that can formally prove the presence of bugs in randomised software. The PhD will provide training in programming principles, logic, and formal verification. Candidates should have a Bachelor's degree in computer science or mathematics. Ideal candidates should have a Master's degree with a solid technical background and interest in programming languages and logical methods in computer science.
Applications are invited for a PhD studentship at UCL with project title 'A Foundational Theory of Information Based on Inference'. Research Area(s): Logic & Combinatorics (especially proof theory) and Theoretical computer science (especially logic, abstract models, logical concepts, semantics). The joint supervisors are Tim Button and David Pym.
UK and international candidates can be considered.
The position under Prof. Stefan Leue, The Chair for Software and Systems Engineering, is available immediately. . The position is initially available for up to two years with the possibility of extension. Exceptional PhD candidates may also be considered if they are at an advanced stage of their doctoral studies.
The successful candidate is expected to contribute to the goals of the DFG-funded research project “SCADNet”. In this context, research contributions in at least two of the areas formal verification, formal guarantees for Deep Neural Networks, models of causality, automated repair of real-time systems, system safety, formal techniques in legal tech, and generally formal methods and verification are of great interest.
Two PhD positions at TU Wien are seeking talented and motivated candidates to join groups at the Institute of Logic and Computation at TU Wien. The positions are part of the LAGER project ("Learning abstractions for generalized reasoning in AI") funded by the Vienna Science and Technology Fund, 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 from January 1st, 2026, and the other position is from July 1st, 2026.
All Editors-in-Chief and Associate Editors of the Journal of Philosophical Logic, currently published by Springer Nature, have informed Springer Nature of their resignation. Today marks the launch of a new Diamond Open Access journal, Philosophical Logic (https://www.philosophical-logic.org), with the same editors and associate editors that used to be on the Journal of Philosophical Logic. The new journal is published by the Open Library of Humanities (OLH) (https://www.openlibhums.org) and not affiliated with Springer Nature or the Journal of Philosophical Logic published by Springer Nature.
Philosophical Logic welcomes original research in all areas of philosophical logic. The new journal will maintain the same high editorial standards that we upheld at the Journal of Philosophical Logic. In our view, hiring and promotion committees should regard publication in Philosophical Logic as no less significant than publication in the Journal of Philosophical Logic was before.