BIRS-IASM Workshop

• BIRS-IASM Workshop: New Frontiers in Proofs and Computation
• Date：September 12 to September 17, 2021
• Place： The Institute for Advanced Study in Mathematics, Hangzhou, China

International Logic Workshop at Wuhan University

• Title: International Workshop on Gödel's Incompleteness Theorems (Online)
• Date： August 16-20, 2021
• Host: School of Philosophy, Wuhan University

The European Summer Meeting of the Association for Symbolic Logic

• Title: Logic Colloquium 2021
• Date： July 19th to July 24th, 2021
• Place： The Adam Mickiewicz University in Poznań, Poland （online)

International conference on incompleteness

• Title: Celebrating 90 Years of Gödel's Incompleteness Theorems
• Date： July 5-9, 2021.
• Organizers: Carl Friedrich von Weizsäcker Center, Kurt Gödel Society, the ERC-funded project Gödel En­igma: Re­dis­cov­er­ing Kurt Gödel through his un­pub­lished works, headed by Jan von Plato

Oberwolfach Workshop

• Workshop Title: Proof Theory, Constructive Mathematics
• Date：8 Nov-14 Nov 2020
• Place：Oberwolfach Research Institute for Mathematics, Oberwolfach, Germany

Proof Theory Virtual Seminar

• Seminar series: Proof Theory Virtual Seminar
• Date：Starting from October 7, 2020
• Support by the Proof Society and the Technical University of Darmstadt. See the link for more details.

LFM Online Lecture

• Lecture Title: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?
• Date and Time：2021-06-22, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Albert Visser (School of Philosophy, Utrecht University, Netherlands)

LFM Online Lecture

• Lecture Title: Flexible Turing Machines
• Date and Time：2021-06-15, 9:00-11:00 Beijing Time (UTC 1:00-3:00)
• Speaker: Prof. Ali Enayat (Professor of Logic, University of Gothenburg, Sweden)

LFM Online Lecture

• Lecture Title: The journey from Peano Arithmetic to proof complexity
• Date and Time： 2021-05-18, 16:00-18:00 Beijing Time (UTC 8:00-10:00)
• Speaker: Prof. Pavel Pudlák (Mathematical Institute of the Czech Academy of Sciences, Czech)

LFM On-site Lecture

• Lecture Title: Equivalence relation and Borel reduction
• Date and Time： 2021-04-17, 9:30-11:30 Beijing Time （UTC 1:30-3:30)
• Speaker: Prof. Longyun Ding (School of Mathematical Sciences, Nankai University, China)

LFM Online Lecture

• Lecture Title: Interactive theorem proving and the Lean theorem prover
• Date and Time： 2021-04-07, 9:30-11:30 Beijing Time （UTC 1:30-3:30)
• Speaker: Prof. Jeremy Avigad (Department of Philosophy and Mathematical Sciences, Carnegie Mellon University, USA)

LFM Online Lecture

• Lecture Title: Well ordering principles and a uniform Kruskal theorem
• Date and Time： 2021-03-23, 16:00-18:00 Beijing Time （UTC 8:00-10:00)
• Speaker: Dr. Anton Freund (Department of Mathematics, Technical University of Darmstadt, Germany)

LFM Online Lecture

• Lecture Title: Proof Theory: From the Foundations of Mathematics to Applications in Core Mathematics
• Date and Time： 2021-03-09, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Ulrich Kohlenbach (Department of Mathematics, Technical University of Darmstadt, Germany)

LFM Online Lecture

• Lecture Title: Some simple proofs in Reverse Mathematics
• Date and Time： 2021-02-26, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Yue Yang (School of Mathematics，National University of Singapore, Singapore)

LFM Online Lecture

• Lecture Title: Reflection Algebras and Progressions
• Date and Time： 2020-01-21, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Lev D. Beklemishev (Steklov Institute of Mathematics, Russian Academy of Sciences)

LFM Online Lecture

• Lecture Title: Kurt Gödel and Alfred Tarski:The Extremes of Logic
• Date and Time： 2021-01-14, 19:30-21:30 Beijing time（UTC 11:30-13:30）
• Speaker: Prof. Matthias Baaz (Department of Mathematics，Vienna University of Technology)

LFM Online Lecture

• Lecture Title: Analysis of Leibniz’s Dream
• Date and Time： 2021-01-14, 15:30-17:30 Beijing time（UTC 7:30-9:30）
• Speaker: Prof. Qi Feng (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)

