Zulip Chat Archive

Stream: general

Topic: summer school

view this post on Zulip Jeremy Avigad (Jan 28 2019 at 01:31):


Every summer, the Department of Philosophy at Carnegie Mellon University offers a three-week summer school for undergraduates. It focuses on topics at the intersection between philosophy and the sciences, such as logic, statistics, linguistics, and so on.

This year, it will be held June 3-21, and I'll be introducing students to interactive theorem proving and Lean in the first week:


Please share this information with any students who may be interested.

view this post on Zulip Rob Lewis (Jan 28 2019 at 11:49):

As someone who attended this summer school (a long time ago): it's great, and very worthwhile!

Last updated: May 14 2021 at 07:19 UTC