[PL-sem-jr] Summer: Next meeting on May 28 at 3 pm

[Julia Belyakova]

Hi juniors,

Thanks for participating in the poll!

New meeting time: *Thursday, 3 pm*.
Same place (Google Hangouts): https://meet.google.com/qxq-qawo-fiz
<https://www.google.com/url?q=https%3A%2F%2Fmeet.google.com%2Fqxq-qawo-fiz>
Wiki: https://github.com/nuprl/prl-seminar-junior/wiki/Summer-2020 (main
page: https://github.com/nuprl/prl-seminar-junior)

Next time, we'll start with *Exercise 3 from Chapter 1 of Steven Awodey's
book
<http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.211.4754&rep=rep1&type=pdf>*.
Don't worry if you missed previous meetings. Although skimming chapter 1 is
recommended :)

If you are interested in discussing talks from Chalmers Functional
Programming Online Seminar (http://chalmersfp.org/), join us in Hangouts on
Monday after a talk (around 11 am).
The next seminar is on *May 25, at 10 am* @ YouTube
<https://www.youtube.com/watch?v=BW3ZDtjD_Yw&feature=youtu.be> (with
questions via Sli.do <https://app.sli.do/event/8idx3zww>, event code #M059):
"*Liquid resource types for verification and synthesis*" by Nadia
Polikarpova (UCSD).

Have a good weekend!

--
Kind regards, Artem&Julia
-------------- next part --------------
HTML attachment scrubbed and removed