Beijing International Summer Workshop on Formal Philosophy 2025 at Peking University on July 7-8 is calling for presenters.

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.

Currently confirmed speakers include:

Snow Zhang (UC Berkeley)
Zach Goodsell (NUS)
Frank Hong (HKU)
Ethan Jerzak (NUS)
Ru Ye (Wuhan U.)
Guanglong Luo (Nankai U.)
...

Website: https://voidprove.github.io/BISFORM2025/
Submission Deadline: May 7, 2025
Conference Dates: July 7-8, 2025
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.
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.
Submission link: https://easychair.org/cfp/BISFORM2025
Example Topics: The areas of interest include, but are not limited to:

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

Contact: All questions about submissions should be emailed to yf.ding [at] pku.edu.cn.

https://voidprove.github.io/BISFORM2025/