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

Aaron Turon turon at ccs.neu.edu
Sun Oct 12 14:43:14 EDT 2008


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



More information about the Pl-sem-jr mailing list