Formal Philosophy of Mathematics (ForMat) Seminar is a common meeting place of several research projects in the philosophy of mathematics currently taking place in Poland. The common theme in all the project is modelling philosophical problems via formal tools of contemporary mathematical logic. The seminar is open to undergraduate students.
The seminar takes place every other Monday at 4.45 in the building of the Faculty of Philosophy of the University of Warsaw (Krakowskie Przedmieście 3, Warsaw) in room 4. For the details about the meetings (including their zoom transmission, please go to Meetings.
ForMat is an expansion of an earlier Implicit Seminar.