Conferences and Meetings on Mathematical Logic and Foundations

Select a location
ALL COUNTRIES (45)
1
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:
1451663
Related subject(s):
2
LearnAut 2022 — Learning & Automata
04 Jul 2022 • Paris , France
Abstract:
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.
Event listing ID:
1488949
3
ICALP Workshop "Trends in Arithmetic Theories"
04 Jul 2022 • Paris , France
Abstract:
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.
Event listing ID:
1488948
4
PLS13 — 13th Panhellenic Logic Symposium
06 Jul 2022 - 10 Jul 2022 • Volos, Greece
Organizer:
The Thirteenth Panhellenic Logic Symposium will be hosted in Volos (Βόλος), Thessaly, organized by the University of Thessaly.
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:
1488957
5
CiE 2022 — Computability in Europe: Revolutions and Revelations in Computability
11 Jul 2022 - 15 Jul 2022 • Swansea, United Kingdom
Organizer:
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.
Abstract:
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.
Event listing ID:
1488989
6
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:
1448936
7
Trends in Logic XXII Workshop — Strong & Weak Kleene Logics
18 Jul 2022 - 20 Jul 2022 • University of Cagliari (Cagliari), Italy
Organizer:
University of Cagliari (Cagliari, Italy), organized by the ALOPHIS research group of the Department of Pedagogy, Psychological Sciences and Philosophy
Abstract:
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.
Event listing ID:
1488977
8
5th International Conference on Applied Category Theory 2022
18 Jul 2022 - 22 Jul 2022 • University of Strathclyde, Glasgow, Scotland, United Kingdom
Abstract:
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.
Abstract submission deadline:
09 May 2022
Event listing ID:
1488965
9
LOFT2022 — Logic and the Foundations of Game and Decision Theory
20 Jul 2022 - 22 Jul 2022 • Groningen , Netherlands
Abstract:
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.
Event listing ID:
1489019
10
10th FCA4AI Workshop — What can FCA do for Artificial Intelligence?
23 Jul 2022 - 24 Jul 2022 • Vienna, Austria
Abstract:
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.
Event listing ID:
1489007
11
MEandE-LP 2022 — 2nd WORKSHOP ON MACHINE ETHICS AND EXPLAINABILITY - THE ROLE OF LOGIC PROGRAMMING
31 Jul 2022 • Haifa – virtual, Israel
Abstract:
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).
Event listing ID:
1489039
12
CAUSAL 2022 — Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
31 Jul 2022 - 08 Aug 2022 • Haifa, Israel
Abstract:
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.
Event listing ID:
1489049
13
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:
1448880
Event website:
14
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:
1448923
15
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:
1448933
16
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:
1448998
17
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:
1448942
Event website:
18
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:
1448962
Event website:
19
FSCD — 7th International Conference on Formal Structures for Computation and Deduction
02 Aug 2022 - 05 Aug 2022 • Haifa, Israel
20
NALOMA'22 — NATURAL LOGIC MEETS MACHINE LEARNING III
08 Aug 2022 - 12 Aug 2022 • Galway, Ireland
Organizer:
Workshop @ESSLLI 2022
Event listing ID:
1489045
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:
1449089
Event website:
22
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:
1484287
Related subject(s):
23
30 Years of Fi­nite Model The­ory in Fin­land
21 Aug 2022 - 23 Aug 2022 • Helsinki, Finland
Organizer:
University of Helsinki
Abstract:
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.
Event listing ID:
1489098
24
AiML 2022 — Advances in Modal Logic
22 Aug 2022 - 25 Aug 2022 • Rennes, France
Abstract:
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.
Event listing ID:
1489085
25
BTA?! — Philosophy of Mathematics Beyond the Armchair?!
22 Aug 2022 - 26 Aug 2022 • Heinrich Heine University Düsseldorf, Germany
Abstract:
Summerschool on experimental methods in the philosophy of mathematics.
Event listing ID:
1489031
26
2nd Annual Pharma Innovation Tech Congress 2022
25 Aug 2022 • Mumbai, India
Organizer:
Virtue Insight
Contact:
Phone: [9361957193];     Email: kavitha@virtueinsight.co.in
Topics:
Blockchain, Artificial Intelligence, IoT, AI, interntet of things, pharma, healthcare, BigData, Drug Discovery, Pharmaceuticals
Event listing ID:
1492443
27
LAMAS&SR workshop — International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
25 Aug 2022 - 26 Aug 2022 • Rennes, France
Abstract:
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.
Abstract submission deadline:
05 Jun 2022
Event listing ID:
1489051
28
European Set Theory Conference 2022
29 Aug 2022 - 02 Sep 2022 • Turin, Italy
Abstract:
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.
Abstract submission deadline:
30 Apr 2022
Event listing ID:
1489105
29
MCU 2022 — 9th Conference on Machines, Computations and Universality
31 Aug 2022 - 02 Sep 2022 • Debrecen, Hungary
Organizer:
University of Debrecen
Abstract:
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.
Topics:
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.
Event listing ID:
1489104
30
13th edition of PhDs in Logic
05 Sep 2022 - 07 Sep 2022 • Turin , Italy
Organizer:
Campus Luigi Einaudi, University of Turin
Abstract:
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.
Abstract submission deadline:
15 May 2022
Event listing ID:
1489167
Event website:
31
European Summer School on the Philosophy of Mathematics
05 Sep 2022 - 09 Sep 2022 • Konstanz, Germany
Organizer:
Universität Konstanz
Abstract:
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.
Event listing ID:
1489135
32
LATD 2022 — Algebra and Truth Degrees 2022
05 Sep 2022 - 10 Sep 2022 • Paestum (Salerno), Italy
Abstract:
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.
Event listing ID:
1489070
33
Incontro di Logica
12 Sep 2022 - 15 Sep 2022 • Caserta, Italy
Abstract:
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.
Topics:
category theory, computability theory, model theory, logic and computer science, logic and philosophy, non-classical logics, proof theory, set theory.
Abstract submission deadline:
30 Apr 2022
Event listing ID:
1489111
34
COMMA 2022 — 9th International Conference on Computational Models of Argument
14 Sep 2022 - 16 Sep 2022 • Cardiff University in Wales, United Kingdom
Abstract:
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.
Event listing ID:
1489154
35
CICM 2022 — 15th Conference on Intelligent Computer Mathematics
19 Sep 2022 - 23 Sep 2022 • Tbilisi – hybrid, Georgia
Abstract:
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.
Topics:
CICM 2022 will be a part of the Computational Logic Autumn Summit, CLAS 2022
Abstract submission deadline:
23 May 2022
Event listing ID:
1489207
36
ISR 2022 — 13th International School of Rewriting
19 Sep 2022 - 24 Sep 2022 • Tbilisi, Georgia
Abstract:
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
Event listing ID:
1489217
37
WoLLIC 2022 — 28th Workshop on Logic, Language, Information and Computation
20 Sep 2022 - 23 Sep 2022 • Alexandru Ioan Cuza University, Iaşi, Romania
Abstract:
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.
Abstract submission deadline:
10 May 2022
Event listing ID:
1489247
38
LSFA22 — 17th International Workshop on Logical and Semantic Frameworks, with Applications
23 Sep 2022 - 24 Sep 2022 • Belo Horizonte, MG, Brazil
Abstract:
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.
Event listing ID:
1489224
39
FATIL2022 — The First International Conference on Foundations, Applications, and Theory of Inductive Logic
12 Oct 2022 - 14 Oct 2022 • Munich, Germany
Abstract:
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.
Event listing ID:
1489254
40
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:
1485304
41
Model theoretic aspects of the notion of independence and dimension
12 Dec 2022 - 14 Dec 2022 • Kyoto University, Japan
Organizer:
The Research Institute for Mathematical Sciences (RIMS)
Event listing ID:
1490113
Related subject(s):
42
Resolutions in Local Algebra and Singularity Theory
05 Feb 2023 - 11 Feb 2023 • Oberwolfach, Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Abstract:
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.
Event listing ID:
1494756
Related subject(s):
43
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:
1461238
44
Workshop — Operator Algebras and Applications: Connections with Logic
28 Aug 2023 - 01 Sep 2023 • The Fields Institute, Toronto, Ontario, Canada
Organizer:
The Fields Institute
Abstract:
Scheduled as part of Thematic Program on Operator Algebras and Applications
Event listing ID:
1494486
Related subject(s):
45
Mathematical Logic: Proof Theory, Constructive Mathematics
12 Nov 2023 - 18 Nov 2023 • Oberwolfach, Germany
Organizer:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1495221
Related subject(s):


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: 01 July 2022