Conferences  >  Mathematics  >  Mathematical Logic and Foundations

Hausdorff Research Institute for Mathematics (HIM)

The goal of this program is to bring together experts of Formal Mathematics, exploit their interactions, foster future collaborations, and interface them better with the mathematical mainstream. At the same time the goal is to provide a platform for junior researchers to enter Formal Mathematics. A central, unifying theme is to break down adoption barriers of formal methods in Mathematics.

Courses and Events for Math Students and Early Career Researchers,    Automated Theorem Proving

The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.

ISLA is a biennial event of the Association FOR Logic in India (ALI).

The school welcomes students from all over the world and from diverse fields of study, including Mathematics, Philosophy, Computer Science, Linguistics, and other related areas.

The fifth Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society.

Academic Philosophy,    Courses and Events for Math Students and Early Career Researchers

University of Pisa, Department of Mathematics

The workshop wants to offer an opportunity for the communities working in proof theory of arithmetic, in reverse mathematics, in finite and infinite combinatorics of Ramsey theory, in proof complexity, and in bounded arithmetic, to be exposed to one another's recent results, methods, and goals. The goals of the workshop are to stimulate the interaction between researchers in the above-mentioned areas, to enhance the transfer of methods from one area to the other, as well as to set the ground for a unifying view on the logico-combinatorial study of combinatorial principles, such as Ramsey-type statements.

Reykjavik University, Iceland

The Scandinavian Logic Symposium (SLSS) is symposium organized by the Scandinavial Logic Society. In 2024, it takes place in June in Reykjavik, Iceland. 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.

Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Modal and Temporal Logics, Dynamic Logics, Logic and Computer Science, Logic in AI and Multi-Agent Systems, Logic and Linguistics, Philosophical Logic, Philosophy of Logic, Mathematics and Computation

Hausdorff Research Institute for Mathematics (HIM)

This workshop is devoted to the central theme of the Trimester: How do current and future developments of Formal Mathematics impact and assist active research in central areas of pure mathematics. Talks will focus on examples of such interactions, as well as on the development of adequate techniques. Some half-days will be reserved for informal demonstrations, collaborations and co-working.

DL 2024 The DL workshop is the major annual event of the description logic research community. It is the forum in which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 37th edition will be held in Bergen, Norway from June, 18th to June, 21st.

Philosophy of Mathematics, (Philosophy of) Set Theory and Logic; Formal Metaphysics and Ontology (grounding and constructional approaches).

European Summer Meeting of the Association for Symbolic Logic, Gothenburg, Sweden

The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. In 2024, the meeting will be held 24–28 June at the University of Gothenburg in Sweden. The colloquium will run for five days and comprise 3 tutorials, 7 plenary lectures and 6 special sessions as well as contributed talks. In addition, the 2024 Gödel Lecture will be delivered at the meeting.

This will be a conference focussing on new developments in inner model theory and connections to Large Cardinals, Determinacy and Forcing Axioms. The first week will be an invitation only workshop.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science, philosophy, and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods.

The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications, describe problem formalizations, example problems, and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians.

Topics of the ARQNL workshop will cover all aspects related to the mechanization and automation of quantified non-classical logics.

Offering high school students worldwide a chance to showcase excellence in logic and problem-solving, this contest is designed by the Stanford Logic Group, with aims to internationalize logic education and culminates in an on-campus final round at Stanford University. Join the global celebration of logic and problem-solving at ILO2024, this prestigious contest for high school students worldwide aims to expand logic education internationally, while fostering a vibrant global community of logical thinkers.

Courses and Events for Math Students and Early Career Researchers,    Courses and Events for Physics Students

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science, philosophy, and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2024 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods.

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.

Algebra,    Geometry and Topology

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

Tsinghua University – University of Amsterdam Joint Research Centre for Logic

The Tsinghua University – University of Amsterdam Joint Research Centre for Logic initiated a Logic Summer School Program in the year 2021. The program is primarily aimed at advanced undergraduate students, graduate students, and early career researchers in philosophy, computer science, mathematics, linguistics, cognitive sciences, and so on. Students and colleagues can learn here about the latest developments in logic interfacing with the aforementioned disciplines, including their theoretical results and technical backgrounds. The courses are particularly designed to supplement the logic courses that are taught in the usual curriculum.

The 21st International Conference on Quantum Physics and Logic (QPL 2024) will take place from July 15th to 19th, 2024, at the Instituto de Ciencias de la Computación in Buenos Aires, Argentina. Quantum Physics and Logic is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type systems, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition. Work applying quantum-inspired techniques and structures to other fields, such as linguistics, artificial intelligence, and causality, is also welcome.

Photonics, Optoelectronics and Display Devices,    Quantum Mechanics and Quantum Technology

Banach Center

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

AiML 2024 is organized by the Institute of Computer Science of the Czech Academy of Sciences, the Institute of Philosophy of the Czech Academy of Sciences and the Faculty of Arts of Charles University.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications.

University of Vienna and the Institute Vienna Circle

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