The department of Philosophy at CMU is organizing a summer school focusing on logic and formal epistemology. Information and instructions for application can be found at:
The school intends to expose undergraduate students to topics in the aforementioned areas. Thanks to the support of NSF the school is free! Informal inquiries may be directed to Jeremy Avigad (firstname.lastname@example.org). Hope you can disseminate this info among some of your promising undergraduate students.