Room 112+113

Capacity: 25+25

### Sessions

- Session 3F
`(Aug 05 15:15-16:15)`C1/C5 Studies on mathematical practice and cognition 1 - Session 4F
`(Aug 05 16:45-17:45)`C1/C5 Studies on mathematical practice and cognition 2 - Session 5C
`(Aug 06 09:00-10:30)`C1 SYMP Association for the Philosophy of Mathematical Practice Symposium 1 (APMP-1) - Session 6C
`(Aug 06 11:00-12:30)`C1 SYMP Association for the Philosophy of Mathematical Practice Symposium 2 (APMP-2) - Session 7C
`(Aug 06 14:00-15:00)`C1 SYMP Association for the Philosophy of Mathematical Practice Symposium 3 (APMP-3) - Session 8C
`(Aug 06 15:15-16:15)`C1 SYMP Association for the Philosophy of Mathematical Practice Symposium 4 (APMP-4) - Session 9C
`(Aug 06 16:45-17:45)`C1 SYMP Association for the Philosophy of Mathematical Practice Symposium 5 (APMP-5) - Session 13A
`(Aug 07 14:00-15:00)`C1 SYMP Text-driven approaches to the philosophy of mathematics 1 (TDPhiMa-1) - Session 14A
`(Aug 07 15:15-16:15)`C1 SYMP Text-driven approaches to the philosophy of mathematics 2 (TDPhiMa-2) - Session 15A
`(Aug 07 16:45-17:45)`C1 SYMP Text-driven approaches to the philosophy of mathematics 3 (TDPhiMa-3) - Session 16A
`(Aug 07 18:00-19:00)`C1 SYMP Text-driven approaches to the philosophy of mathematics 4 (TDPhiMa-4) - Session 18D
`(Aug 08 11:00-12:30)`C1 SYMP Styles in mathematics 1 (SIM-1) - Session 19D
`(Aug 08 14:00-15:00)`C1 SYMP Styles in mathematics 2 (SIM-2) - Session 20D
`(Aug 08 15:15-16:15)`C1 SYMP Styles in mathematics 3 (SIM-3) - Session 24B
`(Aug 09 11:00-12:30)`A1 SYMP Symposium on higher Baire spaces 1 (SGBS-1) - Session 25B
`(Aug 09 14:00-14:30)`A1 SYMP Symposium on higher Baire spaces 2 (SGBS-2) - Session 26B
`(Aug 09 15:15-16:15)`A1 SYMP Symposium on higher Baire spaces 3 (SGBS-3) - Session 28C
`(Aug 10 09:00-10:30)`C1 SYMP Formalism, formalization, intuition and understanding in mathematics: From informal practice to formal systems and back again 1 (FFIUM-1) - Session 29C
`(Aug 10 11:00-12:30)`C1 SYMP Formalism, formalization, intuition and understanding in mathematics: From informal practice to formal systems and back again 2 (FFIUM-2) - Session 30C
`(Aug 10 14:00-15:00)`C1 SYMP Formalism, formalization, intuition and understanding in mathematics: From informal practice to formal systems and back again 3 (FFIUM-3) - Session 31C
`(Aug 10 15:15-16:15)`C1 Philosophy of the formal sciences