LNGAI 2022 is associated with a national key project called 'Research on Logics for New Generation Artificial Intelligence' (2021-2025), supported by the National Social Science Foundation of China. The main objectives of this project are to develop theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and reasoning about norms and values, in an open, dynamic and real environment. Along with the project, we organize annual international workshops that aim at enabling efficient communication and collaboration between members of the project as well as other researchers who are interested in the topics of this project.

Due to the uncertainties of the COVID-19 pandemic situations, LNGAI 2022 will be held in a HYBRID format (virtual and physical attendance both accepted), but participants from mainland China are supposed to attend on site.

This is the 14th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. Preference is given to papers which bring together the work and problems of several fields, such as game and decision theory, logic, computer science and artificial intelligence, philosophy, cognitive psychology, mathematics and mind sciences.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2022 will be co-located with the Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).

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

The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory.

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.

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.

The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.

During this year's edition of the conference there will be two special sessions: a session devoted to formal ontology, broadly conceived, and a special session in memoriam J. Michael Dunn who passed away on April, 5, 2021.

Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2022. We want the event to keep its on-site character, which, however, requires that the pandemic is overcome. The conference date has been changed to 14-18.03.2022 and hopefully it will not have to be subject to further revision.

Text is a crucial medium for transferring mathematical ideas, agendas, and results within the scientific community and in educational contexts. This makes the focus on mathematical texts a natural and important part of the philosophical study of mathematics. Moreover, research on mathematical texts can take advantage of the huge body of knowledge and toolbox of methods from other disciplines such as linguistics and computer science to investigate problems in the philosophy of mathematics. Linguistically informed research addresses general questions of the philosophy of mathematics.

In this collection, we target mathematical text in a broad sense, including written interaction such as blogs, forums, reviews as well as textbooks and research articles. This topical collection aims to bring together and build bridges between researchers from different methodological backgrounds to tackle questions concerning the philosophy of mathematics. This includes approaches from philosophical analysis, linguistics and literature studies, but also methods from computer science and artificial intelligence, cognitive sciences, and mathematics education.
Note that this remains a philosophical issue. So while methods are interdisciplinary, we aim for a philosophical upshot.

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.

The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.

During this year's edition of the conference there will be two special sessions: a session devoted to formal ontology, broadly conceived, and a special session in memoriam J. Michael Dunn who passed away on April, 5, 2021.

Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2022. We want the event to keep its on-site character, which, however, requires that the pandemic is overcome. The conference date has been changed to 14-18.03.2022 and hopefully it will not have to be subject to further revision.

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.

The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.

During this year's edition of the conference there will be two special sessions: a session devoted to formal ontology, broadly conceived, and a special session in memoriam J. Michael Dunn who passed away on April, 5, 2021.

Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2022. We want the event to keep its on-site character, which, however, requires that the pandemic is overcome. The conference date has been changed to 14-18.03.2022 and hopefully it will not have to be subject to further revision.

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.

The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.

During this year's edition of the conference there will be two special sessions: a session devoted to formal ontology, broadly conceived, and a special session in memoriam J. Michael Dunn who passed away on April, 5, 2021.

Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2022. We want the event to keep its on-site character, which, however, requires that the pandemic is overcome. The conference date has been changed to 14-18.03.2022 and hopefully it will not have to be subject to further revision.

The topic of bilateralism - situated in the area of proof-theoretic semantics - has received considerable attention in the area of philosophical logic within the past years. According to proof-theoretic semantics the meaning of the logical connectives is determined by the rules of inference governing their use in proofs. In this context bilateralism demands an equal consideration of dual concepts like truth and falsity, assertion and denial, or proof and refutation in that they should both be taken as primitive concepts, i.e. not reducible to each other. This conference aims at sharing and discussing the latest research in this area by bringing together both highly distinguished as well as early career researchers.

Invited Speakers: Nils Kürbis (University of Łódź & Ruhr University Bochum), Greg Restall (University of St. Andrews), David Ripley (Monash University), Luca Tranchini (University of Tübingen), Peter Verdée (UCLouvain) and Heinrich Wansing (Ruhr University Bochum).

In 2015 L.E.J. Brouwer's personal archive was placed in the care of the Noord-Hollands Archief in Haarlem. This archive has now been indexed and made available for the general public.

To mark this occasion a mini-symposium is organised on the 17th of March.

