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.

To celebrate the birthday of our emeritus professor, Peter van Emde Boas, the ILLC is organizing an event with his former colleagues and coworkers discussing his academic achievements of the last 40 years.

Sonja Smets presents work on the use of logic to study social influence and herd behavior in epistemic social networks.

Can we imagine a world in which computability is built-in into the very fabric of reality? The answer is a resounding yes. However, it took us almost 40 years to get the first detailed picture of such a world. Our speakers will give you a scenic tour around worlds of computability. They will introduce the relevant concepts and discuss the many amazing properties of such worlds. The symposium marks the retirement of Jaap van Oosten and will be conducted in English.

Invited speakers: Andy Pitts (University of Cambridge), Andrej Bauer (University of Ljubljana), Sebastiaan Terwijn (Radboud University) and Jaap van Oosten (Utrecht University),

For this session, we will answer the title’s question with the short and sweet: John P. Burgess’s Why I Am Not a Nominalist, a broad overview against various forms of nominalism.

Burgess responds to nominalist attempts to dispense with abstract objects in mathematical and scientific discourse, challenging both instrumentalist and reconstructionist forms of nominalism, among others; arguing that they fail to provide a viable alternative to the standard use of mathematics in science. He maintans that nominalism, rather than Platonism, bears the real “burden of proof”. His critique adresses Goodman, Quine, and Field, among others.

In this talk, we outline an approach to cut-elimination for full second order arithmetic using a modified form of the Buchholz Omega-rule. The usual Buchholz Omega-rule is a rule branching over ("small") deductions; this method works for systems around the strength of Pi11-comprehension, but breaks down approaching Pi12-comprehension.

We describe an extended sequent calculus in which the cut-elimination functions can themselves be represented by non-well-founded deductions. The Omega-rule can then be reinterpreted as a rule which takes a function as a premise. The extension to Pi12-comprehension then requires us to work with functionals---that is, functions on functions---and iterating through the finite types extends the method to full second order arithmetic. We will also briefly describe how to assign "ordinals" to non-well-founded deductions to extract an ordinal analysis from the cut-elimination algorithm.

For our first session of 2025, we will engage with Robin Jeshion’s Intuiting the Infinite. He defends Charles Parsons’ Kantian appeal to mathematical intuition to address the access problem of Platonism: If mathematical objects are abstract objects, how can we gain knowledge of them?

Jeshion argues that intuition plays a fundamental role in justifying our knowledge of the infinitude of natural numbers, responding to key criticisms about the cogency of arbitrary objects, vague representation, and the role of spatial and temporal structures in mathematical thought.

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.

Recent neural approaches to modelling language and concepts have proven quite effective, with a proliferation of large models trained on correspondingly massive datasets. However, these models still fail on some tasks that humans, and symbolic approaches, can easily solve. Large neural models are also, to a certain extent, black boxes - particularly those that are proprietary. There is therefore a need to integrate compositional and neural approaches, firstly to potentially improve the performance of large neural models, and secondly to analyze and explain the representations that these systems are using. In this talk I will present results showing that large neural models can fail at tasks that humans are able to do, and discuss alternative, theory-based approaches that have the potential to perform more strongly. I will give applications in language, reasoning, and vision. Finally, I will present some future directions in understanding the types of reasoning or symbol manipulation that large neural models may be performing.

On 11 February, we will have a day of presentations by Master of Logic students who have recently completed an individual reading project on an advanced topic in Set Theory.

All interested students and staff members are welcome to attend, see details below.

This workshop will take place as part of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025). It brings together researchers who are working on topics at the intersection of learning and logic, ranging from the logical foundations of learnability and computational learning theory to logical analyses of machine learning models and applications of machine learning in knowledge representation and reasoning.

The workshop will consists of 5 invited talks and 10 contributed talks.

The Logic Mentoring Workshop (LMW) will introduce young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject.

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 2025 will be held on the 10th–14th of February 2025 and is organised jointly by the TCS group at the Vrije Universiteit Amsterdam and the ILLC.

Two workshops are co-located with CSL, and will take place on Monday, February 10: the 12th Logic Mentoring Workshop (LMW@CSL 2025) and the Workshop on Learning and Logic (LeaLog@CSL 2025).

The goal of this event is to explore possible applications of the results of the Nihil project in AI and related areas. After presentations of the project results, the AI advisors will give their feedback, suggestions and recommendations.

Humanity has developed many different ways to communicate mathematics, ranging from the very intuitive to the rigorous and precise. In this talk I will explore how we communicate mathematics. Using various examples, I will explain how formal proof languages and computers can enhance the mathematical ecosystem, thereby allowing us to expand the ways in which we practice mathematics.

This seminar will delve into the role of AI in film, exploring its application in both creative production and critical study.

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.

