Conferences and Meetings on Mathematical Logic and Foundations

We are pleased to invite you to participate in the Petersburg Positivity 2022. This time it will be held as a satellite to the International Congress of Mathematicians (ICM, July 6-14). Visa-free entry will be supported by ICM. Please, subscribe to future updates on the conference website. The research subject "positivity" is the area in mathematics that is devoted to order structures and their applications. Some of the topics included: ordered algebraic & topological structures, Banach lattices, Banach spaces, function spaces, positive and order bounded operators, operator algebras, non-standard analysis, and Boolean valued models, Boolean algebras and stochastic processes, applications to mathematical finance.

Algebra,    Analysis

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.

Logical theories of arithmetic such as Presburger arithmetic play an important role in a variety of different areas of computer science and have been studied since the early days of the field. The recent years have seen a lot of progress on all aspects of such theories, ranging from new foundational results, algorithmic advances, more performant decision procedures to novel application domains. This progress has largely been obtained independently without much interaction between researchers working on different aspects of this field. The goal of this workshop is to bring together researchers working in the field to exchange latest trends, understand currently existing challenges and to initiate new collaborations.

The Thirteenth Panhellenic Logic Symposium will be hosted in Volos (Βόλος), Thessaly, organized by the University of Thessaly.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

CiE 2022 is the 18th conference organized by CiE, 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 (Computability in Europe) 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 Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

University of Cagliari (Cagliari, Italy), organized by the ALOPHIS research group of the Department of Pedagogy, Psychological Sciences and Philosophy

While the strong three-valued logic of Kleene and the Logic of Paradox have long held a prominent place in the landscape of non-classical logics, the last decade has seen a resurgence of interest in related logics, including the Paraconsistent Weak Kleene logic (PWK) and Strict-Tolerant logics. These logics put their own twist on the idea of three truth values and accordingly they have varied philosophical readings and applications. Among other things, they represent logics of partial information, logics of nonsense, and logics of variable inclusion. Algebraic and proof-theoretic methods have successfully been brought to bear on these logics, but much remains to be explored. The aim of the workshop is to bring together researchers working on these various facets of logics related to the strong and weak Kleene systems, be they algebraic, proof-theoretic, or philosophical.

Applied category theory is a topic of interest for a growing community of researchers, interested in studying many different kinds of systems using category-theoretic tools. These systems are found across computer science, mathematics, and physics, as well as in social science, linguistics, cognition, and neuroscience. The background and experience of our members is as varied as the systems being studied. The goal of Applied Category Theory is to bring researchers in the field together, disseminate the latest results, and facilitate further development of the field.

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 that 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.

The preceding editions of the FCA4AI Workshop (from ECAI 2012 until IJCAI 2021) showed that many researchers working in Artificial Intelligence are indeed interested by powerful techniques for classification and data mining provided by Formal Concept Analysis. Again, we have the chance to organize the 10th edition of the workshop in Vienna, co-located with the IJCAI-ECAI 2022 Conference.

Machine Ethics, Explainability are two recent topics that have been attracting a lot of attention and concern in the last years. This global concern has manifested in many initiatives at different levels. There is an intrinsic relation between these two topics. It is not enough for an autonomous agent to behave ethically, it should also be able to explain its behavior, i.e. there is a need for both ethical component and explanation component. Furthermore, an explainable behavior is obviously not acceptable if it is not ethical (i.e., does not follow the ethical norms of the society).

This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry.

The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops:
LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science)
FSCD (7th International Conference on Formal Structures for Computation and Deduction)
ITP (13th International Conference on Interactive Theorem Proving)
IJCAR (International Joint Conference on Automated Reasoning)
CSF (35th IEEE Computer Security Foundations Symposium)
CAV (34th International Conference on Computer Aided Verification)
KR (19th International Conference on Principles of Knowledge Representation and Reasoning)
ICLP (38th International Conference on Logic Programming)
SAT (25th International Conference on Theory and Applications of Satisfiability Testing)
CP (25th International Conference on Principles and Practice of Constraint Programming)

FLoC 2022

Information Theory, Foundations of Computer Science,    Automated Theorem Proving

FLoC 2022

The FSCD conference includes all research of the inter-related formal areas of researchers in formal structures for computation and deduction in general, and in particular all subjects that were previously covered by the RTA and TLCA conferences. The name of the new conference comes from an unpublished but important book by Gérard Huet that has been a strong influence on many researchers in our area. We are grateful to Gérard for allowing us to reuse the name. We look very much forward to serve the scientific community with this new conference, which inherits as well as updates and modernizes the scope of the conferences it replaces. The call for papers for the next FSCD, below, give further details on the subjects of the conference.

FLoC 2022

