Professor W. Hugh Woodin will visit Fudan University from Oct 14 to Oct 21, 2018. Events.
September 28. Ningyuan Yao 姚宁远. #Fudan Logic Seminar#
September 14. Huiling Zhu 朱慧灵. #Fudan Logic Seminar#
September 8. The $\Delta_9$ Workshop will be held at Peking University.
August 20 - 31. 2018 Fudan Logic Summer School.
June 8. Yun Fan 范赟. #Fudan Logic Seminar#
May 18. Renling Jin 金人麟. #Fudan Logic Seminar#
May 11-13. 2018 Chinese Mathematical Logic Conference will be held at Qiannan Normal University for Nationalities, Guizhou.
May 4. Zachiri McKenzie. #Fudan Logic Seminar#
April 25. Ruizhi Yang 杨睿之. #Fudan Logic Seminar#
April 6. Guozhen Shen 申国桢. #Fudan Logic Seminar#. HGW2403. Slides
March 24. The $\Delta_8$ Workshop will be held at Sun Yat-sen University.
May 27. The Model Theory Workshop @ Shanghai 2017 will be held at Fudan University. Program (updated on May 23)
March 11. The $\Delta_6$ Workshop will be held at Sun Yat-sen University. Website
December 21. Dr Jan Dobrowolski will give a talk on Polish Structures. Hours: 16:00. Location: West Guanghua Tower 2403. Poster
December 17. The Fifth Delta Logic Workshop will be held at Jiangsu University. Website
December 16. Professor Difei Xu will give a talk on "Neo-Fregean Ontology". Hours: 13:30-15:00. Location: West Guanghua Tower 2403. Poster
October 25. Dr. Keita Yokoyama will give a talk on "Reverse mathematics, proof-theoretic strength and program termination". Hours: 14:00-16:00. Location: West Guanghua Tower 2403. Poster Slides
October 22. The Fourth Delta Logic Workshop will be held at Nanjing University. Website
Sept 21. Dr. Zhu Huiling will give a talk on Forcing Axioms. Hours: 14:30-16:30. Location: West Guanghua Tower 2403.
Jun 8. Dr. Yi Wang will give a talk on the models of knowledge updating. Poster Slides
May 21-22, 2016 Chinese mathematical logic conference (2016全国数理逻辑研讨会) will be held at Fudan University. Website Poster Program
April 22. Prof. Beishui Liao will give a talk on nonmonotonic logic and formal argument. Poster
March 26. The Third Delta Logic Workshop will be held at Beijing Normal University. Website
December 12-13, 2015 philosophy of mathematics colloquium and the second phenomenology and philosophy of mathematics colloquium (2015年数学哲学学术讨论会暨第二届现象学与数学哲学研讨会) will be held at Fudan University. Website Program
December 5. The Second Delta Logic Workshop will be held at Fudan University. Webpage Poster.
November 10. Dr. Sen Yang from Inner Mongolia University will give a talk on "Weak extender models of set theory" Poster.
October 20 and 21. Dr. Liuzhen Wu from Chinese academy of science will give two talks Poster.
October 10. The First Delta Logic Workshop will be held at Nanjing University. Website
September 4 and 5. Dr. Sen Yang from Inner Mongolia University will give two talks Poster.
May 8. Professor Zhaokuan Hao will give a talk titled The conflict on the conception of logic and the contemporary foundation of mathematics, and professor Feng Ye from Capital Normal University will give a critical comment. Poster.
April 17. Dr. Ningyuan Yao from Sun Yat-Sen University will give a talk titled Model Theory: From Truth to Stability.
Professor Zhaokuan Hao and Ruizhi Yang will attend 2013 Philosophy of Mathematics and Culture of Mathematics Conference hosted by Peking University from October 26 to 27 and contribute talks.
October 16. Professor Zhaokuan Hao: On complexity of non-measurable sets. Link. Slides.
Ruizhi Yang will contribute a talk on "nonabsoluteness of mathematical truth" during the 13th Asian Logic Conference. This is a joint work with Professor Joel D. Hamkins. Slides.
June 11 - June 22. Professor Joel D. Hamkins has visited Fudan. Events.
June 15. 2013 Workshop on Metamathematics and Metaphysics
April 24. Mark Steiner (Hebrew University of Jerusalem): Getting more out of mathematics than we put in. Poster.
December 12. Brent Cody: Strong axioms of infinity and the continuum function.
December 4. Brent Cody: What are strong axioms of infinity and why are they useful in mathematics?
March 20. Ruizhi Yang: How does philosohpy impact on mathematcs?