Re: [pl-seminar] Scheduling PL-Seminar for Spring Semester

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Let's do 4310.

Thanks,

-Loris

On Wed, Feb 3, 2016 at 2:45 PM, Drew Davidson <drew.j.davidson@xxxxxxxxx> wrote:

Both 4310 (for a larger room) and 5331 (for a cozier room) are open in that time slot for every week I checked.Â

I greedily grabbed both, but we should release the one that we don't need.

On Wed, Feb 3, 2016 at 2:05 PM, Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

Tue 12-1 seems like a winner. Only exception, Stephen cannot make it until 12.30. We'll talk about this during the first meeting and see if we can delay a bit.

Why don't we start next Tuesday?

Do we have a room?

-Loris

On Mon, Feb 1, 2016 at 12:07 AM, Alisa Maas <ajmaas@xxxxxxxxxxx> wrote:

Tom Reps has offered already to give the first talk onÂ"Newtonian Program Analysis via Tensor Productâ, from POPL 2016. The only times that work for the majority of people seem to be Tuesdays or Wednesdays at 5pm. If you have a preference between these two times and have not yet filled out the form, please do so asap.Â

On Jan 31, 2016, at 8:35 PM, Aws Albarghouthi <aws@xxxxxxxxxxx> wrote:

Thanks, Alisa, for restarting this. I was thinking we could for the first few meetings read papers from POPL 2016 that we thought were interesting. I started a Google Doc where I listed the papers that I myself would like to read soon:

https://docs.google.com/spreadsheets/d/1IcZojAe0yT6QAyj_HpXHbapNVdEQBguNfoTe6xw_Q1w/edit?usp=sharing

If interested in doing this, please enter the papers you'd like to see in the seminar or add 1 to the interest column of existing papers.

On Fri, Jan 29, 2016 at 1:17 PM, Alisa Maas <ajmaas@xxxxxxxxxxx> wrote:

Hi all,

Iâve been asked to schedule PL seminar this semester. Please select the times that work for you, keeping in mind that each slot is an hour long.Âhttp://whenisgood.net/plseminar.Â

After we have a time slot selected, Iâll send out the link so people can sign up to present papers. You donât have to be an author on the paper to present!

One more thing: to avoid missing anyone on the email list, make sure youâre all on the pl-seminar list, not just pl-reading. Iâm sending to both this time, but it would be nice to have just one list in the future, and I donât believe these are used for different purposes normally.Â

Thanks,

Alisa

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

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

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