Plenary 3 Joel D. Hamkins

ERC panel

A1 SYMP Symposium on higher Baire spaces 1 (SGBS-1)

A1 SYMP Proof and translation: Glivenko's theorem 90 years after 1 (Glivenko-1)

B1 SYMP From contradiction to defectiveness to pluralism 1 (FCDP-1)

IS A2 Goranko

C5 Philosophy of the cognitive and behavioral sciences

B6 History of science 1

C3 Issues in the philosophy of explanation

B2 Game theory, probability, social choice 2

A3 Formal philosophy

C7 Philosophy of the humanities and social sciences

A2 Modalities, change and identity 1

A2 Semantic analysis of logics and natural language 1

IS C2 Halvorson

A1 SYMP Symposium on higher Baire spaces 2 (SGBS-2)

A1 SYMP Proof and translation: Glivenko's theorem 90 years after 2 (Glivenko-2)

B1 SYMP From contradiction to defectiveness to pluralism 2 (FCDP-2)

B1/C9 Philosophy of science in practice

A2 SYMP New directions in connexive logic 1 (NDCXL-1)

B6 History of science 2

C3 Understanding systems and networks in the life sciences 1

B5 Science and society

C1 Geometry

B2 Game theory, probability, social choice 3

A2 Modalities, change and identity 2

A2 Semantic analysis of logics and natural language 2

C6 SYMP Philosophy of Big Data 1. Symposium of the History and Philosophy of Computing division of the DLMPST (Big Data-1)

A1 SYMP Symposium on higher Baire spaces 3 (SGBS-3)

A1 SYMP Proof and translation: Glivenko's theorem 90 years after 3 (Glivenko-3)

B1 SYMP From contradiction to defectiveness to pluralism 3 (FCDP-3)

A2 SYMP New directions in connexive logic 2 (NDCXL-2)

B6 SYMP International year of the periodic table 1 (IYPT-1)

C3 Understanding systems and networks in the life sciences 2

A3 Modal logic

A1 SYMP Commitments of foundational theories 1 (CFT-1)

B1 Methodology and praxis

A2 Modalities, change and identity 3

A2 Semantic analysis of logics and natural language 3

C6 SYMP Philosophy of Big Data 2. Symposium of the History and Philosophy of Computing division of the DLMPST (Big Data-2)

A1 SYMP Proof and translation: Glivenko's theorem 90 years after 4 (Glivenko-4)

B1 SYMP From contradiction to defectiveness to pluralism 4 (FCDP-4)

B2 Heuristics

A2 SYMP New directions in connexive logic 3 (NDCXL-3)

B6 SYMP International year of the periodic table 2 (IYPT-2)

C3 Information in biology

A1 SYMP Commitments of foundational theories 2 (CFT-2)

A3 Semantics

A1 Mathematical logic 4: Proof theory

A2 Modalities, change and identity 4

A2 Semantic analysis of logics and natural language 4

Congress dinner