The first week of LSS is over [loc-002M]

The first week of the ANU Logic Summer School has concluded, including my introductory course on Interactive theorem proving. I think the course went well and students learnt a little of what makes theorem proving fun. Chelsea Edmonds will follow on from my course in week 2 with her own course on software verification. I hope I prepared the students well. We went on an excursion to the Tidbinbilla nature reserve (photos of which I have also previously shared on Weeknotes 2025-W27 and Weeknotes 2025-W44).

Various Australian fauna seen at Tidbinbilla

It was a lot of fun to show some of our visiting students some of the natural landscapes so easily accessible from Canberra. I think we all had a really good day, even though it was sweltering hot.