CLMPST is the premier forum on Logic, Methodology and Philosophy of Science and Technology. Its aim is to bring together active researchers in this broad field. CLMPST has a long history — it started in 1960, and has been held every four years since then in capital cities and/or by leading university centres in this field. Recent previous CLMPST Congresses were held in Buenos Aires (2023), Prague (2019), Helsinki (2015), Nancy (2011), and Beijing (2007).

This is an announement of a one-day workshop at Tilburg University organized in collaboration with the OZSW on the theme of learning and reasoning in humans, animals, and machines, broadly construed. The aim is to bring together junior researchers from across the Netherlands working in philosophy of cognitive science, philosophy of science, and related areas to share their research, exchange ideas with peers and build research connections across different areas and approaches to this theme. 

Registration for participants consists in sending a short e-mail (e.g., “I would like to participate”),  by 15 December, to M.Colombo at tilburguniversity.edu.

AWPL is a series of events initiated by a group of Asian logicians. Its first installment 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.

CiE is the annual conference of the Association Computability in Europe, a European association of mathematicians, logicians, computer scientists, philosophers, physicists, and other researchers 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.

The 2027 edition will be co-located with the AUTOMATA conference.

The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.

The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. 

The meeting welcomes researchers and students interested in category theory and its connections with logic, computer science, algebra and topology. Registration is free. Submission deadline is 29 October, and registration closes on 5 November.

The 26th Trends in Logic international conference is organized by the chair of Philosophy of Logical Analysis at the Graduate School of Information Sciences at Tohoku University. Trends in Logic is the conference series of the journal Studia Logica.

This year's edition of the conference series will be dedicated to recent developments in non-classical logics, non-classical mathematics and related philosophical questions.

The Dutch Association for Logic and Philosophy of the Exact Sciences is pleased to announce its 2026 Logic at Large Lecture. Professor Susanne Bobzien (Oxford and Princeton) will deliver a lecture entitled 'Stoic Propositional Logic — more relevant than you think'.

The event will be held online and is open to all. No registration is required, simply join via this Zoom link: https://uva-live.zoom.us/j/68948380418.

icSoftComp2026 is the 8th comprehensive soft computing conference dealing with all aspects of soft computing. It is a leading international opportunity for AI (in general) and soft computing (in particular) professionals and users to investigate innovative ideas and outcomes, and to exchange experiences on various aspects of soft computing.

Founded in 2016, the G10 Festival is one of the most special “think festivals” in Europe. Speakers are selected for their distinctive approach to unconventional thinking.

The Systematicity Argument tells us that there must be symbols (“concepts”) inside agents who display linguistic capacities: the argument has been enormously influential in Philosophy, Linguistics, Cognitive Science, and now in AI, but is the argument a good one?
Invited Speakers: D. Rothschild (UCL), M. Lewis (ILLC, UvA), S. Gerlek (ASCA, UvA).
Applications are welcome from Master and PhD students.

The workshop will take place before the 2026 Amsterdam Colloquium, which interested participants are also invited to attend https://events.illc.uva.nl/AC/AC2026/.

Invited Speakers : Martha Lewis (UvA, ILLC), Daniel Rothschild (UCL), Selin Gerlek (UvA, ASCA)

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

With this year's edition, the Amsterdam Colloquium turns half a century old! To celebrate the 50th anniversary we will host a special session on The past and future of semantics: Before, at, and after the birth of the Amsterdam Colloquium. A history of the Amsterdam Colloquium can be found on the website of its Proceedings.

The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. 

With this year's edition, the Amsterdam Colloquium turns half a century old!  To celebrate the 50th anniversary we will host a Special Session on The Past and Future of Semantics. In addition to the general program and the special session, the 25th Amsterdam Colloquium will feature a workshop on Semantics and Non-classical Logics. The Colloquium will also include a poster session and an evening lecture by Prof. Nicholas Asher, jointly organised with the E. W. Beth Foundation.

ICLA 2027 is the 12th edition of the biennial conference organised by the Association for Logic in India (ALI). It serves as a forum that brings together researchers from a variety of disciplines in which formal logic plays a significant, and often foundational, role, including Mathematics, Computer Science, Philosophy, Linguistics, and Cognitive Science. A distinctive feature of ICLA is its inclusion of research on systems of logic in the Indian tradition, as well as historical studies of logic.

Logic and the philosophy of mathematics are central and foundational sub-disciplines in philosophy. However, graduate students working in these areas often struggle to find access to forums in which they can discuss their work with peers. The aim of this conference is to provide graduate students working in these and related areas with such a forum.

Additionally, the conference has been co-founded by the ILLC's own Luca Incurvati!

The ILLC, in cooperation with the Groupe d'Analyse et de Théorie Economique (GATE) at the Saint-Etienne School of Economics, will host the 5th Amsterdam/Saint-Etienne Workshop on Social Choice on 4-5 March 2027 at the University Library in the centre of Amsterdam. Everyone working in the field, including students, is very welcome to join.

Participation is free but prior registration is required (deadline: 12 February 2027).

The conference topics include Universal Algebra, Connections with Model Theory, Clones, Lattices, Categories, Semigroups, Applications, e.g., in Computer Science and Classical Algebra.
The programme will consist of six invited plenary lectures of one hour, as well as contributed talks of about 20 minutes held in up to three parallel sessions. All participants are welcome to give a contributed talk.

The conference will be held in honor of Reinhard Pöschel's 80th birthday.

ETAPS, established in 1998, is a confederation of four annual conferences with satellite workshops and one of the world's leading fora for research on software science. In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software sciences, a PhD mentoring workshop, sessions on diversity, equity, and inclusion, and an ask-me-anything session.