Re: [madPL] POPLooza

[alexandra.silva@xxxxxxxxx]

And I left some comments on the other papers thatÂare there!Â

On Wed, Jul 8, 2020 at 6:07 PM JIALU BAO <jialu@xxxxxxxxxxx> wrote:

There is a new paper added to the folder (unfortunately a week after the deadline in earlier email). Please take a look if youâre interested in some logic stuff or probability stuff. Thanks a lot!!

Â

Best wishes,

Â

Jialu

Â

From: Pl-seminar <pl-seminar-bounces@xxxxxxxxxxx> on behalf of Aws Albarghouthi <aws@xxxxxxxxxxx>
Date: Tuesday, July 7, 2020 at 9:27 PM
To: LORIS D'ANTONI <ldantoni@xxxxxxxx>
Cc: "pl-seminar@xxxxxxxxxxx" <pl-seminar@xxxxxxxxxxx>
Subject: Re: [madPL] POPLooza

Â

Left some comments on both papers.

Thanks all! And good luck!

Â

On Mon, Jul 6, 2020 at 3:00 PM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

Left comments on both intros

Â

On Wed, Jul 1, 2020 at 6:14 PM Aws Albarghouthi <aws@xxxxxxxxxxx> wrote:

2 papers in there already.

It's also inadvertently double blind :)

Â

On Tue, Jun 30, 2020 at 1:53 PM Aws Albarghouthi <aws@xxxxxxxxxxx> wrote:

Hello,

Â

I'm guessing a bunch of us are submitting toÂPOPL.

Â

How about we do the following experiment:

Â

1. Add aÂdraft of your paper to this folder by Wednesday,ÂJuly 1.

Add a googleÂdocÂfor people to write comments in.

https://drive.google.com/drive/folders/1yIDUsDGbdnOpBKYw63gJZjVxBvmRqjI2?usp=sharing

Â

2. By Monday,ÂJuly 6, go through the folder andÂgive comments on every paper.

Even if you just read the intro and/or the first few sections, I think it'll be helpful.

Â

Looking forward to reading your drafts!Â

Â

--

Aws

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

Â

--

Aws

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

Â

--

-Loris

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

Â

--

Aws

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar