[PL-sem-jr] Meeting Feb 17th (today) and next

[Artem Pelenitsyn]

Hello,

I posted an update on the Github wiki-page:

> https://github.com/nuprl/prl-seminar-junior/wiki/Spring-2020

but repeating here:

*    Today we went through sections 1 and 2 of the Incorrectness logic
<https://dl.acm.org/doi/pdf/10.1145/3371078?download=true> paper. We also
started sec. 3.1 and discussed the first example there.

*    Next time: we are going to continue reading through this paper. We
hope you can catch up!

The next meeting is Mon, Feb 24th, *9:30 AM*, WVH 116.

--
Best, Artem
-------------- next part --------------
HTML attachment scrubbed and removed