On January 24, 2025, Francesca Poggiolesi will hold the third talk in the seminar series “Women in Logic Online”!
Abstract:
Since the time of Aristotle, a distinction has been recognized between proofs that merely establish the truth of a theorem and those that provide an explanation by revealing the reasons why the theorem is true. While the former have been rigorously formalized in the ground-breaking work of Gentzen, the latter—despite being explored by eminent thinkers such as Leibniz and Bolzano—have not been subjected to systematic analysis. Recently, however, explanatory proofs have garnered increasing attention in philosophical discourse. The central question driving this debate is: _What makes a proof explanatory?_ Specifically, what features endow certain proofs with their explanatory power? In this talk, we aim to address this question through a logical formalization that leverages two pivotal tools of proof theory: the formalism known as _deep sequents_ and a systematic method for transforming _axioms into rules_. The results presented are partly based on a joint work with E. Pimentel (UCL, London).

This months episode of Talk That Science will feature special guest Erik Stei, Assistant Professor (Universitair docent) at Utrecht University working mainly in the philosophy of logic, in the philosophy of language, and in epistemology and the philosophy of science.

Marco Scarsini (Luiss University, Rome) will be visiting us from January 16-17, 2025 and give a talk at CWI on Thursday, January 16, 11:00-12:00, room L016.

Explainable artificial intelligence (XAI) is a mainstay of trustworthy AI. Recent years have witnessed massive efforts towards delivering some sort of XAI solutions. Most of these efforts are based on non-symbolic methods, and invariably will produce erroneous results. As a result, even if the predictions of a machine learning model could be trusted, the lack of reliable explanations will also make those predictions unworthy of trust. This talk provides a brief glimpse of the emerging field of logic-based explainable AI, a rigorous alternative to the still widely-used but extremely problematic non-symbolic methods.

Register for free at: https://tuwien.zoom.us/webinar/register/WN_msQDcDJbRfWQOUwdIDqzGQ

Model explainability has become an important problem in artificial intelligence (AI) due to the increased effect that algorithmic predictions have on humans. Explanations can help users understand not only why AI models make certain predictions, but also how these predictions can be changed via counterfactual explanations. Given a data point and a trained model, we want to find the minimal perturbation to the input such that the prediction changes. We frame the problem of finding counterfactual explanations as a gradient-based optimization task and first focus on tree ensembles. We then extend our method to accommodate graph neural networks (GNNs), given the increasing promise of GNNs in real-world applications such as fake news detection and molecular simulation.

On the occasion of World Logic Day, January 14, 2025, the DLMPST Commission on Logic Education invites you to a webinar by Professor Moshe Vardi.

The International LORI conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series also aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

Invited speakers: Zoé Christoff (University of Groningen),Tim French (University of Western Australia), Aybüke Özgün (University of Amsterdam), François Schwarzentruber (ENS Lyon), Marija Slavkovik (University of Bergen) and Hongjun Zhou (Shaanxi Normal University, Xi’an)

The European Conference on Argumentation (ECA) is a biennial pan-European initiative aiming to consolidate and advance research on argumentation. After four successful editions, ECA will be hosted in 2025 by the Warsaw University of Technology, in Warsaw, Poland. We aim to attract scholars on argumentation worldwide from various disciplines, dealing with a range of themes and adopting a variety of approaches.

The special theme of this conference is Argumentation in the Digital Society. The main objective of the conference is to identify the key research areas related to the dynamics of change and development in today's digitised society. There is a need to develop the theoretical tools of argumentation and related disciplines that allow discussion and argument to be founded on trust, charity, and goodwill. The conference aims to explore these topics and ensure a high-quality exchange of research results.

The ECA 2025 summer school organized by Barbara Konat and Leonard Kupś (Faculty of Psychology and Cognitive Sciences) will take place at Adam Mickiewicz University, in Poznań, Poland, before the ECA conference, from 17th to 20th September 2025. The summer school allows Early Career Researchers to explore current methods in the empirical analysis of natural language argumentation. This includes a variety of topics such as formal and informal logic, erotetic logic, computational approaches, conversation and discourse analysis, and experimental methods in psychology with a strong focus on practical, hands-on analysis.

The Fifteenth International Tbilisi Symposium on Logic, Language, and Computation will be held September 8-12, 2025 in the country of Georgia. The programme will include two plenary tutorials, four plenary invited lectures and two parallel tracks of contributed talks. In addition, there will be two topical workshops.

Tutorial speakers:
  - Language: Milica Denić (Tel Aviv University)
  - Logic & Computation: Thomas Icard (Stanford University)
Invited speakers:
 - Language: Maria Aloni (University of Amsterdam), Sarah Zobel (Humboldt University Berlin
 - Logic & Computation: Mikolaj Bojanczyk (University of Warsaw), Mai Gehrke (Universite Cote d’Azur)

FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology. Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web.

FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology.

We are pleased to announce the Workshop on Truthmaker Semantics and Modal Logic, organized by Alessandro Giordani and Vita Saitta. The aim of this workshop is to present current studies on the application of Truthmaker Semantics to modal logic. Discussions will include the philosophical analysis and the logic of modalities, such as necessity, possibility, obligation, permission, and knowledge. Additionally, the workshop will explore relationships with prominent semantic approaches to modal logic, including Possible Worlds, Neighborhood, and Topic-sensitive semantics.

CoNLL is a yearly conference organized by SIGNLL (ACL's Special Interest Group on Natural Language Learning). This year, CoNLL will be colocated with ACL 2025. The focus of CoNLL is on theoretically, cognitively and scientifically motivated approaches to computational linguistics, rather than on work driven by particular engineering applications.

CADE is the major international forum for presenting research on all aspects of automated deduction. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions. 

CiE (Computability in Europe) is a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Computability in Europe 2025 "Crossroads of Computability and Logic: Insights, Inspirations, and Innovations" will feature two Tutorial Speakers, 6 Invited Speakers, 6 Special Sessions and the Women in Computability program.

ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense. ECOOP was originally focused on object orientation, but now includes all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions to real problems as well as evaluations of existing solutions.

The event The Syntax and Semantics of Formalisations in Philosophy aims to explore the relationship between formal methods and philosophical inquiry, focusing on the challenges, debates, and implications of formalising philosophical concepts.

The conference will feature four keynote talks and eight contributed presentations mainly across three main topics: 1. The Feasibility and Challenges of Formalising Philosophy, 2. Pros and Cons of Using Formalisations in Philosophy, and 3. Conceptual Pluralism and Choosing the Right Formalisation.

The Heidelberg Graduate School for Social Sciences and Humanities (HGGS) is hosting its annual Summer Forum 2025 on Friday, June 27, 2025. This interdisciplinary forum provides a platform for researchers to share their work, ideas, and experiences from a variety of perspectives, foster collaboration across institutions and disciplines, and engage in meaningful dialogue.

The BLESS conference is devoted to the application of formal tools (logical and mathematical) to issues related to actions of individuals and groups of people. The conference's subject is the problem of formalization of inference about actions, knowledge and beliefs of individuals or groups. Papers focused on formal methods are especially welcome.

APPSA 2025, in joint collaboration with LMPST Taiwan 2025, is an international forum that brings together scholars from Asia and beyond. These conferences are designed to foster communication and collaboration among scholars working in diverse areas of the philosophy of science, the philosophy of technology, and logic. Featuring keynote talks, contributed talks, and poster sessions, this conference aims to advance the Asian tradition in the philosophy of science, the philosophy of technology, and logic, and support high-quality research in these fields. By promoting rigorous academic exchange and interdisciplinary dialogue, this conference seeks to contribute significantly to the global development of philosophical inquiry and practice.

Keynote Speakers: Michela Massimi, Sabina Leonelli, Timothy Bayne.

Established in 2016 as a workshop hosted by Zhejiang University, the CLAR series has been increasingly successful and become an international event and discussion forum in the two areas of logic and argumentation. Our aim for CLAR 2025 is to be a platform for the advancement of the existing discussions within each of the areas above, to span bridges between their different traditions, and finally to open argumentation to new applications and other areas in artificial intelligence, such as legal reasoning, explainable AI, ethical dilemmas, reasoning about uncertainty and knowledge representation, etc.

The European Digital DemocracY network (EDDY) aims to bring together academics and practitioners actively working on or with digital democracy, to foster collaboration and knowledge exchange. After a very successful first edition, EDDY is proud to announce its second in-person conference, 'Digital Democracy: Bridging Theory and Practice' (EDDY2025), taking place at the University of Paris 1 Panthéon-Sorbonne, France, on the 12th and 13th of June, 2025.

The event will feature contributed talks through an open call (see below), a range of social and interactive sessions (networking, round-table discussions, demo sessions, etc.), and a variety of academic and non-academic keynote speakers, including Umberto Grandi (Professor of Computer Science at the University of Toulouse), Carolina Romero Cruz (co-founder and project manager at Decidim), and Simone Vannuccini (Junior Professor of Economics at Université Côte d'Azur).

On 12 June 2025, the Language Learning Resource Centre (Leiden University) is organizing a one-day conference on the topic of Language Awareness in the Language Classroom. The keynote will be held by Dr. Agneta Svalberg (Leicester University).

This is the first a recurring series of events hosted at the new University of Chicago campus in Paris, aiming to bring together American and European researchers working at the intersection of logic, philosophy, and mathematics. The conference will be held in English.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced technologies to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant critical systems. 

Topics of Interest
* Advances in Formal Methods
* Integration of Formal Methods
* Formal Methods in Practice

The SILFS Postgraduate Conference 2025 will take place in Turin on 11-13 June 2025. It is organized jointly by the Italian Society for Logic and Philosophy of Science (SILFS) and members of the Center for Logic, Language and Cognition (LLC) at the University of Turin.

The conference will feature six keynotes and two parallel sessions for contributed papers in logic and philosophy of science. The conference language is English.

The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights.

ICGT aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas.

The Computational Models of Narrative (CMN) workshop series is dedicated to advancing the computationally-grounded scientific study of narrative, a crucial aspect of human experience used for communication, persuasion, explanation, and entertainment.

Narrative, or storytelling, is a symbolic activity that imitates human actions through emplotment, representing discordant events through concordance. From myths to histories, narratives are ubiquitous across time, making understanding narrative intelligence essential to comprehending human intelligence. Systems for narrative analysis and production are increasingly embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. In order to appreciate this influence, it is becoming increasingly clear that research must address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels, from the philosophical and cognitive impact of narratives to our ability to model narrative responses computationally.

The Institute of Philosophy of the Czech Academy of Sciences announces 'LOGICA 2025', the 37th in the series of international symposia devoted to logic, to be held in Hejnice, Czech Republic, from Monday 12 May to Friday 16 May 2025

Invited speakers: Nina Gierasimczuk (Danish Technical University), Hans Rott (University of Regensburg), Rineke Verbrugge (University of Groningen), Albert Visser (Utrecht University).

The Brazilian Logic Conference (EBL) is the main event organized by the Brazilian Logic Society (SBL) and has been occurring since 1979. The EBL congregates logicians from different fields and the meeting is an important moment for the Brazilian and South-American community to come together and engage in a discussion about the state of the art of their subject. The areas of Logic covered span Foundations and Philosophy of Science, Mathematics, Computer Science, Informatics, Linguistics, and Artificial Intelligence. The goal of the EBL meeting is to encourage the dissemination and discussion of research papers in Logic in a broad sense. It is expected to have among the participants several invited speakers from different continents.

In 2025, the 21st edition of EBL will be held from May 12 to May 16 at the city of Serra Negra, São Paulo State, preceded by the Logic School from May 9 to May 11 at São Paulo City.

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 2025 is the twenty-eighth 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

The Dutch Special Interest Group (SIG) on Algorithms and Complexity invites all researchers from the field to attend the Algorithms track at ICT.Open on April 16th, 2025. The track will feature invited talks and a poster exhibition, on a wide range of algorithmic research.

The BCTCS is an annual event for UK-based researchers in Theoretical Computer Science to present their research and discuss future directions. The meeting aims to provide an environment in which PhD students can gain experience in presenting their work, to broaden their outlook on the subject, and to benefit from contact with established researchers. The scope of the colloquium includes all aspects of Theoretical Computer Science, including Algorithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.

We will have the following invited speakers: Elizabeth Polgreen (Edinburgh), Nicolai Kraus (Nottingham), Jess Enright (Glasgow), Jakub Oprðal (Birmingham), Conor McBride (Strathclyde) and  Rob van Glabeek (Edinburgh).

Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.

Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen

STACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.

The conference includes talks by invited speakers Daniel Dadush (CWI Amsterdam), Anupam Das (University of Birmingham) and Susanna F. de Rezende (Lund University), and a tutorial by Albert Atserias (UPC Barcelona) on "Proof complexity and its relations to SAT solving".

We invite junior scholars (up to 3 years after PhD graduation) to send papers to be considered for a Routledge collection on the philosophy of logic.

The central purpose of this collection is to offer a venue for young philosophers to present their ideas and contribute to shaping the debate going forward. Philosophy of logic constitutes one of the founding disciplines of the analytic tradition. In the past two decades, there have been a number of exciting developments in the field, creating new trends that go beyond traditional debates. This collection will showcase research further developing these trends. Edited collections tend to focus on the work of well established scholars and, as such, they tend to emphasize what has been said in the past. This collection instead focuses on new cutting edge research that will shape the debate in the future. It will contain some articles from established scholars providing a frame for articles authored by junior scholars, which will be the core of the collection.

Editors: Daniele Bruno Garancini (danielebrungarancini at ln.hk) and Teodor-Tiberiu Călinoiu (teodortibericalinoiu at ln.hk). For further information, interested scholars can contact Teodor (teodortibericalinoiu at ln.hk), with email subject “Recent Advances in The Philosophy of Logic.”.

Kuwait University will hold its inaugural symposium in logic on February 18 th and 19th of 2025.

Keynote speakers: Graham Priest (CUNY Graduate Center), Gillian Russell (Australian National University), Suki Finn (Royal Holloway University of London) and Eduardo Barrio (University of Buenos Aires),

The Zagreb Logic Conference is an event that gathers researchers from the discipline of logic and various connected fields. This is the third installment of the conference, which was first held in January 2023 on the occasion of World Logic Day. The conference will be held from February 14 to February 17, 2025, at the Department of Mathematics, University of Zagreb, and will be held exclusively in person. Each talk will be allocated a slot of 25 minutes, plus an additional 5 minutes for discussion.

Invited speakers: Patricia Blanchette (University of Notre Dame) Murdoch James Gabbay (Heriot-Watt University).

We are delighted to announce that the conference "Recent Trends in Logic and Game Theory", jointly organised by MSE and ISI Chennai, will be held at Madras School of Economics, Chennai, from 11th-12th February 2025. This conference aims to bring together experts, researchers, and enthusiasts in the fields of logic and game theory to discuss recent advancements and foster collaboration.

The 7th Asian Workshop on Philosophical Logic will be held on 6-8 February 2025 at the Department of Philosophy, Jadavpur University, Kolkata, India.  The Asian Workshop on Philosophical Logic (AWPL) is a series of events initiated by a group of Asian logicians. Its first instalment took place at JAIST in Japan in 2012. 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.  AWPL 2025 will happen just after ICLA 2025, which would be held at Indian Statistical Institute, Kolkata, India, during February 3-5, 2025. The Association for Logic in India (ALI) will be a co-organizer for this workshop.

Topics of interest include (but are not restricted to): Algebraic logic; Chinese logic; Constructive logic; Decision Theory; Formal epistemology; Game Theory; Greek logic; Indian logic; Inductive logic; Logics of belief change; Logics of conditionals; Modal, temporal, epistemic and deontic logics; Nonmonotonic logics; Relevance and other non-classical logics; Philosophy of language; Philosophy of mathematics; Philosophy of Science; Proof Systems, Quantum logic; Vagueness; as well as their applications in: Artificial Intelligence, Cognitive Science; Computer Science; Law; Linguistics; Mathematics; Social Sciences.

The Indian Conference on Logic and its Applications (ICLA) is the primary conference of the Association for Logic in India (ALI). It is a forum for bringing together researchers from a variety of fields in which formal logic plays a significant and often foundational role: Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic. Details of the previous ICLA 2023 can be found at https://icla2023.iiti.ac.in, and those of the earlier editions of the conference at the ALI website.

The upcoming ICLA 2025 is the 11th edition of the conference and will take place at the Indian Statistical Institute (ISI) Kolkata during February 3 -- 5, 2025.

Following the successful 2022 and 2023 editions of the Workshop DaLÌ - Dynamic Logic: New trends and applications, it is our pleasure to announce the possibility of publishing work on Dynamic Logic in the upcoming Special Issue of Journal of Logic, Language and Information. Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 30 pages (excluding references) are invited on the general field of dynamic logic, its variants, and applications

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

CPP 2025 will be held in January 2025 and will be co-located with POPL 2025 in Denver, Colorado, United States. The CPP 2025 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2025 organizers.

We are organizing a one-day online workshop to commemorate World Logic Day 2025 (which is actually a day before this event). Registration is free of charge and everybody is welcome to attend.

This series of events began with the theme of foundations in the context of automated theorem proving: What are the chances and problems of the act of formalization in the context of mathematics? After three years on the topic, we have realized that this context is too narrow to understand formalization and thus we have we added a yearly theme (although not all talks are necessarily aligned with it). This year we focus on ethical perspectives: Are there ethical aspects of the practices of formal sciences (including math), which role play formal arguments in politca  contexts, what about aspects of ethical AI ...

Speakers: Jordi Fairhurst (UIB), Seunghyun Song (Tilburg University), Robert Naylor (Manchester), Colin Rittberg (Vrije Universiteit Brussels) and Aleksandra Vuèkoviæ (Belgrade).

The Australasian Association for Logic is hosting a Southern Summer Logic Day to celebrate the UNESCO World Logic Day. The event will take place on Zoom, and feature talks by Phokion Kolaitis (Keynote), Rob Goldblatt, Nick Smith, Ed Mares and Valentin Goranko (Keynote).

UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.

The coordination of World Logic Day 2023 is -- for the 5th time -- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST. We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2025 to celebrate this day. We have learned over the last years that online meetings are easier to finance, better for the environment, and considerably more inclusive. So consider both in person and online events. Events will be listed on the CIPSH website.

Principal Investigators of ongoing or recently ERC funded projects can apply for a ERC Proof of Concept grant. This grant aims at facilitating the exploration of the commercial and social innovation potential of ERC funded research. PIs can apply for up to € 150.000 for a period of up to 18 months. The next deadline for submissions is 13 March 2025. The second round will close on 18 September 2025.

The SSH Open Competition XS Call for proposals is specifically intended to encourage curiosity-driven and innovative research that involves the relatively rapid exploration of a promising idea. 

The NWO Domain Social Sciences and Humanities (SSH) has three different funding programmes in the Open Competition. These grants are for ideas that hold great promise (XS) and for large-scale grants (M, L). The SSH-XS grants are available for projects with a maximum budget of 50,000 euro to enable proposals for curiosity-driven, innovative research in the research fields covered by the NWO Domain SSH. The Call for proposals of 2025 has 3 rounds. This information concerns the first round. 

In January the call for the For Women in Science Fellowships 2025 will open. This programme is a collaboration between L’Oréal Benelux, NIAS-KNAW, the Dutch Network of Women Professors, NEMO Science Museum and the Netherlands Commission for Unesco. 

The prestigious programme offers women researchers in the Life Sciences or STEM disciplines with 3–10 years of post-PhD experience the opportunity to dedicate a semester exclusively to advancing their research. Hosted at NIAS-KNAW in Amsterdam, fellows will be able to work free from administrative, clinical, or teaching responsibilities, fostering significant progress in their work while engaging with an interdisciplinary academic community.

The call 'NWA Science Communication' funds science communication projects that aim to strengthen the connection between science and society. For example by offering new science communication concepts to target groups without obvious links with science.

The Dutch Society for Applied Linguistics (Anéla) and the 'Vereniging Interuniversitair Overleg Taalbeheersing' (VIOT) yearly award a prize for the best thesis in the fields of language acquisition, language teaching, or language use. The prize is awarded at the Juniorendag.

Do you have an innovative idea to tackle a societal challenge? Sign up for the Amsterdam Science & Innovation Awards 2025 (AmSIA) and stand a chance at winning €10,000 to develop your idea that contributes to a better world. The competition is open to researchers, PhD candidates, staff members and students.

The Amsterdam Institute for Humanities Research offers the Research Innovation and Sustainability (RIS) Fund that aims at supporting staff with research time in their career development and expanding their opportunities to conduct research. Through the RIS Fund staff can apply for a temporary increase of research time in order to have more time to write grant applications, or to finish one or more (substantial, strategic) publications so as to strengthen their track record for an upcoming grant application.

You can now submit nominations for the KHMW Dissertation Prize Interdisciplinarity 2025, honoring research with a distinctive interdisciplinary character that transcends the boundaries between the classical alpha/beta/gamma scientific domains. The €10,000 prize is intended as an encouragement for researchers who completed their Ph.D. between September 1, 2023, and August 31, 2024.
The prize, established since 2023 by the Dr. Elizabeth Schram-Mulley (ESM) Foundation, is awarded by the Royal Holland Society of Sciences. The foundation honors the memory of and manages the legacy of Dr. Schram-Mulley, who, as a publisher and benefactor, held research and education in high regard.

You can now submit submit nominations for the KHMW Keetje Hodshon Dissertation Prize for the Humanities, intended for research in the field of Language and Communication Sciences in 2025. The €10,000 prize is intended as an incentive prize for researchers who received their PhD in the period 1/1/2021 – 31/12/2024.

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. Extensions are possible. Consolidator Grants may be awarded up to €2 million for a period of up to five years. The deadline is 14 January 2025. The call is open as of 26 September 2024.

A PhD position is available in the Theoretical Computer Science Group of the Institute for Logic, Language and Computation, under supervision of Rebecca Reiffenhäuser. The position has a duration of four years. Its focus is on algorithmic research, encompassing topics like online algorithms, algorithmic game theory, fair allocation, and mechanism design.

The Philosophical-Theological College Brixen (PTH) in Bressanone/Italy is searching for a Researcher (24 months, fulltime employment) within the project “Climate, Plastics and Sustainability: Ontology and Operationalisation” (ClimOO), funded by the Autonomous Province Bolzano/South Tyrol. The successful applicant should take up the position on 2. June 2025 or as soon as possible thereafter.

In the subproject hosted at the PTH Brixen, we will help to analyse how climate and environmental impacts are defined in existing standards and good practices, and how climate change and (micro)plastic pollution in agriculture are operationalised. We will use these results to develop a reference ontology to integrate the data collected by the various methods identified.

The Department of Computer Science at Lund University invites applications for up to two PhD positions in theoretical computer science with focus on computational complexity and algorithms to be working in the research group of Susanna de Rezende. These are full-time employed positions employed positions (including travel money) that come with an internationally competitive salary.

Lund University is located in the Öresund area, which is offering one of the strongest and most exciting environments in computational complexity research in Europe. We have extensive collaboration with the University of Copenhagen (UCPH), the IT University of Copenhagen (ITU), and the Technical University of Denmark (DTU) on the other side of the Öresund Bridge.

Applications are invited for a Junior Group Leader / PostDoc in CompLing / NLP / CogSci at the University of Tübingen (Germany) in the group led by Prof. Dr. Michael Franke.
Details:
- 4 years
- salary scale E14 (100%, starting at ~ € 5100 gross per month)
- co-supervision of PhD students
- no teaching obligations (but the opportunity to teach)
- dynamic interdisciplinary team in one of Germany's top research universities, with access to competitive compute
- required profile:  PhD in a related field (CL, NLP, ML, CogSci, Ling …), practical and theoretical knowledge of current NLP (language modeling), and competitive research output

Additionally, there are open positions for a PhD and an Postdoc in CogSci/Pragmatics.

The School of Computer Science and Electronic Engineering at the University of Surrey, UK is seeking to recruit a full-time Senior Lecturer and a full -time Lecturer in Cyber Security to expand our team of dynamic and highly skilled security researchers. It is part of a strategic investment in cyber security. The Surrey Centre for Cyber Security (SCCS), within the School, has an international reputation in cyber security and resilience, with research excellence in applied and post-quantum cryptography, security verification and analysis, security and privacy, distributed systems, and networked systems.

For more information, see https://jobs.surrey.ac.uk/vacancy.aspx?ref=009325 and https://jobs.surrey.ac.uk/vacancy.aspx?ref=009425, or contact Professor Steve Schneider at s.schneider at surrey.ac.uk. 

KU Leuven is looking for two excellent PhD Researchers to strengthen Bart Bogaerts' research group on Knowledge Representation and Combinatorial Optimization, which is part of the Declarative Languages and Artificial Intelligence (DTAI) section of the department of Computer Science of KU Leuven.

There are two (related) positions. One succesful candidate will focus on *proof logging*, the other candidate on *explanations*.

The Danish Data Science Academy invites applications for postdoc and PhD fellowships for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. The postdoc call is at https://ddsa.dk/postdocfellowshipcall2025/ and the PhD call at https://ddsa.dk/phdfellowshipcall2025/, and the application deadline is March 5, 2025.

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.

Informal inquiries about opportunities in the Algorithms and Complexity Section at the University of Copenhagen are welcome and can be directed to Jakob Nordstrom or other faculty in the section. Please contact us as soon as possible if you are interested, so that there is enough time to talk about your research ideas and provide feedback on how to turn them into a successful DDSA proposal (and also do not forget the open PhD call at https://jakobnordstrom.se/openings/PhD-Lund-250117.html closing on January 17, 2025).

The University of Denver will be hiring 3 postdocs in Mathematics and one of the target areas is Algebraic Logic. The priority deadline is March 1. Interested researchers are encouraged to apply via MathJobs at https://www.mathjobs.org/jobs/list/26215.

The University of St Andrews and the University of Bonn are pleased to offer a scholarship funded by both institutions, to support an exceptional student undertaking doctoral research on a project 'Continuities and Discontinuities in Understanding the Origin of Mass,' starting in the academic year 2025/26.

Télécom SudParis is hiring an assistant/associate Professor (Maître de Conférences) in Computer Science.

Application deadline: February 21, 2025 Expected starting date: September 2025 (flexible). Location: Campus of Télécom SudParis, Évry, France.

The newly established research group in Formal Methods, led by TT-Prof. Emanuele D'Osualdo, is looking for motivated researchers to join our team at the University of Konstanz. We have openings for a PhD position (4 years, 100% TV-L E13) and a Postdoc position (2 years + ext,100% TV-L E13). Active topics are probabilistic programs verification through the Bluebell logic, and program logics and types for concurrency (separation logic, session types).

We are seeking to fill a three-year postdoctoral position as well as a fully funded, four-year PhD position on the Czech Science Foundation project "INTERACT: Interpolation, Amalgamation, and Computation," led by Dr. Wesley Fussner at the Institute of Computer Science of the Czech Academy of Sciences.

The project aims to develop a cohesive theory of interpolation across varying logical environments by reconciling proof-theoretic and algebraic approaches. The successful candidates will join the logic team at the Institute of Computer Science of the Czech Academy of Sciences and will conduct research on the themes of the project both independently and in collaboration with the PI and other project members.

Deadline: 15 january (postdoc) / 15 february (PhD).

A three-year postdoctoral position is open  in the project "Epistemic Group Attitudes" in the Logic and Theory Group of the Institute of Computer Science at the University of Bern. In this SNSF-funded project, we plan to develop and investigate new notions of group knowledge in multi-agent systems. The two classic forms of group knowledge are common knowledge and distributed knowledge. We will devise novel variants of these notions, which are important for distributed computing, and study their logical and mathematical properties.

The starting date is negotiable. The initial contract will be for 12 months . After initial evaluation, an extension is possible for an additional 24 months (3 years total). Candidates should hold or expect a PhD and have a strong background in logic.

Prof. Bart Bogaerts is looking for talented PostDocs to join the CertiFOX project, where we bring 100% correctness guarantees to tools for combinatorial optimization.

DTU (Technical University of Denmark) is offering a PhD scholarship in logic and AI within the research project Attention in Epistemic Planning. Your principal supervisor will by Thomas Bolander.

The project takes departure in epistemic planning based on dynamic epistemic logic (DEL), a line of research within symbolic AI initiated by the PI in 2011. It allows agents, e.g. robots, to reason about other agents, e.g. humans, as part of their planning process. The crucial novelty of the proposed project is to develop and integrate logical models of attention with the aim of 1) achieving better computational complexity and practical efficiency; 2) allow robots to reason about the limited attention of humans.

The Individual and Collective Reasoning Group (ICR), led by Prof. Leon van der Torre, is inviting applications for a PhD candidate position in Knowledge Representation and Reasoning.  

We are seeking candidates with a strong interest or background in one or more of the following areas: * Knowledge Representation and Reasoning * Foundations of Formal Argumentation * Deontic Logic and Normative Multiagent Systems * Applications of Formal & Computational Argumentation * Automated Formal & Computational Argumentation * Integration of Non-symbolic and Symbolic Techniques.

Details: * Contract Type: Fixed Term Contract 36 months, extendable by 1 year * Work Hours: Full Time 40.0 Hours per Week * Location: Belval * Internal Title: Doctoral researcher * Starting date: May 2025 (with flexibility) * Application deadline: January 31, 2025.

The Department of Computer Science at Reykjavik University invites applications for full-time, permanent faculty positions at any rank, in particular in the fields of data science, software engineering, theoretical computer science, as well as visual computing, games, and interactive media. We seek candidates passionate about advancing science through innovative research and teaching, with a strong commitment to interdisciplinary collaboration across industry and academia, as well as real-world applications.

There is a one year postdoctoral position at the University of Salento (Lecce,Italy) on the project Ethical Design for AI (eDefAI), funded by the EU, as part of the PNRR Project FAIR Spoke 6.

The research will be focused on the formalization of norms for fair and unbiased reasoning with data in AI. A particular focus will be given to norms that hinge on both epistemic and ethical aspects. The researcher will use formalisms either from the area of formal argumentation, or deontic logic or other non-classical logics. Competence in one or more of these areas is expected.

Please note that the call is only available in italian, but no knowledge of italian is required for the job. Furthermore, flexible working arrangements will be possible.

The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge. The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is negotiable, but should ideally be in August-September 2025 or earlier. All positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary.

The Open Universiteit is looking for a PhD student to work on formalising foundations for digital forensics. The project is part of a collaboration between the Dutch Forensic Institute (NFI) and the Open Universiteit. The student will be supervised by prof. Harm van Beek and dr. ir. Hugo Jonker. Applicants are expected to be fluent in either Dutch and/or English.

The Department of Computer Science at Lund University invites applications for a tenure-track assistant professorship in the foundations of computer science with a focus on logic and automated reasoning.

The assistant professor will be working at the Department of Computer Science, where research into the foundations of computer science is conducted by professors Susanna de Rezende and Jakob Nordstrom. Jakob Nordstrom leads the research group Mathematical Insights into Algorithms for Optimization (MIAO), which is also active at the University of Copenhagen.

This position focuses on algorithms for foundational problems within logic, automated reasoning, and combinatorial optimization. This includes design and implementation of algorithms for computational problems within Boolean satisfiability (SAT) solving, constraint programming, mixed integer linear programming, and/or satisfiability modulo theories (SMT) solving. In addition to algorithm construction, another topic of interest is to develop a scientific understanding of the practical performance of automated reasoning algorithms, and to investigate relations between empirical observations and theoretical results in algorithm analysis and computational complexity theory. Yet another related area concerns methods of ensuring that algorithms compute provably correct results, which can be used to develop trustworthy solvers for automated reasoning and combinatorial optimization.

The Department of Computer and Information Sciences at the University of Strathclyde in Glasgow seeks to appoint a Chancellors Fellow in Mathematically Structured Programming. We welcome applications from candidates with expertise in a range of topics in the mathematical foundations of computer sciences and applications, such as:

* Logic, including modal and temporal logic, model checking, and proof theory;
* Category theory, including categorical semantics, and applied category theory;
* Type theory and functional programming, including semantics, metatheory, and implementation;
* Formal and mechanised mathematics, including certified programming and the use and implementation of proof assistants.