user: Question: What is the Type with a Location with Justus Lipsius building, Brussels, and a Year of 2012, and a President with Herman Van Rompuy (1st term), and a Date with 23 May?
Columns: ['Year', 'Date', 'Type', 'President', 'Location']
Types: ['real', 'text', 'text', 'text', 'text']
Sample row: [2010.0, '11 February', 'Informal', 'Herman Van Rompuy (1st term)', 'Solvay Library , Brussels']
SQL:

assistant: SELECT "Type" FROM "Table" WHERE "Location" = 'Justus Lipsius building, Brussels' AND "Year" = 2012.0 AND "President" = 'Herman Van Rompuy (1st term)' AND "Date" = '23 May';