Beijing International Summer Workshop on Formal Philosophy 2025 (BISForm2025)

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.