Re: [madPL] PL Seminar

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

Very low attendance! Please join the talk!

On Wed, Jul 15, 2020 at 12:03 PM JOHN CYPHERT <pl-seminar-bounces@xxxxxxxxxxx> wrote:

Reminder,

This is today in 1 hour.

John

---

From: Pl-seminar <pl-seminar-bounces@xxxxxxxxxxx> on behalf of JOHN CYPHERT <pl-seminar-bounces@xxxxxxxxxxx>
Sent: Friday, July 10, 2020 2:08 PM
To: pl-seminar@xxxxxxxxxxx <pl-seminar@xxxxxxxxxxx>
Subject: [madPL] PL Seminar

Â

Hi everyone,

Now that everyone has made it through the POPL deadline, we will be having a PL seminar on Wednesday July 15, at 1pm. Santosh Nagarakatte from Rutgers University will talk to us about reasoning with posits, which is a proposed alternative toÂIEEE-754 floating-point representation. More details can be found through the link:

https://madpl.cs.wisc.edu/pl-seminar/20200715-santosh_nagarakatte/

We'll send out another reminder on Wednesday.

Hope to see you there,

John

Topic: madPL seminar

Time: This is a recurring meeting Meet anytime

Join Zoom Meeting

https://us02web.zoom.us/j/859451761

Meeting ID: 859 451 761

One tap mobile

+19292056099,,859451761# US (New York)

+13017158592,,859451761# 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: 859 451 761

Find your local number:Âhttps://us02web.zoom.us/u/kcQuuMMmh

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

--

-Loris