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

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

Those are very unhappy times

I created a doodle for lunch times. Please ignore the particular date, I'm just trying to get a sense of what day of the week people are available from 12 to 1. Please enter your preferences.

http://doodle.com/poll/7cvx3ytegirscgid

-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