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). 

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...

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.

 

Celebrate Valentine’s Day by watching the classic romantic film known as “Shrek”. Then stick around and sing your heart out to classics from the soundtrack like “I’m a Believer” and “All Star”, along with other bops of the era.

• “Shrek” movie screening: 19:30
• Karaoke: 21:00

As per usual, all Master of Logic, Logic Year, and ILLC PhD students are invited!

I will use Linnebo's notion of non-instantial generality to shed some light on Wittgenstein's tantalizing claim that “the generality required in mathematics is not an accidental generality” [T 6.031]. I will also compare the type of truthmaker semantics presented in Linnebo's “Generality explained” with Kleene realizability semantics.

Connect via this link: https://univienna.zoom.us/j/64044125993?pwd=afg14Q6ljTU6Zg43xEZVu3nWmJaobZ.1 

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.

For this session of PhiMath, we read Bob Hale’s paper “Properties and the Interpretation of Second-Order Logic”. He defends a deflationary conception of properties, which are the things we quantify over in second order logic. According to Hale, something is a property iff there could be a predicate that stands for it.

To celebrate the PhD defense of Valentin D. Richard, we would like to gather colleagues working on related topics. With this workshop, we aim to gain a broader picture of how a sentence contributes to a discourse. The meaning of a sentence cannot be derived on its own. Together, sentences form larger discourse units, structuring the information flow. Questions are a fundamental part of human dialogues. Moreover, many illocutionary acts also rely on implicit questions, the so-called Questions under Discussion (QuD). Therefore, understanding how questions help construct a conversation is essential.

This workshop welcomes talks on novel or promising proposals regarding information structure, inference generation, and the modeling of natural language meaning. The boundary between semantics and pragmatics remains a hotly debated topic. When designing a natural language model, what building blocks and principles should we use to explain context-dependent phenomena, especially background inferences? We hope that this gathering can yield interesting insights into questions and the discourse.

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.

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.

See the announcement for the next talk below. 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.

The annual ILLC PhD Day is coming up! We look forward to another inspiring day of research and exchange within the ILLC community. The programme will feature presentations and posters by our PhD candidates, as well as opportunities to meet fellow researchers and discuss ongoing work across the four ILLC research units.

The International Dual Career Network (IDCN) is a global initiative that connects companies and accompanying partners (spouses) in a local talent pool. This event will be hosted in collaboration with Randstad, who will provide valuable insights and tips on crafting a compelling CV for the Dutch job market. We are also planning a speed networking session, where attendees can network and exchange contact information. 

For registration, visit this link: IDCN Event Registration Form.

The logical appearance of meaning: a two-day symposium organized at the occasion of Paul Dekker's retirement.  This event is open to everyone with an interest in logic and the philosophy of language. Thanks to the hybrid format you can also join us remotely, but if you can, we warmly welcome you to attend the symposium in person. 

Additionally, you are welcome to the borrel held at Kapitein Zeppos on Monday 12 January starting at 17:30. To help us plan for the event, we kindly ask you to fill out the registration form.

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, when the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at levels that run from foundational to introductory to advanced, and attracts around 400 participants from all over the world. In 2026, ESSLLI returns to Prague after exactly 30 years.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.

CiE 2026 will be colocated with other conferences and workshops:

• MCU 2026: Machines, Computability, Universality,
• CCA 2026: Computability and Complexity in Analysis,
• GSW 2026: Grammar Systems Workshop

The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods. 

Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.

The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge. 

KR2026 will be part of the Federated Logic Conference (FLoC 2026).

IACAP has a long tradition of promoting philosophical dialogue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intelligence. The 2026 annual conference will continue this tradition by bringing together researchers from various fields who are interested in the topics covered in various tracks.

ESSAI is an annual summer school on AI held under the auspices of the European Association for Artificial Intelligence (EurAI). ESSAI is the largest school of broad AI in Europe.

The ESSAI 2026 will offer an intensive 5-day program featuring various AI courses and tutorials. With over 30 lecturers from multiple fields, participants will have the opportunity to engage in 5+ parallel tracks of sessions each day.

Research methods in economics and social sciences are changing quickly with AI-driven analytics, Large Language Models, and causal machine learning. New Internet and Big Data sources support fresh approaches to measurement, inference, and theory testing. As these tools become more interdisciplinary, CARMA 2026 offers a forum for researchers and practitioners to share advances in computational and data-intensive methods applied to social and economic issues, and to discuss their opportunities and challenges.

