The relationship between mathematics and social ontology is often guided by the question of the possibility of applying mathematics to social sciences, especially economy. As interesting as these questions may be, they neglect the inverse possibility of applying a conceptual analysis derived from social ontology to mathematics. The issue will be devoted to the question whether the distinction between social object and social fact, on the one hand, and between different theoretical approaches to the notion of social fact, can be successfully applied to mathematical practice.

All papers will be double-blind peer-reviewed. Submission is organized through TOPOI's online editorial manager. Papers should not exceed 8000 words (excluding notes).

This World Logic Day 2022 online event by the Peruvian Society for Epistemology and Logic will present ethnological, historical, philological, and similar approaches to the concepts and conceptions related to Logic and Mathematics.

Keynote lectures: Karine Chemla (Paris 7, FR), Ítala D’Ottaviano (Unicamp, BR), Caleb Everett (UMiami, USA), Evandro L. Gomes (Unicamp, BR), Manuel Medrano (St Andrews, UK), Graham Priest (CUNY, USA), Alejandro Secades (Filolab, UGR, ES) and Ivahn Smadja (Paris 7, FR).

The intended audience for the Winter School is advanced master students, PhD students, postdocs and experienced researchers new to the field in mathematics, computer science and philosophy. The winter school offers courses of various levels by the following experts in the field: Bahareh Afshari, Juan Aguilera , Anupam Das, Graham Leigh, Alexander Leitsch and Norbert Preining. The event will be attending-only and shall not be streamed online.The conference fee includes registation to the affiliated The Proof Society Workshop on Proof Theory and its Applications

The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion.

Confirmed speakers include Eduardo Fermé, David Fernández Duque, Stepan Kuznetsov, Fedor Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and shall not be streamed online.

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of the symposium will be on formal/rigorous techniques for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace during all stages of the software life-cycle.

The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California. The symposium is planned to be held in person at California Institute of Technology, but potentially transitioning to fully virtual if the COVID situation persists. Virtual presentations will be possible even if the conference is held in-person.

The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion.

Confirmed speakers include Eduardo Fermé, David Fernández Duque, Stepan Kuznetsov, Fedor Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and shall not be streamed online.

The workshop will bring together researchers on proof theory and its applications through a series of invited and contributed talks as well as panel discussion.

Confirmed speakers include Eduardo Fermé, David Fernández Duque, Stepan Kuznetsov, Fedor Pakhomov, Michael Rathjen, and Andrei Voronkov. The event will be attending-only and shall not be streamed online.

The objectives of this new international workshop are:
1. to bring together practitioners and researchers from academia, industry and research institutions who are interested in the foundations and applications of cognition from the perspective of their areas of expertise and aim at a synergistic effort in integrating approaches from different areas;
2. to nurture cooperation among researchers from different areas and establish concrete collaborations;
3. to present formal methods to cognitive scientists as a general modelling and analysis approach, whose effectiveness goes well beyond its application to computer science and software engineering.

Keynote speaker: Martin Davis (New York University, USA) on "The Brain As a Computer".

The 21st Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from December 6-December 8, 2021 under the title 'Frontiers of connexive logic'. It is organized by the chairs of Logic and Epistemology and Nonclassical Logic at the Department of Philosophy I of Ruhr University Bochum, in co-operation with Studia Logica.

Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, after six annual workshops, the Trends in Logic XXI aims at discussing directions for future research in connexive logics.

The 21st Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from December 6-December 8, 2021 under the title 'Frontiers of connexive logic'. It is organized by the chairs of Logic and Epistemology and Nonclassical Logic at the Department of Philosophy I of Ruhr University Bochum, in co-operation with Studia Logica.

Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, after six annual workshops, the Trends in Logic XXI aims at discussing directions for future research in connexive logics.

The 21st Trends in Logic international conference will be held at Ruhr University Bochum, Germany, from December 6-December 8, 2021 under the title 'Frontiers of connexive logic'. It is organized by the chairs of Logic and Epistemology and Nonclassical Logic at the Department of Philosophy I of Ruhr University Bochum, in co-operation with Studia Logica.

Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, after six annual workshops, the Trends in Logic XXI aims at discussing directions for future research in connexive logics.

The relationship between mathematics and science continues to be of considerable philosophical interest. Within contemporary philosophy of science, for example, pinpointing the exact role of mathematics in the sciences remains a hotly debated issue. Does mathematics play a mere inferential role in that it allows for the derivations of one substantial truth from another or is mathematics more than a 'theoretical juice-extractor'? Are there distinctive mathematical explanations of physical phenomena? Similar questions can be asked about the role of logic in science.

