We have formed a Formal Methods Reading Group. We plan a series of meetings to read and understand Robin Milner's book "Communicating and Mobile Systems: the pi-calculus". The notes are written up after the meetings are over with the hindsight provided by discussions during the meeting.