[PL-sem-jr] POSTPONED: Talk 10/13: Separation logic

[Aaron Turon]

I've gotten requests to postpone the talk, because tomorrow is
Columbus Day (a university holiday).  So we will push back the
schedule as follows:

10/20 Aaron: Separation logic
10/27 Stephen: TBD
11/3 Dan: Call/cc + Curry-Howard

On Sun, Oct 12, 2008 at 2:43 PM, Aaron Turon <turon at ccs.neu.edu> wrote:
> Tomorrow, 10/13 (WVH166, 1-3pm) I will be giving a PL Jr talk on
> separation logic.  I plan to review basic Hoare logic, then show how
> separation logic fits on top of it to deal with pointers.  If time
> permits I may also discuss concurrent separation logic.
>
> Upcoming talks:
>  Stephen on 10/20 (topic TBD)
>  10/27: open
>  Dan on 11/3: Call/cc + Curry-Howard
>
> Remember that the full schedule is available on the wiki:
>  https://wiki.ccs.neu.edu/display/GRADWIKI/PlSeminarJr
>
> We could use a volunteer for a talk on 10/27; first and second year
> students are especially welcome.  Please let me know if you can give a
> talk on  this or one of the other open days.  I'd be happy to help
> find a topic.
>
> Cheers,
> Aaron
>