These issues connect with discussions within the philosophy of mathematics (and the philosophy of logic) concerning the nature of mathematics (or logic). Within the philosophy of mathematics, Platonists, nominalists and structuralists consider mathematics to be fundamentally different in kind from empirical science, while empiricists have argued that mathematics is, just like other sciences, fundamentally about aspects of the empirical world. Different positions within the debate about the nature of mathematics will, arguably, lead to different answers to the question as to how mathematics and science are related.

In this workshop we want to focus on how these different philosophies of mathematics fare in giving an account of mathematical practice and the role of mathematics in scientific practice.

To celebrate the 100 years since the publication of Hermann Weyl’s “Über die neue Grundlagenkrise der Mathematik”, we will hold a Workshop dedicated to Hermann Weyl’s Philosophy of Mathematics, with special (but not exclusive) focus on his intuitionistic turn. 

The workshop will be run in dual-mode, in Oslo and on Zoom. Registration is required to attend the workshop. Speakers: Stefania Centrone, Laura Crosilla, José Ferreirós, Janet Folina, Dagfinn Føllesdal, Mirja Hartimo, Øystein Linnebo, Henri Lombardi, Pierluigi Minari, Stefan Neuwirth, Michael Rathjen, Wilfried Sieg, Iulian Toader, Mark van Atten.

The relationship between mathematics and science continues to be of considerable philosophical interest. Within contemporary philosophy of science, for example, pinpointing the exact role of mathematics in the sciences remains a hotly debated issue. Does mathematics play a mere inferential role in that it allows for the derivations of one substantial truth from another or is mathematics more than a 'theoretical juice-extractor'? Are there distinctive mathematical explanations of physical phenomena? Similar questions can be asked about the role of logic in science.

These issues connect with discussions within the philosophy of mathematics (and the philosophy of logic) concerning the nature of mathematics (or logic). Within the philosophy of mathematics, Platonists, nominalists and structuralists consider mathematics to be fundamentally different in kind from empirical science, while empiricists have argued that mathematics is, just like other sciences, fundamentally about aspects of the empirical world. Different positions within the debate about the nature of mathematics will, arguably, lead to different answers to the question as to how mathematics and science are related.

In this workshop we want to focus on how these different philosophies of mathematics fare in giving an account of mathematical practice and the role of mathematics in scientific practice.

To celebrate the 100 years since the publication of Hermann Weyl’s “Über die neue Grundlagenkrise der Mathematik”, we will hold a Workshop dedicated to Hermann Weyl’s Philosophy of Mathematics, with special (but not exclusive) focus on his intuitionistic turn. 

The workshop will be run in dual-mode, in Oslo and on Zoom. Registration is required to attend the workshop. Speakers: Stefania Centrone, Laura Crosilla, José Ferreirós, Janet Folina, Dagfinn Føllesdal, Mirja Hartimo, Øystein Linnebo, Henri Lombardi, Pierluigi Minari, Stefan Neuwirth, Michael Rathjen, Wilfried Sieg, Iulian Toader, Mark van Atten.

In broad terms, image schemas are spatiotemporal relationships between objects and agents that are learned in early infancy such as containment, support and linkage. These relationships are hypothesised to construct the information skeleton found in object affordances, linguistic and artistic metaphors, the conceptualisation of event segmentation and analogical reasoning. Traditionally studied in cognitive linguistics, these abstract patterns gained increased interest to solve some of the semantic grounding issues in AI and cognitive robotics, but are also a familiar sight in interaction design, art and literary analysis, developmental psychology, and gesture interpretation, to name but a few.

To offer a platform to discuss this topic across the disciplines, the workshop The Image Schema Day was born in 2015, and so far, it gathered researchers on five different occasions. The workshop is primarily a networking event that invites researchers on image schemas and related notions from a broad range of scientific disciplines to present their research and discuss ideas for future projects. After two years of hibernation, we are happy to announce that the Image Schema Day (ISD6) is returning in its sixth reincarnation: at a new venue, with new research, but with the same purpose. Unlike many other workshops focused on different topics in one discipline or using one methodology, the ISD6 invites researchers from all disciplines and methodologies but focuses on one topic.

