Re: [madPL] PL-seminar time

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

Here is the invitationÂfor future seminars

LORIS D'ANTONI is inviting you to a scheduled Zoom meeting.

Topic: madPL seminar
Time: Sep 18, 2020 01:00 PM Central Time (US and Canada)
    Every week on Fri, until Dec 18, 2020, 14 occurrence(s)
    Sep 18, 2020 01:00 PM
    Sep 25, 2020 01:00 PM
    Oct 2, 2020 01:00 PM
    Oct 9, 2020 01:00 PM
    Oct 16, 2020 01:00 PM
    Oct 23, 2020 01:00 PM
    Oct 30, 2020 01:00 PM
    Nov 6, 2020 01:00 PM
    Nov 13, 2020 01:00 PM
    Nov 20, 2020 01:00 PM
    Nov 27, 2020 01:00 PM
    Dec 4, 2020 01:00 PM
    Dec 11, 2020 01:00 PM
    Dec 18, 2020 01:00 PM
Please download and import the following iCalendar (.ics) files to your calendar system.
Weekly: https://uwmadison.zoom.us/meeting/tJMtcOCprDspG9B2X89BES5HTggp01UgBp5K/ics?icsToken=98tyKuCvrjwjG9aVsxiDRowEAo_CXevzpmJejfp_zie9WgJ2UVbeAuVFIuIuJd_y

Join Zoom Meeting
https://uwmadison.zoom.us/j/97079120314?pwd=UFN3c3lDcWlieWdqdjVUNnk4aVZXUT09

Meeting ID: 970 7912 0314
Passcode: 790380
One tap mobile
+19292056099,,97079120314#,,,,,,0#,,790380# US (New York)
+13017158592,,97079120314#,,,,,,0#,,790380# US (Germantown)

Dial by your location
    +1 929 205 6099 US (New York)
    +1 301 715 8592 US (Germantown)
    +1 312 626 6799 US (Chicago)
    +1 669 900 6833 US (San Jose)
    +1 253 215 8782 US (Tacoma)
    +1 346 248 7799 US (Houston)
Meeting ID: 970 7912 0314
Passcode: 790380
Find your local number: https://uwmadison.zoom.us/u/aiMtYuleM

Join by SIP
97079120314@xxxxxxxxxxx

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (Amsterdam Netherlands)
213.244.140.110 (Germany)
103.122.166.55 (Australia)
149.137.40.110 (Singapore)
64.211.144.160 (Brazil)
69.174.57.160 (Canada)
207.226.132.110 (Japan)
Meeting ID: 970 7912 0314
Passcode: 790380

On Thu, Sep 10, 2020 at 4:06 PM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

Ok, we seemed to have found some times. Even though 1 person can't seem to make it, I think we should pick 1-2pm on Fridays. I'm worried that we'll have very boring meetings if we have calls at 4pm.

We'll start next week! Does anyone want to volunteer?

Here are some talks I found interesting at this year's PLDI and I would love to hear more about if you are looking for inspiration.

Data-Driven Inference of Representation Invariants
Type Error Feedback via Analytic Program Repair
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting

CacheQuery: Learning Replacement Policies from Hardware Caches

Semantic Code Search via Equational Reasoning

Question Selection for Interactive Program Synthesis

Reconciling Enumerative and Deductive Program Synthesis

On Wed, Sep 9, 2020 at 9:25 AM Loris D'Antoni <loris@xxxxxxxxxxx> wrote:

We couldn't find a time that worked for enough people and now the calendars have filled.

Here is another poll with non-lunch times. Hopefully we find a time that works for most of us.

https://doodle.com/poll/9r9cmr4czyfnrswg

--

-Loris

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

--

-Loris

--

-Loris