LOFT 2026 will be the 16th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. 

The conference focuses on empirical research in various areas of linguistics. The event aims at junior researchers to provide them with a platform for the presentation and discussion of research with their international peers. Contributions related to any world languages of all modalities are welcome.

The Linguistics and English Language Postgraduate Conference is an annual event hosted by the School of Philosophy, Psychology and Language Sciences at the University of Edinburgh, and is open to students and recent graduates from all over the world. The event is held in-person only (no online or hybrid options available).

The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundation of database systems. The PODS community aims to provide a solid scientific basis for methods, techniques, and solutions for the data management challenges that continually arise in our data-driven society. It develops new ways of advancing data management to reflect the rich landscape of data requirements in applications nowadays. Our goal is to develop solutions that ensure high levels of efficiency, scalability, usability, expressiveness, robustness, security, clarity, and privacy, among others. The PODS community is an open space where researchers from various areas related to the principles of computer science can discuss, interact, and propose solutions to problems in data management.

The Czech Academy of Sciences, Institute of Philosophy, announces Logica 2026, the 38th in the series of annual international symposia devoted to logic, to be held in Hejnice (in northern Bohemia, about 2.5 hours from Prague). The symposium welcomes submissions addressing any of the wide range of logical problems, with the exception of those focusing on specific technical applications. We especially welcome submissions that cover topics of interest to both 'philosophically' and 'mathematically' oriented logicians.

The early-career researchers of the CRC Negation in Language and Beyond (NegLaB) at Goethe University Frankfurt, are organizing Nothing but Negation: Young Researchers' Conference 2026.

The aim of this conference is to provide a dedicated space for junior researchers to explore negation from diverse theoretical and empirical perspectives, ranging from syntax, morphology, and semantics to pragmatics and cognitive science.

The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming.

We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable.

DA2PL-2026 (From Multiple-Criteria Decision Aid to Preference Learning) aims to bring together researchers from decision analysis and machine learning. It provides a forum for discussing recent advances and identifying new research challenges in the intersection of both fields, thereby supporting a cross-fertilisation of these disciplines.

ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2026 is the twenty-nineth event in the series.

Main conferences:
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FoSSaCS: Foundations of Software Science and Computation Structures
* TACAS: Tools and Algorithms for the Construction and Analysis of Systems

Several satellite workshops and other events will take place during the weekend before the main conferences.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc.

The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

EuroGP is the premier annual conference on Genetic Programming (GP), the oldest and the only meeting worldwide explicitly devoted to this branch of evolutionary computation. It is always a high-quality, enjoyable, friendly event, attracting participants from all continents, and offering excellent opportunities for networking, informal contact, and exchange of ideas with fellow researchers. It will feature a mixture of oral presentations and poster sessions and invited keynote speakers. EuroGP 2026 will be held as part of EvoStar 2026.

 

 

The workshop's primary goal is to promote awareness, understanding, and collaboration among researchers in philosophical logic and related fields. It emphasises the interaction between philosophical ideas and formal theories. 

Registration deadline: 22 March 2026 (AoE)

The TLLM workshops aim to bring together logicians, philosophers, and linguists around a specific theme of common interest. For the 2026 event, the theme is unusually wide, and we welcome contributions on any general or particular aspect of the modalities in logic or language.

Logic and game theory are foundational disciplines that have significantly developed, influencing diverse fields such as computer science, economics, artificial intelligence, and social choice theory. Recent trends highlight innovative applications of logic to model strategic interactions, analyse equilibria, and design systems with rational agents, as well as advancements in game-theoretic reasoning for logic-based systems. This conference aims to bring together researchers to explore the latest research, tools, and applications at the intersection of logic and game theory.  

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability.

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.  CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University.

This PLM workshop aims to bring together philosophers and scientists working on memory. The workshop focuses on the role of memory traces and engrams for remembering. We intend to foster interdisciplinary dialogue on the theoretical foundations and empirical underpinnings of traces and engrams across philosophy, neuroscience, psychology, and related disciplines.

The Zagreb Logic Conference (ZLC) encompasses various branches of logic, such as higher order logic, modal logic, set theory, proof theory, model theory, but also philosophy of logic, history of logic, and applications of logic in computer science, computability and complexity. The venue is the Department of Mathematics, University of Zagreb. Invited speakers: Ivan Tomašić (Queen Mary University of London).

