vallinder comments on Philosophy that can be “taken seriously by computer scientists”

[vallinder]

For those interested, the CMU philosophy department organizes an annual summer school in logic and formal epistemology.