2020-03-25 21:58:27 (GMT)
Stream created by Alexander Bentkamp.
2020-03-25 21:59:1 (GMT)
So, what is it gonna be? ;)
2020-03-25 21:59:33 (GMT)
2020-03-25 22:1:37 (GMT)
I thought you said only 2 out of 3 papers by Ahmed were accepted, but this looks like it's 3/3.
2020-03-25 22:4:38 (GMT)
Oh, I didn't know that Simon also submitted a paper at IJCAR!
2020-03-26 0:4:18 (GMT)
I'd be quite interested in Korovin et al.'s paper on iProver+superposition, too
2020-03-26 6:47:34 (GMT)
I was thinking the same thing.
2020-03-26 7:1:1 (GMT)
I've asked the authors for the PDF.
Actually, they were lucky I wasn't a reviewer; I would surely have subtracted 1 or 2 points for cheating both with the font and, what's worse, with the margin. Some conferences would desk-reject such submissions.
2020-03-26 12:6:40 (GMT)
I am also up for this :)
2020-03-26 12:20:4 (GMT)
I'll send you the PDF in an email.
2020-03-26 13:14:22 (GMT)
Funny to see Jasmin threatening to subtract points for font cheating :rolling_on_the_floor_laughing:
2020-03-26 13:16:13 (GMT)
Simon pointed me this reading group, I'm interested as well :)
2020-03-26 13:16:45 (GMT)
From the accepted papers at IJCAR I'm quite curious also about Stephane et al.'s Solving bit-vectors with MCSAT: explanations from bits and pieces
2020-03-26 13:17:8 (GMT)
That's cool, thanks for the paper. Should we have a topic for proposals? And one topic per paper?
What's the deadline for reading that one? :)
2020-03-26 13:27:56 (GMT)
next wednesday then? I imagine we'd have a call?
2020-03-26 13:28:16 (GMT)
(@Jasmin Blanchette you replied to the new topic ;), no big deal)
2020-03-26 13:28:38 (GMT)
Should we have a topic for proposals? And one topic per paper?
I'm confused.
2020-03-26 13:29:2 (GMT)
Ah, topics in Zulip you mean.
2020-03-26 13:29:34 (GMT)
Right let's have a call/
2020-03-26 13:30:4 (GMT)
16:00 European time?
2020-03-26 13:30:22 (GMT)
I'm guessing it's going to be 10:00 D.C. time by then.
2020-03-26 13:31:11 (GMT)
I think so. That sounds good to me.
2020-03-26 13:31:50 (GMT)
Can it be Thursday?
2020-03-26 13:31:56 (GMT)
Look at @Haniel Barbosa and his many social obligations :p
(but yeah, I'm fine with that)
2020-03-26 13:32:34 (GMT)
I have fewer now, so it's funny there was still a clash :)
2020-03-26 13:53:38 (GMT)
Wednesday / Thursday should work for me (as long as the distancing measures are in fact for sure) unless someone schedules an online teeching meeting, which i don't expect
2020-03-30 7:40:12 (GMT)
So, what is the current plan regarding this bookclub. Do we schedule a meeting this week? Who shall proceed with the paper selection?
2020-03-30 7:48:9 (GMT)
By reading this thread again carefully, I realized a date has been suggested already: Thursday (02/04) this week at 16:00 (Amsterdam, Saarbrücken time zone). This is fine with me, but the question of the paper to read is still open. Or will that be a meeting to decide on the paper to read until the next meeting?
2020-03-30 14:56:30 (GMT)
The paper for this week is definitely the iProver+superposition one, right?
2020-03-30 15:0:44 (GMT)
Right.
2020-03-30 15:48:54 (GMT)
Simon Cruanes said:
The paper for this week is definitely the iProver+superposition one, right?
Is it possible to obtain a PDF of the paper?
2020-03-30 15:51:38 (GMT)
I just sent it to you.
2020-03-30 18:44:49 (GMT)
@Jasmin Blanchette Can you send it to me too? (Sorry if I missed where to get the paper.)
2020-03-30 20:36:38 (GMT)
Got it! Thanks @Simon Cruanes .
2020-04-02 12:52:34 (GMT)
I think it's time to find a URL for the meetup, right?
2020-04-02 12:59:17 (GMT)
2020-04-02 12:59:42 (GMT)
But be warned that I have never tested this plateform with more than 3 people at once.
2020-04-02 13:1:23 (GMT)
Also, I was advised that with more than 4 people, everyone should use either chromium or chrome because "the WebRTC implementation allows better bandwidth management (Simulcast)"
2020-04-02 13:3:35 (GMT)
See you soon!
2020-04-02 13:36:35 (GMT)
Well it doesn't work anyway with Safari, so I'm going Chrome.
2020-04-02 14:2:21 (GMT)
Are you here?
2020-04-02 14:2:25 (GMT)
Sophie are you hosting?
2020-04-02 14:4:51 (GMT)
Same here.
2020-04-02 14:4:52 (GMT)
This is the first time I am asked for a user-password combo. I didn't know about this feature (and I have no idea what the user password should be), so I will create a new room and send the new URL around.
2020-04-02 14:5:21 (GMT)
ok.
2020-04-02 14:6:48 (GMT)
Ok, it seems they added a door. I connected so you can now use the previous link (as some of you already noticed).
2020-04-02 15:6:5 (GMT)
I'm having a succession of work meetings right now, but it was nice! If you discuss the next paper I'm interested in knowing y'all's pick.
2020-04-02 15:7:58 (GMT)
Working.
2020-04-02 15:7:59 (GMT)
Working.
2020-04-02 15:8:1 (GMT)
Working
2020-04-02 15:8:3 (GMT)
Working.
2020-04-02 15:8:4 (GMT)
Working.
2020-04-02 15:8:6 (GMT)
Working.
2020-04-02 15:8:19 (GMT)
Everybody else is gone.
2020-04-02 15:8:23 (GMT)
Seems to be working still.
2020-04-02 15:8:24 (GMT)
:laughing:
2020-04-02 15:8:42 (GMT)
Thanks!
2020-04-02 15:10:44 (GMT)
@Jasmin Blanchette spam, spam, spam, bacon, eggs, and spam
2020-04-06 8:42:8 (GMT)
About the platform, I noticed the connectivity was not ideal, in particular for Haniel. Should we look for something else or are you fine with Jitsi (in particular @Haniel Barbosa )?
2020-04-06 13:5:14 (GMT)
That morning my internet was unstable, it might just have been that. That said, though, I have had meetings with hangout and zoom without issues for a long time now. Zoom has the issue of needing somebody with a paid account to have more than 40min meetings (and some security issues apparently, of which I don't know much about)
2020-04-08 15:20:36 (GMT)
at what day does the discussion happen?
2020-04-08 15:40:30 (GMT)
See the "next paper and next meeting" stream. :)
2020-04-08 15:40:44 (GMT)
(It's on the left, below #bookclub.)