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.