This will be the first group study session for the online course Road to AI Safety Excellence (RAISE). We'll meet in front of the indoor entrance to the VPL Central Branch, inside the promenade, across from Flying Wedge Pizza. Please sign up for an account on the online course website at this link:

https://play.ihatestatistics.com/#/course/141?access_token=3HCK4oRipeFY2ghyYMqDJKYX57KUnzNL

We'll be making our way through the first two prerequisite modules for the course, Fundamentals of formalisation and Logic and proofs. Feel free to browse them before the session, but no preparation is necessary.