what is the sum of year with a type of informal, and a location with justus lipsius building, brussels, and a date with 23 may?
2012.0