Beijing International Summer Workshop on Formal Philosophy aims to gather students and researchers with interests in both formal tools and philosophy and facililate interdisciplinary mutual understanding and collaboration. 

Submission Guidelines

Recently published papers and substantially developed drafts that can be broadly construed as formal philosophy are welcome. Graduate students are especially encouraged to submit. Accepted talks will be about 50-min long (Q&A included). We expect to have 6 to 8 more talks. If you need a visa to visit China, you can email us to have an early consideration, but you may also want to check out this page. 

Example Topics

• Philosophical logic
• Logic and metaphsics
• Formal semantics
• Formal epistemology
• Formal ethics (e.g., population ethics, normative economics)
• Simulation and mathematical modelling in philosophy

Organizing Committee

• Yifeng Ding (Peking University)
• Yiwen Zhan (Beijing Normal University)

Venue

The workshop will be held in Peking University on July 7th and 8th, 2025. There will be pre-workshop tutorials. More details will be published on the website voidprove.github.io/BISFORM2025.

Contact

All questions about submissions should be emailed to yf.ding@pku.edu.cn.

Sponsor

Department of Philosophy and Religious Studies, Peking University.