The Deductive Spreadsheet Iliano Cervesato Deductive Solutions [email protected] Workshop on Logical Spreadsheets Stanford, CA – 22 September.