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:
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
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
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}