Workshop on Logical Spreadsheets

Opening Remarks

September 22-23, 2005

Agenda

• Words from our sponsor (Brian McCune)

• Schedule / Introductions

• Other Announcements

Thursday (before lunch)

9:00 - 9:30 Breakfast9:30 - 9:45 Opening Remarks9:45 - 10:30 liano Cervesato (Deductive Solutions) The Deductive Spreadsheet10:30 - 11:00 Break11:00 - 11:45 David Warren (XSB)

Deductive Spreadsheets and XSB11:45 - 12:30 Andre Valente (KS Ventures),

David Van Brackle (ISX), Hans Chalupsky (USC)

and Gary Edwards (ISX) Implementing Logic Spreadsheets in

LESS12:30 -2:00 Lunch

Thursday (after lunch)

12:30 -2:00 Lunch2:00 - 2:45 Gopal Gupta, Siddharth Chitnis

and Madhu Yennamani (UT Dallas) Exsched: Solving Constraint Satisfaction

Problems with the Spreadsheet Paradigm

2:45 - 3:15 Break3:15 - 4:00 Michael Kassoff and Michael Genesereth

(Stanford) Dealing with Inconsistency in PrediCalc4:00 - 5:00 Roundtable:

Logical Functionalities and User Interfaces Moderator: Iliano Cervesato5:00 - 5:45 Demo Session7:00 - ... Dinner

Friday9:00 - 9:30 Breakfast9:30 - 10:15 Andrew Witkowski, Srikanth Bellamkonda,

Tolga Bozkaya, Aman Naimat, Lei Sheng, Sankar Subramanian, and Allison Waingold (Oracle)

Query by Excel10:15 - 11:00 Dennis Merritt and Mary Kroening (Amzi!)

Integrating Logical Rules with Excel11:00 - 11:30 Break11:30 - 12:30 Roundtable:

Logical Spreadsheets: Why Do They Matter?

Moderator: Andre Valente12:30 - 12:45 Concluding Remarks

Announcements

• Presentations will be in a protected area of the website for attendees only

• Will pass around USB stick - please save your presentation onto it

• Dinner reservations (show of hands?)

Thanks and Welcome Again!