The first (but certainly not last!) workshop on the Formalization of Physics, held this week at ICARM (Carnegie Mellon University).
It was great fun, and extremely stimulating. We need to adapt, but the future of physics is bright!
It was great fun, and extremely stimulating. We need to adapt, but the future of physics is bright!