The relationship between mathematics and science continues to be of considerable philosophical interest. Within contemporary philosophy of science, for example, pinpointing the exact role of mathematics in the sciences remains a hotly debated issue. Does mathematics play a mere inferential role in that it allows for the derivations of one substantial truth from another or is mathematics more than a 'theoretical juice-extractor'? Are there distinctive mathematical explanations of physical phenomena? Similar questions can be asked about the role of logic in science.

These issues connect with discussions within the philosophy of mathematics (and the philosophy of logic) concerning the nature of mathematics (or logic). Within the philosophy of mathematics, Platonists, nominalists and structuralists consider mathematics to be fundamentally different in kind from empirical science, while empiricists have argued that mathematics is, just like other sciences, fundamentally about aspects of the empirical world. Different positions within the debate about the nature of mathematics will, arguably, lead to different answers to the question as to how mathematics and science are related.

In this workshop we want to focus on how these different philosophies of mathematics fare in giving an account of mathematical practice and the role of mathematics in scientific practice.

To celebrate the 100 years since the publication of Hermann Weyl’s “Über die neue Grundlagenkrise der Mathematik”, we will hold a Workshop dedicated to Hermann Weyl’s Philosophy of Mathematics, with special (but not exclusive) focus on his intuitionistic turn. 

The workshop will be run in dual-mode, in Oslo and on Zoom. Registration is required to attend the workshop. Speakers: Stefania Centrone, Laura Crosilla, José Ferreirós, Janet Folina, Dagfinn Føllesdal, Mirja Hartimo, Øystein Linnebo, Henri Lombardi, Pierluigi Minari, Stefan Neuwirth, Michael Rathjen, Wilfried Sieg, Iulian Toader, Mark van Atten.

The theme of this year's school is the advancement of SAT and SMT solvers and their novel use in mathematical proofs and trustworthy AI. Registration of academics and students is free. We look forward to participation of all those seriously interested in SAT and SMT solving, both from theoretical and practical perspectives.

The theme of this year's school is the advancement of SAT and SMT solvers and their novel use in mathematical proofs and trustworthy AI. Registration of academics and students is free. We look forward to participation of all those seriously interested in SAT and SMT solving, both from theoretical and practical perspectives.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The program will consist of invited lectures as well as contributed talks selected by the Program Committee.

The theme of this year's school is the advancement of SAT and SMT solvers and their novel use in mathematical proofs and trustworthy AI. Registration of academics and students is free. We look forward to participation of all those seriously interested in SAT and SMT solving, both from theoretical and practical perspectives.

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

The symposium focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

LACompLing2021 is part of the week "Mathematical Linguistics (MALIN) 2021"

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

The symposium focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

LACompLing2021 is part of the week "Mathematical Linguistics (MALIN) 2021"

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

The current organisers of the colloquium are Malvin Gattinger and Aybüke Özgün.

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

The symposium focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

LACompLing2021 is part of the week "Mathematical Linguistics (MALIN) 2021"

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

The symposium focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

LACompLing2021 is part of the week "Mathematical Linguistics (MALIN) 2021"

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950s, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The symposium assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

The symposium focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

LACompLing2021 is part of the week "Mathematical Linguistics (MALIN) 2021"

Large experiments such as the Large Hadron Collider (LHC), the Laser Interferometer Gravitational-Wave Observatory (LIGO), and the Event Horizon Telescope (EHT) play an essential role at the frontiers of contemporary fundamental physics. These experiments employ big research facilities, they probe nature at vast energy and length scales, they produce immense amounts of data, and they involve great numbers of researchers. During this Spring School we will explore large physics experiments from historical, philosophical, and sociological perspectives. We will discuss questions such as those arising from the history and philosophy of fundamental physics, the methodological challenges of big data, and the history and sociology of large research collaborations.

We invite up to 30 graduate students and early career researchers from history, philosophy, sociology, and physics to participate. The application process will be competitive and participants will be selected according to qualification and research interests.

We are pleased to announce that the 5th SILFS Postgraduate Conference on Logic and Philosophy of Science will be entirely devoted to young researchers. The aim of the conference is to gather young researchers working in the field of logic and philosophy of science and offer them the opportunity to present and discuss their papers in an informal and stimulating environment.

The conference is divided into eight sessions, namely:
1) Philosophy of Biology and Health Sciences
2) Philosophy of Mind and Cognitive Science
3) Foundations of Computing and Artificial Intelligence
4) Classical and Non-Classical Logics
5) Philosophy and Foundations of Physics
6) Foundations of Logic and Mathematics
7) Philosophy of Social Sciences
8) General Philosophy of Science