2020-11-16 8:40:0 (GMT)
The paper with the most votes for next week is "Kodkod: a relational model finder". I have updated the thread's title. See you next week.
2020-11-26 12:15:29 (GMT)
The link you have all been waiting for: https://jitsi.mpi-klsb.mpg.de/sneeuwbal_bookclub
See you at 15:00!
2020-11-26 13:59:27 (GMT)
I will not join today, see you next time.
2020-11-28 20:18:3 (GMT)
So sorry, I forgot, what with my new baby and all that :/