2020-06-01 14:53:57 (GMT)
Should we decide today?
2020-06-01 14:57:0 (GMT)
I think the idea is to decide by 5pm CET in the Monday after the previous meeting?
2020-06-01 14:57:35 (GMT)
So, in 3 minutes? :thinking:
2020-06-01 14:58:10 (GMT)
right haha
2020-06-01 21:3:4 (GMT)
So I guess that we should settle for Backing Backtracking
2020-06-01 21:4:32 (GMT)
I think so. Going lower level!!
2020-06-02 5:33:31 (GMT)
Are you guys working on a holiday?
2020-06-02 12:48:16 (GMT)
Yesterday was not a holiday here but you made me check and I realized that June 11 actually is one here, hadn't noticed... (working in the USA killed my ability of checking for holidays). I think I'll still join the bookclub though
2020-06-02 13:10:6 (GMT)
What do you mean, "holiday" ? :p
2020-06-08 12:7:31 (GMT)
Thanks for reminding me about the public holiday.
This means I won't attend this time and, more importantly, it means that someone else needs to create a chat room for the discussion. You won't be able to use the usual platform since it needs a member of the MPII to create the chat room. An alternative could be meet.jit.si which is a public instance of the same software, but since the annoying one without google or microsoft account will be away you may have more flexibility...
Have fun!
2020-06-08 12:15:5 (GMT)
I will attend and my MPI account works for jitsi, so I could create the meeting room.
2020-06-08 12:17:38 (GMT)
Right, I forgot you still have your credentials. ^^
2020-06-11 5:30:25 (GMT)
Let's meet this afternoon on https://jitsi.mpi-klsb.mpg.de/bookclub6_backing_backtracking
2020-06-11 14:12:42 (GMT)
On-the-fly-self-subsumption: https://link.springer.com/chapter/10.1007%2F978-3-642-02777-2_21 and https://ieeexplore.ieee.org/document/5364298 (both set of authors came up with the same idea)
2020-06-11 14:15:38 (GMT)
First, this is the week before IJCAR and and after PODS and during the FMCAD rebuttal. If you plan to attend that meeting please upvote this message before Monday 15th!