The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. ITP 2022 is the thirteenth conference on Interactive Theorem Proving. It will be part of the Federated Logic Conference (FLoC). It will take place in Haifa, Israel, July 31 – August 12, 2022.

Scientific Computing and Data Science,    Automated Theorem Proving

FLoC 2022

IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.

Information Theory, Foundations of Computer Science,    Automated Theorem Proving

FLoC 2022

CAV is the premier international conference on computer-aided verification. It provides a forum for a broad range of advanced research in areas ranging model checking and automated theorem proving to testing, synthesis and related fields. Research reported in CAV includes the application of formal methods to many kinds of systems,including hardware, software and communication protocols. It covers many system models, including finite-state and infinite state systems, hybrid systems and probabilistic systems. It encompasses both theory and industrial case studies. The common thread is the use of automation to help designers build more reliable systems.

Information Theory, Foundations of Computer Science,    Automated Theorem Proving

Information Theory, Foundations of Computer Science,    Software Engineering

Workshop @ESSLLI 2022

National University of Ireland Galway

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Natural Language Processing, Computational Linguistics,    Linguistics

American Institute of Mathematics (AIM)

This workshop, sponsored by AIM and the NSF, will be devoted to effective approaches to geometric measure theory. Algorithmic Randomness and Effective Descriptive Set Theory provide a novel perspective to many concepts that are classically measure-based, such as randomness and Hausdorff dimension. A core feature of this perspective is that it links the geometric properties of a set to the logical and computational complexity of its points. The new techniques have been successfully applied to extend previous results in the area to larger classes of sets (beyond analytic), and also to shed new light on why in other cases such an extension is impossible. Examples include Marstrand's projection theorem and the capacitability of sets of real numbers. The goal of this workshop is to bring together researchers with expertise in computability, set theory, geometric measure theory, and related areas to further develop these new approaches.

University of Helsinki

This workshop celebrates the past 30 years of active research in the area of Finite Model Theory (FMT) in Finland. Research in FMT in Finland began due to joint efforts of Phokion G. Kolaitis and Jouko Väänänen in the end of 1980's. The concrete starting point for research among the Finnish logicians was the keynote lecture of Kolaitis at Logic Colloquium 1990 and a summer school in FMT held in 1991.

Advances in Modal Logic is a bi-annual international conference and book series in Modal Logic. The aim of the conference series is to report on important new developments in pure and applied modal logic, and to do so at varying locations throughout the world.

Summerschool on experimental methods in the philosophy of mathematics.

History and Philosophy of Science and Technology,    Academic Philosophy

Virtue Insight

Phone: [9361957193];     Email: kavitha@virtueinsight.co.in

Blockchain, Artificial Intelligence, IoT, AI, interntet of things, pharma, healthcare, BigData, Drug Discovery, Pharmaceuticals

Internet of Things (IoT) and Sensor Networks,    Healthcare Technologies

Logics and strategic reasoning play a central role in multi-agent systems. Logics can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behavior for the agents of the system. At the intersection, we find logics that can express existence of strategies or equilibria, and can be used to reason about them. The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence.

The European Set Theory Conferences is a series of biannual meetings coordinated by the European Set Theory Society (ESTS). This year's edition is organized by the Department of Mathematics of the University of Turin and ESTS, in partnership with the Clay Mathematics Institute. It is the most important conference in set theory, and gathers the worldwide leaders in the field as well as many young researchers. During the event, the prestigious Hausdorff medal will be awarded for the most influential work in set theory published in the preceding five years. There will also be a special session in honor of Boban Veličković's 60th birthday.

University of Debrecen

The International conference series MCU traces its roots back to the mid 1990's, and has always been concerned with gaining a deeper understanding of computation and universality through the study of models of general purpose computation. The 9th edition of MCU is organized by the Faculty of Informatics of the University of Debrecen, it is co-located with NCMA 2022, the 12th International Workshop on Non-Classical Models of Automata and Applications (August 26-27, 2022) and DCFS 2022, the 24th Conference on Descriptional Complexity of Formal Systems (August 29-31, 2022). The conference will take place in a hybrid format: the possibility of both, in-person and online participation will be provided.

The scope of the conference topics includes, but is not limited to, computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models...), analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing...) and the meaning and implantation of universality in these contexts. Particular emphasis is given towards search for frontiers between decidability and undecidability in the various models, search for the simplest universal models, computational complexity of predicting the evolution of computations in the various models. Parallel computing models and their connections to decidability, complexity and universality.

Campus Luigi Einaudi, University of Turin

PhDs in Logic is an annual graduate conference organized by graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in linguistics. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research.

Universität Konstanz

