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

[Dimitris Vardoulakis]

Can we reschedule tomorrow's talk? It's Columbus day.

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
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>



-- 
Dimitris