2020-04-06 8:56:27 (GMT)
I am a bit confused about who will be coauthor on which paper. There is the HOSup paper and the FO-Bool-Sup paper.
And possible coauthors are: Jasmin, Petar, Sophie, Uwe, Visa, and me. I guess @Jasmin Blanchette already has a plan for this?
Of course, these things can still change in the future, but it would be good to have a rough idea.
2020-04-06 8:58:41 (GMT)
Isn't Simon also in the list of possible coauthors?
2020-04-06 9:0:38 (GMT)
Sure, I didn't mean to exclude Simon if he wants to join!
2020-04-06 9:1:47 (GMT)
I will take a look into the paper right now :slight_smile:
2020-04-06 9:4:19 (GMT)
Sure, I didn't mean to exclude Simon if he wants to join!
I know :slight_smile: . I just remember a discussion (involving Petar I think) about him being a co-author. I could have mixed things up.
2020-04-06 9:11:57 (GMT)
I have no plan! You are the master.
2020-04-06 9:12:59 (GMT)
I'd be delighted to be a coauthor of HOSup, even though I probably won't deserve it. ;) For FO-Bool-Sup, I'd be happy as well, but maybe start without me. It worked well for HOUnif after all and it's always good for your CV to have papers without your supervisors as coauthors.
2020-04-06 9:14:55 (GMT)
This having been said, since you're raising the question. It may be that people only end up citing this paper and not the previous two.
2020-04-06 9:24:15 (GMT)
Ok, my idea was this:
2020-04-06 9:24:45 (GMT)
But of course, there are lots of interactions between the two. In theory and in implementation.
2020-04-06 9:27:52 (GMT)
This having been said, since you're raising the question. It may be that people only end up citing this paper and not the previous two.
This is also something we should keep in mind. Maybe Petar should also be a coauthor of HO-Sup then. He can certainly help us with the implementation if he has time.
2020-04-06 9:28:35 (GMT)
Sounds reasonable. Even if he has no time, knowing him, he will make time. ;)
2020-04-06 9:28:57 (GMT)
Also it's hard to cleanly separate HOSup and FOBoolSup, at least on the impl. side.
2020-04-06 9:29:9 (GMT)
Lets see. I would love to work on both papers, but I do not want to make pressure on you to include/exclude somebody in the list of authors
2020-04-06 9:29:42 (GMT)
If I make enough contributions, then we can see if I can be an author
2020-04-06 9:38:25 (GMT)
Could the same apply to me regarding FOBoolSup? I want anyway to read all the proofs closely because they are relevant for HOSup. But of course, it has to be seen in the end if this amounts to a relevant contribution to FoolSup or not. What do you think?
2020-04-06 9:45:10 (GMT)
Sure, let's tentatively plan it like this:
FO-Bool-Sup: Petar, Sophie, Visa, and me.
HO-Sup: Jasmin, Petar, Sophie, Uwe, and me.