Meetings/Workshops on Mathematical Logic and Foundations in China

Select a location
1
TLLM 2020 — Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning
30 Oct 2020 - 01 Nov 2020 • Beijing, China
Organizer:
Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Abstract:
Monotonicity, in various forms, is a pervasive phenomenon in logic, linguistics, and related areas. In theoretical linguistics, monotonicity properties are relevant to a large array of semantic phenomena and to the presence of pragmatic inferences such as scalar implicatures. In logic and mathematics, monotonicity guarantees the existence of fixed points and the well-formedness of inductive definitions. Also, monotonicity is closely tied to reasoning, in formal as well as natural languages. Recent logical and linguistic work on monotonicity has also found its way into computation systems for natural language processing and cognitive models of human reasoning. The goal of our workshop is to bring together researchers working on monotonicity or related properties, from different fields and perspectives.
Event listing ID:
1356632
2
New Frontiers in Proofs and Computation
12 Sep 2021 - 17 Sep 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:
This workshop is dedicated to Hao Wang, for his pioneering work in connecting human and formal thinking that permeates (O1)-(O3). A greater understanding of these topics will no doubt lead to a better understanding of computation in mathematics and computer science, and increase the prominence of mathematical logic and proof theory in China, Asia, and the world.
Event listing ID:
1364925
3
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:
1364976


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: 08 July 2020