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.
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.
For those interested in presenting their work, please send Nina and Matteo a 200-word abstract and a title by 15 November 2026, to ninalaura.poth at ru.nl and M.Colombo at tilburguniversity.edu. Earlier submissions are very welcome.
Presenters will be notified by 22 November 2026 and the final programme of the workshop will be announced in early December 2026.
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.
Submissions of abstracts (not more than 300 words excluding references) should be submitted as pdf documents by sending them to awpl_2027_organizer at googlegroups.com with the subject line Submission AWPL 2027. Full versions of selected papers will be published in an edited volume in the Logic in Asia series after an open call for papers.
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).
Welcomed are papers and symposia from across all areas of logic, philosophy of science, and philosophy of technology. The aim is to feature presentations from across the wide array of topics pertaining to our fields, from mathematical logic to metaphilosophy, from the foundations of the exact sciences to philosophy of the humanities and social sciences, from philosophy of technology to historical perspectives on the sciences, presented by researchers from around the world. CLMPST is particularly enthusiastic about proposals that reach across disciplines, that incorporate speakers from different countries or regions, that explore public engagement and/or social implications of academic work, or that reflect on relationships and contributions of different knowledge systems.
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.
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.
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 Program Committee cordially invites all researchers, European and non-European, to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2027. Papers submitted to the conference proceedings should represent original work, not simultaneously submitted to another journal or conference with formal proceedings. Accepted papers will be published as a proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.
Additionally, the PC invites researchers to present informal presentations of their recent work. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2027 may appear or may have appeared in other conferences with formal proceedings and/or in journals.
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.
Invited are contributions on any relevant aspects of logical systems (including many-valued, fuzzy, substructural, modal, and quantum logics), in particular: Proof theory and computational complexity; Algebraic semantics and abstract algebraic logic; First-order, higher-order, and modal formalisms; Applications and foundational issues; Geometric and game theoretic aspects.
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.
These include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty; bounded rationality and resource-bounded reasoning; commonsense epistemic reasoning; epistemic logic; epistemic game theory; knowledge and action, applications of reasoning about knowledge and other mental states; belief revision; computational social choice; algorithmic game theory; and foundations of multi-agent systems.
Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications.