The workshop will take place in Cordura 100. [Map]
| Thursday Program | |||||
| 9:00 - 9:30 |
Breakfast | ||||
| 9:30 - 9:45 | Opening Remarks (Kassoff [ppt] / McCune [ppt]) | ||||
| 9:45 - 10:30 |
Iliano Cervesato (Deductive
Solutions)
The Deductive Spreadsheet [ppt] |
||||
| 10:30 - 11:00 |
Break | ||||
| 11:00 - 11:45 |
David S. Warren, I.V.
Ramakrishnan,
C.R. Ramakrishnan, Tatyana Vidrevich,
Chris Rued, and Harpreet Singh (XSB) XcelLog: A User-Centered Deductive Spreadsheet System [ppt] |
||||
| 11:45 - 12:30 |
Andre Valente (KSVentures), David Van Brackle (ISX), Hans Chalupsky (KSVentures) and
Gary Edwards (ISX) Doing More With LESS: Logic Embedded in SpreadSheets [ppt] |
||||
| 12:30 - 2:00 |
Lunch | ||||
| 2:00 - 2:45 |
Gopal Gupta,
Siddharth Chitnis and Madhu Yennamani (UT Dallas) Exsched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm [ppt] |
||||
| 2:45 - 3:15 |
Break | ||||
| 3:15 - 4:00 |
Michael Kassoff and
Michael Genesereth (Stanford)
Dealing with Inconsistency in PrediCalc [ppt] |
||||
| 4:00 - 5:00 |
Roundtable: Logical
Functionalities and User Interfaces
[txt]
Moderator: Iliano Cervesato |
||||
| 5:00 - 5:45 |
Demo Session | ||||
| 6:00 - ... | Dinner | ||||
| Friday Program | |||||
| 9:00 - 9:30 |
Breakfast | ||||
| 9:30 - 10:15 |
Andrew Witkowski,
Srikanth Bellamkonda, Tolga Bozkaya, Aman Naimat,
Lei Sheng,
Sankar Subramanian, and Allison Waingold (Oracle) Query by Excel [ppt] |
||||
| 10:15 - 11:00 |
Dennis Merritt and
Mary Kroening (Amzi!) Integrating Logical Rules with Excel [xls] |
||||
| 11:00 - 11:30 |
Break | ||||
| 11:30 - 12:30 |
Roundtable: Logical
Spreadsheets: Why Do They Matter?
[ppt]
Moderator: Andre Valente |
||||
| 12:30 - 12:45 |
Concluding Remarks | ||||