workshop on logical spreadsheets opening remarks september 22-23, 2005
Post on 21-Jan-2016
217 Views
Preview:
TRANSCRIPT
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!
top related