主题词：Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems; Philosophy and Theoretical Science; Semantic Web and Ontologies; Rough Sets and Fuzzy Logic; Classical Philosophy and Thought; History and Theory of Mathematics; Computability, Logic, AI Algorithms; Multi-Agent Systems and Negotiation; Philosophy and History of Science; semigroups and automata theory; Medieval and Classical Philosophy; Epistemology, Ethics, and Metaphysics; Formal Methods in Verification; Advanced Topology and Set Theory; Indian and Buddhist Studies; Theology and Philosophy of Evil; Philosophy, Science, and History; Historical Philosophy and Science; Karl Barth and Christian Theology; Pragmatism in Philosophy and Education; Constraint Satisfaction and Optimization; Medieval Philosophy and Theology; Multi-Criteria Decision Making