LFM Online Lecture

• Lecture Title: A logical problem from Reverse Mathematics
• Date and Time： 2021-01-05, 15:00-17:00 Beijing time（UTC 7:00-9:00)
• Speaker: Prof. Chong Chi Tat (School of Mathematics, National University of Singapore)

LFM Online Lecture

• Lecture Title: A physical philosophy of mathematics
• Date and Time： 2020-12-22 9:00-11:00 Beijing time（UTC 1:00-3:00)
• Speaker: Prof. Feng Ye (Department of Philosophy, Capital Normal University，China)

LFM Online Lecture

• Lecture Title: A brief introduction to the axiom of choice
• Date and Time： 2020-12-21， 15:00-16:00 Beijing time（UTC 7:00-8:00)
• Speaker: Dr. Liuzhen Wu (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)

LFM Online Lecture

• Lecture Title: How Many Real Numbers are There?
• Date and Time： 2020-12-08 16:00-18:00 Beijing time（UTC 8:00-10:00)
• Speaker: Prof. Ralf Schindler (Department of Mathematics, University of Muenster，Germany)

LFM Online Lecture

• Lecture Title: Kripke-Platek set theory
• Date and Time： 2020-12-01, 19:00-21:00 Beijing time (UTC 11:00-13:00)
• Speaker: Dr. Fedor Pakhomov (Steklov Mathematical Institute of Russian Academy of Sciences, Russia)

LFM Online Lecture

• Lecture Title: Some theorems are more equal than others: a slow introduction to Reverse Mathematics
• Date and Time： 17 November 2020, 19:00-21:00 Beijing time (UTC 11:00-13:00)
• Speaker: Dr. Sam Sanders (School of Mathematics, TU Darmstadt, Germany)

LFM Online Lecture

• Lecture Title: Iterated consistency, reflection and foundations of mathematics
• Date and Time： 3th November 2020, 17:00-19:00 Beijing time (UTC 9:00-11:00)
• Speaker: Prof. Joost J. Joosten (School of Philosophy，University of Barcelona, Spain)

LFM Online Lecture

• Lecture Title: Cut elimination and provably recursive functions
• Date and Time： 27th October 2020, 19:00-21:00 Beijing time (UTC 11:00-13:00)
• Speaker: Prof. Andreas Weiermann (School of Mathematics, University of Gehent, Belgium)

LFM Online Lecture

• Lecture Title: Proof Theory: From Arithmetic to Set Theory
• Date and Time： 13th October 2020, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Michael Rathjen (School of Mathematics, University of Leeds, UK)

LFM Online Lecture

• Lecture Title: Provability Logic and Modalised Fixed Points
• Date and Time： 29 September 2020, 19:00-21:00 Beijing time (UTC 11:00-13:00)
• Speaker: Prof. Albert Visser (School of Philosophy，University of Utrecht, Netherlands)

LP On-site Lecture

• Lecture Title: Objectivism and the dividing line theory in philosophy of mathematics
• Date and Time：2021-06-24, 9:00-11:00 Beijing time
• Speaker: Prof. Zhaokuan Hao (School of Philosophy, Fudan University, China)

LP On-site Lecture

• Lecture Title: How to account for the falsity of a positive proposition and the truth of a negative proposition: on the so-called "negative facts"
• Date and Time：2021-06-18, 18:30-21:00 Beijing Time
• Speaker: Prof. Bo Chen (Department of Philosophy, Peking University, China)

LP Online Lecture

• Lecture Title: Self-reference, truth, and provability
• Date and Time： 2021-06-02, 19:00-21:00 Beijing Time （UTC 11:00-13:00)
• Speaker: Prof. Volker Halbach (School of Philosophy, Oxford University, UK)

LP On-site Lecture

• Lecture Title: Logics for Social Agency
• Date and Time： 2021-05-07, 19:00-21:00 Beijing Time
• Speaker: Prof. Fenrong Liu (School of Philosophy, Tsinghua University, China)

LP Online Lecture

• Lecture Title: On the Question of Whether the Mind Can be Mechanized
• Date and Time： 2021-04-21, 9:30am-11:30am Beijing Time （UTC 1:30am-3:30am)
• Speaker: Prof. Peter Koellner (School of Philosophy, Havard University, USA)

LP On-site Lecture

• Lecture Title: Reality, existence, and abstract representations
• Date and Time： 2021-04-09, 15:00-17:00 Beijing Time
• Speaker: Prof. Qi Feng (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)