Space invading Sicily

For few days the East London Massive and friends have been exploring the buzzing streets of Catania (east coast of Sicily). Lots of fish, wine and sun helped us with our brainstorming about new directions in separation logic, space invader, small foot, semantics,...