The conference will consist of five invited talks of 50 minutes and contributed talks of 15-20 minutes. The topics will include: Universal Algebra, Model Theory, Clones, Lattices, Categories, Semigroups, Applications, e.g., in Computer Science, and Classical Algebra.

We are pleased to announce the AAAI-26 Workshop on Post-AI Formal Methods (P-AI-FM), which will take place in conjunction with AAAI-26, January 26th, 2026, in Singapore.

The workshop aims to bring together the communities of Formal Methods and Artificial Intelligence, exploring how symbolic reasoning, verification, and trustworthy AI can jointly address the challenges of modern AI systems.

Hosted by the Association for the Advancement of Artificial Intelligence (AAAI), the Annual AAAI Conference on Artificial Intelligence (AAAI) is one of the oldest and most comprehensive top-tier conferences in the field of AI. At AAAI 2026, a Bridge Program on "Logic & AI" will be featured. This two-day Bridge Program on Logic & AI aims to thoroughly explore and expand the intersection of AI and Logic. It will be a platform for systematic discussion about new applications of various logical methods in AI, with special interest in the logical and symbolic reasoning abilities of LLMs. We hope this Bridge Program will explore various approaches to enhancing the capabilities of LLMs in solving complex logical tasks. In addition, this exploration could serve as a valuable model for integrating neural networks with symbolic methods.

The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.

Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).

This workshop aims to connect researchers and students interested in fixpoint logics, (cyclic) proof theory and related topics. Participation is free and no registration is required. Invited speakers are Balder ten Cate, Sebastian Enqvist, Iris van der Giessen, Marianna Girlando and Thomas Studer.

The workshop is colocated with the PhD defense of Johannes Kloibhofer on the 13th of February. More information can be found here.

This masterclass Prof. Kourken Michaelian is devoted to the philosophy of memory and aims to provide an intensive forum for discussion of core debates and emerging directions in the field. It will combine two lectures by Prof. Michaelian with presentations by selected participants.

The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.

The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".

Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.

The Australasian Association for Logic is hosting a Southern Summer Logic Day in celebration of the UNESCO World Logic Day. To register for the event and to obtain a Zoom link, please reach out to Guillermo Badia.

Please note that the starting time in Amsterdam is indeed 00:01 on Wednesday, 14 January 2026.

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.

On Feb 10, 2026, Bryan Eikema will be defending his PhD thesis A Sampling-Based Exploration of Neural Text Generation Models at the Agnietenkapel at 13:00. You're welcome to join us there. A mini workshop will also be held from 9:45 -12:00 in the morning at Oudemanhuispoort room C1.17, featuring talks by Bill Byrne and André Martins, with further details to be announced.

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).

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.

Impact Explorer is a small top-up, for ongoing research-projects in the open competition or talent line, to explore an unforeseen opportunity for impact. In collaboration with an Impact Partner.

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.

The KHMW Langerhuizen Oeuvre Prize of 25,000 euros is awarded annually as a tribute to a scientist who has made a contribution to the natural sciences. In 2026, the prize will be awarded to a scientist in the disciplines of Computer Science and Mathematics.

The Developments in Language Theory (DLT) Symposium has decided to create a prize to be awarded during the DLT conference. The SALOMAA PRIZE is named to honour the scientific achievements and influence of Academician Arto Salomaa, the founder of the DLT symposium. The prize consists of a diploma and 2000 euros, funded by the University of Turku, Finland, the home university of Arto Salomaa.

The SGW-XS grants enable researchers to conduct fundamental research through promising ideas in small, innovative projects within the SGW disciplines. SGW-XS is explicitly about curiosity-driven, groundbreaking research and being able to quickly analyse a promising idea.

Starting in 2026, the Royal Holland Society of Sciences and Humanities (KHMW) will make an annual contribution of €400,000 available for research into the functioning of people in business and/or public organizations, made possible by the De Quay Rutten Foundation, formerly GITP.

The Stimulus 'People and organizations in a changing society' is intended for a single collaborative project focused on a scientifically interesting and socially relevant question. The Stimulus is for existing teams and/or new collaborations led by a senior scientist (working at a Dutch university). The funds must be spent within a period of three years.

