Jasmin Blanchette
2020-04-16 7:49:54 (GMT)
Reminder: It's today!
Petar Vukmirovic
2020-04-16 8:31:18 (GMT)
Jasmin Blanchette said:
Reminder: It's today!
I somehow missed this title!!!!
So I did not get to read the paper :frown: I will miss this meeting then :frown:
Sophie
2020-04-16 8:51:36 (GMT)
Next time, let's create the "time: title" thread as soon as we know these two things!
Sophie
2020-04-16 12:54:44 (GMT)
I got my hands on a zoom account. I created a meeting room for us so that we can test if this works better for Haniel.
Sophie
2020-04-16 12:56:6 (GMT)
Here is the invitation:
Topic: bookclub: solving SAT and SMT
Time: Apr 16, 2020 04:00 PM Amsterdam, Berlin, Rome, Stockholm, Vienna
Join Zoom Meeting
https://zoom.us/j/91305696859?pwd=UFNRWlRsNWRWbnFBNUhqV1hqOHpvZz09
Meeting ID: 913 0569 6859
Password: 720595
One tap mobile
+496971049922,,91305696859# Germany
+493056795800,,91305696859# Germany
Dial by your location
+49 69 7104 9922 Germany
+49 30 5679 5800 Germany
+49 695 050 2596 Germany
+1 669 900 9128 US (San Jose)
+1 253 215 8782 US
+1 301 715 8592 US
+1 312 626 6799 US (Chicago)
+1 346 248 7799 US (Houston)
+1 646 558 8656 US (New York)
Meeting ID: 913 0569 6859
Find your local number: https://zoom.us/u/aeij1VH88p
Sophie
2020-04-16 14:0:39 (GMT)
Its bookclub time!
Mathias Fleury
2020-04-16 14:4:44 (GMT)
I will be late (defense dry run) or too late
Simon Cruanes
2020-04-16 14:20:8 (GMT)
Hans-Jörg
2020-04-16 14:54:59 (GMT)
Sorry my (4G) internet failed and it seems like the bookclub was over when I got it working again. It should be better next time: the internet is scheduled to arrive on Monday.
Haniel Barbosa
2020-04-16 15:6:53 (GMT)
Had forgotten of your internet predicament... glad it will be over soon :)