Die Summer School findet an der Universität Konstanz statt und umfasst zwei einwöchige Tutorien und vier Vorlesungen von renommierten Wissenschaftler:innen. Ziel der Summer School ist es, Masterstudent:innen und Doktorand:innen zusammenzubringen, die sich für die Verbindung zwischen Philosophie und Mathematik interessieren, und ihnen die Möglichkeit zu geben, verwandte Themen mit führenden Wissenschaftler:innen auf diesem Gebiet zu diskutieren.

Courses and Events for Math Students and Early Career Researchers,    History and Philosophy of Science and Technology

The conference will be co-located with the kick off conference of the MOSAIC project “Modalities in Substructural Logic: Theory, Methods and Applications”. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has 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.

Information Theory, Foundations of Computer Science,    Soft Computing, Evolutionary Computation, Metaheuristic Optimization, Fuzzy Logic

The Incontro di Logica is organised by the Italian Association for Logic and its Applications (AILA) every three years. It features international invited speakers, recipients of the AILA prizes (Gentilini, Montagna, Lettieri), and contributed presentations in Logic.

category theory, computability theory, model theory, logic and computer science, logic and philosophy, non-classical logics, proof theory, set theory.

The aim of the COMMA conference is to bring together researchers interested in computational models of argument and the representation of argumentation structures in natural language texts, including the problem of automatically discovering argumentation in text or speech. In addition to the main conference track, there will be thematically-focused workshops, system demonstrations, and a summer school with courses on current topics of argumentation.

Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas.

CICM 2022 will be a part of the Computational Logic Autumn Summit, CLAS 2022

Information Theory, Foundations of Computer Science,    History and Philosophy of Science and Technology

The 13th International School of Rewriting will be held in Tbilisi, Georgia, September 19–24, 2022. The school will be organized by Ivane Javakhishvili Tbilisi State University (TSU) and will be part of the Computational Logic Autumn Summit (CLAS 2022). Term Rewriting is a simple but powerful model of computation with numerous applications in computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification. Rewriting-based techniques are useful in many other fields as well, for instance, in quantum computing, biology, music.... The 13th International School on Rewriting (ISR 2022) is aimed at students, researchers and practitioners interested in the use or the study of rewriting and its applications

Information Theory, Foundations of Computer Science,    Courses and Events for Math Students and Early Career Researchers

WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.

Information Theory, Foundations of Computer Science,    Linguistics

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

Information Theory, Foundations of Computer Science,    Academic Philosophy

Inductive reasoning is one of the most important reasoning techniques for humans and formalises the intuitive notion of "reasoning from experience". It has thus influenced both theoretical work on the formalisation of rational models of thought in Philosophy as well as practical applications in the areas of Artificial Intelligence and, in particular, Machine Learning. The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL2022) aims at bringing together experts from all fields concerned with inductive reasoning.

Information Theory, Foundations of Computer Science,    Academic Philosophy

American Institute of Mathematics (AIM)

This workshop, sponsored by AIM and the NSF, will be devoted to connecting two parallel approaches towards the study of the complexity of equivalence relations. On the one hand, a popular tool for classifying equivalence relations on standard Borel spaces is Borel reducibility. Invariant descriptive set theory, centered around this notion, is a vibrant field which shows deep connections with topology, group theory, combinatorics, and ergodic theory. On the other hand, a natural effectivization of Borel reducibility, named computable reducibility, appears in computability theory. Computable reducibility has proven to be a key notion for measuring the complexity of equivalence relations on the natural numbers, with fruitful applications in a variety of fields, such as: the metamathematics of arithmetic, the study of word problems for groups, the theory of numberings, and computable model theory. Despite the analogy between Borel and computable reducibility, there has been so far little effort to directly connect techniques, knowledge, and researchers of these separate fields. To counter this lack of communication, the proposed workshop will assemble a diverse group of mathematical logicians - drawn from both experts in invariant descriptive set theory and experts in computability theory working on computable reduction - to discuss on how their tools can align.

The Research Institute for Mathematical Sciences (RIMS)

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)

This is a workshop in commutative algebra, broadly interpreted, with a focus on three areas, all concerned with resolutions in various forms. One is the resolution of singularities of algebraic varieties, which remains a vibrant topic of research. The second is the theory of noncommutative resolution of singularities. Introduced two decades ago, this subject has witnessed remarkable growth developing connections to algebraic geometry, commutative algebra, cluster algebras, and the representation theory of algebras, both commutative and noncommutative, among others. The third intended meaning of the word “resolution” is as in free resolutions of algebras and modules in commutative algebra.

The Fields Institute

This workshop will be less focused in nature and will bring together small groups of experts centered around emerging applications of set theory. This will include applications of set-theory in algebraic topology and homological algebra, operator algebras (for instance Koszmider's solution to Anderson's conjecture), Keisler's order in model theory, and the geometry of Banach spaces.

The Fields Institute

Scheduled as part of Thematic Program on Operator Algebras and Applications

Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)