2020-07-23 14:8:54 (GMT)
2020-07-23 14:9:21 (GMT)
2020-07-23 14:12:0 (GMT)
According to the planning the next session should be on the 6th of August. Who is here on that day?
2020-07-23 14:29:47 (GMT)
I'm not sure. Maybe we can postpone next meeting until after the holidays?
2020-07-23 15:13:57 (GMT)
Which holidays?
2020-07-23 15:45:7 (GMT)
The general fuzzy notion of holidays in France, I guess.
2020-07-23 16:8:17 (GMT)
Fuzzy? In France everybody seems to be gone for the whole of August.
2020-07-24 7:5:37 (GMT)
I would rather say that the peak of holiday in France is "end of July - beginning of August", but that may be specific to school-children parents (by the way, I'll be back to work by mid-August :grinning_face_with_smiling_eyes: )
2020-07-24 7:13:35 (GMT)
So I am all for scheduling the next bookclub in a month.
2020-07-24 8:6:52 (GMT)
I'll be gone for two weeks in September.
2020-07-24 8:7:6 (GMT)
Of course, feel free to have the book club without me. ;)
2020-07-24 8:7:59 (GMT)
"A unified ordering for termination proving"
2020-07-24 8:9:13 (GMT)
2020-08-18 13:45:28 (GMT)
So, did the bookclub meeting take place on the 6th?
2020-08-18 13:49:53 (GMT)
Not that I know of :)
:wave: @Sophie Tourret !
2020-08-18 14:8:49 (GMT)
So, when is the next? The contenders are (staying with Thurdays at 15:00 CET):
2020-08-18 14:9:5 (GMT)
20/08
2020-08-18 14:9:23 (GMT)
27/08
2020-08-18 14:9:32 (GMT)
03/09