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

Artem Pelenitsyn a.pelenitsyn at gmail.com
Mon Feb 17 12:30:13 EST 2020


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

More information about the Pl-sem-jr mailing list