Karl Palmskog (Dec 03 2020 at 15:17): Karl Palmskog (Dec 03 2020 at 15:17):@Cyril Cohen how about discussing lemma/definition naming suggestion (integration, etc.) Friday morning 10:30am?
Karl Palmskog (Dec 03 2020 at 15:22):(my only unavailable times Friday are 1pm-2pm and 5pm-6pm)
Cyril Cohen (Dec 03 2020 at 16:55):@Karl Palmskog I have no availability left tomorrow. We'll have to meet outside of the CUDW, sorry...
Karl Palmskog (Dec 03 2020 at 16:56):@Cyril Cohen OK, can you suggest some time next week then maybe?
Enrico Tassi (Dec 03 2020 at 17:01):@Cyril Cohen your names were bad :P
Cyril Cohen (Dec 03 2020 at 18:23):Karl Palmskog said:
Cyril Cohen OK, can you suggest some time next week then maybe?
How about Tuesday December 8th, 2pm?
Cyril Cohen (Dec 03 2020 at 18:24):Enrico Tassi said:
Cyril Cohen your names were bad :P
Which names?
Karl Palmskog (Dec 03 2020 at 18:30):How about Tuesday December 8th, 2pm?
This works well for me.
Last updated: Jun 11 2023 at 00:30 UTC