4 - 6 May 2017, Formal Methods and Science in Philosophy 2, Dubrovnik, Croatia
The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.
The conference will include a special session "Logic, concepts and communication", a panel discussion "Proposal of a BD/MD/PhD in philosophy on: Philosophy & Computer Science. A perspective for applied formal philosophy", and a PhD session with 20 minutes talks followed by 10 minutes discussion.
Please, submit a 600 characters abstract for a 30 minutes talk (+ 10 minutes discussion). Please, indicate if the abstract is meant for a PhD session.