Schedule
- 2019 - first semester
Mathematical Logic for Computer Science, by Ben Ari.
Up to and including section 2.2.
Link Link- 2020 - second semester
Free style, every week someone presents something of their choosing.
Details to be found on the SAMOA calendar.