workshop on logical spreadsheets opening remarks september 22-23, 2005
TRANSCRIPT
![Page 1: Workshop on Logical Spreadsheets Opening Remarks September 22-23, 2005](https://reader036.vdocuments.us/reader036/viewer/2022062409/5697c0201a28abf838cd1f63/html5/thumbnails/1.jpg)
Workshop on Logical Spreadsheets
Opening Remarks
September 22-23, 2005
![Page 2: Workshop on Logical Spreadsheets Opening Remarks September 22-23, 2005](https://reader036.vdocuments.us/reader036/viewer/2022062409/5697c0201a28abf838cd1f63/html5/thumbnails/2.jpg)
Agenda
• Words from our sponsor (Brian McCune)
• Schedule / Introductions
• Other Announcements
![Page 3: Workshop on Logical Spreadsheets Opening Remarks September 22-23, 2005](https://reader036.vdocuments.us/reader036/viewer/2022062409/5697c0201a28abf838cd1f63/html5/thumbnails/3.jpg)
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
![Page 4: Workshop on Logical Spreadsheets Opening Remarks September 22-23, 2005](https://reader036.vdocuments.us/reader036/viewer/2022062409/5697c0201a28abf838cd1f63/html5/thumbnails/4.jpg)
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
![Page 5: Workshop on Logical Spreadsheets Opening Remarks September 22-23, 2005](https://reader036.vdocuments.us/reader036/viewer/2022062409/5697c0201a28abf838cd1f63/html5/thumbnails/5.jpg)
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
![Page 6: Workshop on Logical Spreadsheets Opening Remarks September 22-23, 2005](https://reader036.vdocuments.us/reader036/viewer/2022062409/5697c0201a28abf838cd1f63/html5/thumbnails/6.jpg)
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?)
![Page 7: Workshop on Logical Spreadsheets Opening Remarks September 22-23, 2005](https://reader036.vdocuments.us/reader036/viewer/2022062409/5697c0201a28abf838cd1f63/html5/thumbnails/7.jpg)
Thanks and Welcome Again!