Conferences and Meetings on Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (21)
1
Neostability Theory
31 Oct 2021 - 05 Nov 2021 • Hangzhou, China
Organizer:
Institute for Advanced Study in Mathematics (IASM) in Hangzhou, China, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, Canada
Abstract:
Stability theory, in the sense of mathematical logic, consists of a collection of technical methods first developed to address the logical problem of classifying abstract models of mathematical theories. Stability theory has proven to be applicable to other mathematical problems such as understanding rational solutions of algebraic equations. It has recently been shown that the techniques and methods used for the classification described above can be used in much more general settings with applications to other areas of mathematics such as algebraic geometry, additive combinatorics and extremal graph theory. Researchers at this meeting will study these developments to deepen these applications, and to extend the scope of stability theory to an even wider range of mathematical theories.
Event listing ID:
1364954
2
Set Theory
09 Jan 2022 - 15 Jan 2022 • Oberwolfach , Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1395781
3
SLAI-2022 — Symposium on Logic and Artificial Intelligence
12 Jan 2022 - 16 Jan 2022 • Virtual, Any Location (virtual event)
Abstract:
The Symposium on Logic and Artificial Intelligence (“Symposium on L&AI” or “SLAI”) is annually organized by the International Society for Logic and Artificial Intelligence (ISLAI) in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. Round tables are planned to ensure an open debate on the state of the art and new directions.
Event listing ID:
1448838
4
Paths in Logic (World Logic Day Celebration at Haifa), Online
13 Jan 2022 • Online, Any Location (virtual event)
Abstract:
Logic deals with correct and incorrect reasoning, the connection between language and the world, and examines how we can use language to make correct statements about structures. It lies at the interface between mathematics, philosophy and computer science. Are you interested in the basics of mathematics, philosophy and computer science and are you considering taking logic courses in your department or other departments or writing a thesis in logic? This workshop is mainly aimed at undergraduate and graduate students. Logic will be highlighted worldwide on UNESCO World Logic Day 2022.
Event listing ID:
1448825
5
Workshop "Formalize!(?) 2" — A philosophical & educational perspective on formalization in mathematics
15 Jan 2022 • Virtual, Any Location (virtual event)
Abstract:
What are the chances and problems of the act of formalization in the context of mathematics? It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics. Is this promise justified? Will the future of mathematical practice shift to more formal mathematics? Should it? We hope to illuminate such questions and focus especially on what these developments mean for the future of the curriculum of university students. This event features speakers speaking about both concrete projects and reflections on such endeavours in general.
Event listing ID:
1448802
6
Logic and Interactions
24 Jan 2022 - 25 Jan 2022 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Topics:
THEMATIC MONTH
Event listing ID:
1369358
Related subject(s):
7
CSL 2022 — Computer Science Logic
14 Feb 2022 - 19 Feb 2022 • Göttingen (Germany) & Virtual, Germany
Organizer:
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL).
Abstract:
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'22 will be held online on February 14 - 19, 2022. The event is hosted by the University of Göttingen.
Event listing ID:
1448888
8
New Directions in Computability Theory
07 Mar 2022 - 11 Mar 2022 • CIRM (Marseille Luminy), France
Organizer:
CIRM – Centre International de Rencontres Mathématiques
Topics:
CONFERENCE
Event listing ID:
1369389
9
BIRS Workshop — Interactions between Descriptive Set Theory and Smooth Dynamics
27 Mar 2022 - 01 Apr 2022 • Banff, Alberta, Canada
Organizer:
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Event listing ID:
1439108
10
UNILOG 2021 — 7th World Congress and School on Universal Logic
01 Apr 2022 - 11 Apr 2022 • Chania/Crete, Greece
Organizer:
Orthodox Academy of Crete
Abstract:
UNILOG is a series of world events. Since the first edition in 2005 in Montreux, Switzerland, it has gathered many famous researchers: Saul Kripke, Jaakko Hintikka, Yuri Gurevich, Rohit Parikh, Michael Dunn, Dov Gabbay, Wilfrid Hodges, Hartry Field, Pierre Cartier, Krister Segerberg, Melvin Fitting, Gerhrad Jaeger, Hiroakira Ono, Daniele Mundici, Jan Wolenski, Patrick Blackburn, John Corcoran, Heinrich Wansing, David Makinson, Newton da Costa, Peter Schroeder Heister, Göran Sundholm, Didier Dubois, Arnon Avron, Volker Peckhaus, Graham Priest, Benedikt Löwe, Stepen Read, Gila Sher, Jonathan Seldin, Sun-Joo Shin, Bruno Poizat, Sara Negri, Ahti-Veikko Pietarinen, Valentin Goranko, Yde Venema, Jouko Väänänen and more ... UNILOG promotes logic in all its aspects: mathematical, philosophical, computational, semiological, historical, and the relation between logic and other fields: physics, biology, economics, law, politics, religion, music, literature, pedagogy, color theory, medicine, psychology, psychoanalysis, cognitive science, architecture, artificial intelligence, sociology, linguistics, anthropology. UNILOG is a combination of a congress and a school. There is also a secret speaker and the world logic prizes contest.
Event listing ID:
1448821
11
HyLo 2022 — Workshop on Hybrid Logic and Applications
06 Apr 2022 - 11 Apr 2022 • Crete, Greece
Abstract:
It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem (the basic mechanism being to add nominals --- atomic symbols true at a unique point --- together with extra modalities to exploit them) often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau systems, resolution, and natural deduction in hybrid logic, and completeness results can be proved of a generality that is simply not available in ordinary modal logic. That is, hybridization --- adding nominals and related apparatus --- seems a reliable way of curing many known weaknesses in ordinary modal logic.
Abstract submission deadline:
09 Oct 2021
Event listing ID:
1448820
12
UNILOG Workshop "Logic(s) in Defective Science"
06 Apr 2022 - 11 Apr 2022 • Crete, Greece
Abstract:
This workshop is devoted to exploring connections between non-classical logics and the rational use of defective information in the sciences, as well as the inferential practices in the sciences—particularly, those which make use of defective information.
Abstract submission deadline:
09 Oct 2021
Event listing ID:
1448907
13
Mathematics & Analogical Reasoning
03 Jun 2022 - 04 Jun 2022 • Munich, Germany
Abstract:
The goal of this conference is to investigate the role of mathematics as a heuristic device for analogical reasoning in science and philosophy. ​ Empirical science relies heavily on mathematics. Mathematical models enable physicists to simulate dynamical ‘dumb hole’ analogues to gravitational black holes (Curiel 2019; Dardashti, Thébault, and Winsberg 2017; Gryb, Palacios, and Thébault 2019), chemists to study the behaviour of molecules, medical researchers to examine the spreading rate of diseases, and biologists to understand changes in animal populations. There is no doubt that mathematics is an indispensable scientific tool.
Event listing ID:
1448938
14
PLS13 — 13th Panhellenic Logic Symposium
14 Jul 2022 - 18 Jul 2022 • Volos (Greece) or Virtual, Greece
Abstract:
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.
Event listing ID:
1448903
15
FLoC 2022 — The Eighth Federated Logic Conference
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Topics:
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)
Event listing ID:
1448891
Event website:
16
LICS — 37th Annual ACM/IEEE Symposium on Logic in Computer Science
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Event listing ID:
1448989
17
FSCD — 7th International Conference on Formal Structures for Computation and Deduction
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
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.
Abstract submission deadline:
01 Oct 2021
Event listing ID:
1448955
18
ITP — 13th International Conference on Interactive Theorem Proving
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
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.
Event listing ID:
1449009
19
IJCAR — International Joint Conference on Automated Reasoning
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.
Event listing ID:
1449008
Event website:
20
CAV — 34th International Conference on Computer Aided Verification
31 Jul 2022 - 12 Aug 2022 • Haifa, Israel
Organizer:
FLoC 2022
Abstract:
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.
Event listing ID:
1448995
Event website:
21
ESSLLI 2022 — 33rd European Summer School in Logic, Language and Information
08 Aug 2022 - 19 Aug 2022 • Galeway, Ireland
Organizer:
National University of Ireland Galway
Abstract:
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.
Event listing ID:
1448990
Event website:


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Last updated: 14 October 2021