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

Artem Pelenitsyn a.pelenitsyn at gmail.com
Wed May 27 13:17:08 EDT 2020


Dear all,

This is to remind you we are going to gather tomorrow at 3 PM to discuss
exercises (starting from #3) from the Chapter 1 of Awodey's book.

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>

--
Best, Artem & Julia

On Fri, 22 May 2020 at 16:21, Julia Belyakova <julbinb at gmail.com> wrote:

> 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
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Pl-sem-jr mailing list