Conferences and Meetings on Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (14)
1
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:
1448872
2
UltraMath2022 — UltraMath 2022 - Ultrafilters and Ultraproducts Across Mathematics, and Related Topics
06 Jun 2022 - 11 Jun 2022 • Pisa, Italy
Organizer:
University of Pisa, Department of Mathematics
Abstract:
This is the second edition of “UltraMath”, after the one held in Pisa in 2008: http://people.dm.unipi.it/ultramath. 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.
Contact:
Email: ultramath2022@cs.dm.unipi.it
Topics:
Ultrafilters, ultraproducts, combinatorial number theory, Ramsey theory, topology, ergodic theory, set theory
Abstract submission deadline:
21 Mar 2022
Event listing ID:
1457111
Event website:
3
Positivity 2022 — linear order structures in algebra, analysis, and logic
20 Jun 2022 - 03 Jul 2022 • Saint-Petersburg State University, Saint-Petersburg, Russia
Abstract:
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.
Event listing ID:
1451685
Related subject(s):
4
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:
1448892
5
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:
1448968
Event website:
6
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:
1448967
7
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:
1448922
8
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
9
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:
1448975
Event website:
10
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:
1449028
Event website:
11
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:
1449045
Event website:
12
AIM Workshop — Effective methods in measure and dimension
15 Aug 2022 - 19 Aug 2022 • San Jose, California, United States
Organizer:
American Institute of Mathematics (AIM)
Abstract:
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.
Event listing ID:
1484221
Related subject(s):
13
AIM Workshop: Invariant descriptive computability theory
07 Nov 2022 - 11 Nov 2022 • San Jose, California, United States
Organizer:
American Institute of Mathematics (AIM)
Abstract:
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.
Event listing ID:
1485260
14
Workshop on the Frontiers of Set Theory
05 Jun 2023 - 09 Jun 2023 • The Fields Institute, Toronto, Ontario, Canada
Organizer:
The Fields Institute
Abstract:
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.
Event listing ID:
1461172


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!

No tracking | No pop-ups | No animations
Last updated: 05 May 2022