Past Meetup

Separation logic

This Meetup is past

5 people went

Commonwealth Bank of Australia

Level 15, 255 Pitt Street · Sydney

How to find us

This is the office tower above the Hilton. Inside the Hilton lobby, you will see two corridors of elevators: choose the non-carpeted one and proceed to level 15. Please call Mark (0451 158 602) or Rowan (0491 212 140) on arrival.

Location image of event venue

Details

Today we continue reading the following paper:

Separation Logic: A Logic for Shared Mutable Data Structures
https://www.cs.cmu.edu/~jcr/seplogic.pdf