As pandemic eases, EU leaders get social in Porto