[PL-sem-jr] Meeting Feb 17th (today) and next
a.pelenitsyn at gmail.com
Mon Feb 17 12:30:13 EST 2020
I posted an update on the Github wiki-page:
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.
-------------- next part --------------
HTML attachment scrubbed and removed
More information about the Pl-sem-jr