Since 2023, the Royal Holland Society of Sciences and Humanities has awarded an annual thesis prize of €10,000 to recognise research of a particularly interdisciplinary nature that bridges the boundaries between the traditional arts, sciences and social sciences. The prize is made possible by the Dr Elizabeth Schram-Mulley (ESM) Foundation.

Are you a scientist who wants to consolidate your independence by establishing a research team and continuing to develop a success career in Europe? The ERC Consolidator Grant could be for you. You can also apply if you have recently created an independent, excellent research team and want to strengthen it.

Researchers of any nationality with seven to twelve years of experience since the completion of their PhD, a scientific track record showing great promise, and an excellent research proposal can apply. The call is expected to open at the end of September.

The European Research Council-funded Advanced Grant "Deep Culture - Living with Difference in the Age of Deep Learning" invites an application for a PostDoc position. Collaborating with PhD students and other PostDocs, the aim is to realise an ambitious interdisciplinary research agenda on deep learning and culture. We are looking for a talented, ambitious PostDoc candidate who can combine independent research with team collaboration. You will have the opportunity to explore exciting questions of contemporary digital culture and deep learning and contribute to shaping debates about our relations with AI technologies.

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).

Would you like to contribute to rethinking how deaf people access essential services through technology, especially Augmented Reality, with key national partners in the Netherlands?

The Danish Data Science Academy invites applications for PhD and Posrdoc fellowships for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. 

Applications can be within any field of data science aligning with the DDSA research scope, including, but not limited to, algorithms research within data science and AI and applications of data science or computer science to other areas in natural, technical, or life sciences. The positions will be awarded to the most promising candidates according to their scientific qualifications, motivation, and engagement, as well as the quality, originality, relevance and potential impact of the proposed project. It is a requirement that the applicant has a well-defined research project proposal as well as an agreement with a principal supervisor at a Danish university.

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 Center for Mind/Brain Sciences ( CiMeC[/b] ) is looking for a Tenure Track Researcher (RTT)[/b] in Information Processing Systems (IINF-05/A).

CiMeC offers a world-class, interdisciplinary environment bridging Artificial Intelligence[/b] , Computational Linguistics[/b] , Psychology[/b] , and Cognitive Neuroscience[/b]. This is a unique opportunity to work at the intersection of human cognition and machine intelligence.

Applications are invited for two PhD positions at the Faculty of Philosophy, Ludwig-Maximilians-Universität Munich.

The two doctoral fellows will be part of a new project group that will be devoted to the logic of epistemic reasons (reasons for beliefs) and of practical reasons (reasons for actions). The project will deal with questions, such as: How can we logically analyze the reason-for relation? Which general laws does that relation obey? How can reasons relate to each other logically? How does the logic of reasons relate to other logical or formal systems?

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.

Applications are invited for two Postdoctoral Fellow positions at the Faculty of Philosophy, Ludwig-Maximlians-Universitaet Munich.

The Chair of Logic and Philosophy of Language (Professor Hannes Leitgeb) is devoted to the study of questions and problems in philosophical logic and philosophy of logic, philosophy of language, formal epistemology and metaphysics, general philosophy of science, philosophy of mathematics, philosophy of cognitive science, and the history of logical empiricism.

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. 

 

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:

• Formal methods (e.g., concurrency, automata, or temporal/spatial logics, etc) or discrete control (e.g., planning, supervisory control, or controller synthesis, etc.)
• Verification tools such as Model Checkers, Synthesis Engines, etc.
• Prior experience in combining reinforcement learning with reactive synthesis and/or control is a plus.

 

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. 

The Institute of Computer Science of the Czech Academy of Sciences in Prague is advertising a postdoctoral position, to join the Czech Science Foundation project Model theory, structural combinatorics, and algorithms, led by Samuel Braunfeld. Expertise in model theory alone (or combinatorics alone) is fine.

The anticipated start date is in the fall of 2026 (negotiable), and would provide funding until the end of 2028. Applications received by January 16, 2026 will be guaranteed full consideration, but later applications will continue to be considered until the position is filled. 

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. 

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.

 

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.

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.

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:

• A proposal for a DEON-related theme for the 2027 edition;
• The names of the members of the organizing committee;
• Possible or intended dates of the conference;
• The intended venue, with a description of available rooms and facilities and a plan to make the conference hybrid (in-person and virtual), including recordings;
• Plans for additional or co-located events, if any;
• An initial rough budget, including the intended registration fees and funding sources.