The eleventh Scandinavian Logic Symposium (SLSS 2022) will be held at the University of Bergen, Norway, during 17-19 June, 2022. The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks.

HIGHLIGHTS 2022 is the tenth conference on Highlights of Logic, Games and Automata. It aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume.

Representative areas include, but are not restricted to: algorithmic model theory, automata theory, databases, game for logic and verification, logic, and verification. Invited talks: Dexter Kozen (USA), Marta Kwiatkowska (UK), Markus Lohrey (Germany) and Tatiana Starikovskaya (France). Tutorials: S. Akshay (India) and Dana Fisman (Israel).

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.

The Conference - devoted to non-classical logics - was initially held in Łódź in September 2008 and 2009. The conference serves as a forum to effectively exchange novel results and to survey works in widely understood non-classical logics and their applications.This year's tenth edition of the Conference will be an occasion to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic, established in 1971.

During this year's edition of the conference there will be two special sessions: a session devoted to formal ontology, broadly conceived, and a special session in memoriam J. Michael Dunn who passed away on April, 5, 2021.

Due to the current situation concerning COVID-19 and very uncertain predictions about what will happen in the autumn, after several consultations the organizers of the conference decided to postpone it until the year 2022. We want the event to keep its on-site character, which, however, requires that the pandemic is overcome. The conference date has been changed to 14-18.03.2022 and hopefully it will not have to be subject to further revision.

The topic of bilateralism - situated in the area of proof-theoretic semantics - has received considerable attention in the area of philosophical logic within the past years. According to proof-theoretic semantics the meaning of the logical connectives is determined by the rules of inference governing their use in proofs. In this context bilateralism demands an equal consideration of dual concepts like truth and falsity, assertion and denial, or proof and refutation in that they should both be taken as primitive concepts, i.e. not reducible to each other. This conference aims at sharing and discussing the latest research in this area by bringing together both highly distinguished as well as early career researchers.

Invited Speakers: Nils Kürbis (University of Łódź & Ruhr University Bochum), Greg Restall (University of St. Andrews), David Ripley (Monash University), Luca Tranchini (University of Tübingen), Peter Verdée (UCLouvain) and Heinrich Wansing (Ruhr University Bochum).

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.

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.

The International Conference "ULTRAMATH 2022" aims to present recent results in the whole spectrum of mathematics which are grounded on the use of ultrafilters and ultraproducts. Its main goals:
 - Disseminate information about the various techniques related to the use of ultrafilters and ultraproducts, and their potential to attack open problems.
 - Bring together researchers with different backgrounds, and encourage their collaborations and interactions, especially on topics connecting different areas of mathematics.

This is the second edition of "UltraMath", after the one held in Pisa in 2008. After two years of postponement, we are strongly committed to holding this 2022 edition with the physical presence of lecturers and participants. We will make every effort to ensure that this is done safely; in the unfortunate case of a new emergency due to the pandemic, UltraMath 2022 will take place anyway as a hybrid or as an online event, depending on the situation.

The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

The XXV International Summer School in Philosophy of Physics of the University of Urbino will focus on a crucial topic of research in physics and philosophy: dualities, in particular in their gauge/gravity incarnation, and their philosophical implications.

This topic has manifold ramifications, both for physics and for philosophy, as our speakers will show. The three speakers are professor Jonathan Bain (Department of Technology, Culture and Society/Philosophy Department, NYU), professor Johanna Erdmenger (Physics Department, University of Würzburg), and professor Sebastian De Haro (Institute for Logic, Language and Computation, UvA).

LANMR 2022 is the fourteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of LANMR is to bring together researchers interested in methods of reasoning and applications involving logic broadly understood from philosophy to programming languages and artificial intelligence.  LANMR 2022 will be held on June 16th and 17th, 2022 fully online due to the COVID19 outbreak.

QBFEVAL'22 is the 2022 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'22 awards solvers that stand out as being particularly effective on specific categories of QBF instances. This will be a joint event with the 25th Int. Conference on Theory and Applications of Satisfiability Testing (SAT, affiliated with FLoC 2022).

Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms.

The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. The LearnAut workshop will consist of 3 invited talks and 14 contributed talks from researchers whose submitted works were selected after a double-blind peer-reviewed phase. A significant amount of time will be kept for interactions between participants.