Workshop on Logical Spreadsheets
Join us for the Logical Spreadsheets Workshop held on September 22-23, 2005. The event features insightful discussions on integrating logic into spreadsheet systems, with presentations from industry experts such as Iliano Cervesato and David Warren. Attendees will engage in roundtables exploring the significance of logical functionalities, innovative methods for solving constraint satisfaction problems, and practical applications of logical spreadsheets. Networking opportunities, including meals and a demo session, ensure a robust exchange of ideas. Welcome to an enriching experience in logical spreadsheet technology!
Workshop on Logical Spreadsheets
E N D
Presentation 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 Breakfast 9:30 - 9:45 Opening Remarks 9:45 - 10:30 liano Cervesato (Deductive Solutions) The Deductive Spreadsheet 10:30 - 11:00 Break 11:00 - 11:45 David Warren (XSB) Deductive Spreadsheets and XSB 11:45 - 12:30 Andre Valente (KS Ventures), David Van Brackle (ISX), Hans Chalupsky (USC) and Gary Edwards (ISX) Implementing Logic Spreadsheets in LESS 12:30 -2:00 Lunch
Thursday (after lunch) 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 2:45 - 3:15 Break 3:15 - 4:00 Michael Kassoff and Michael Genesereth (Stanford) Dealing with Inconsistency in PrediCalc 4:00 - 5:00 Roundtable: Logical Functionalities and User Interfaces Moderator: Iliano Cervesato 5:00 - 5:45 Demo Session 7:00 - ... Dinner
Friday 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 10:15 - 11:00 Dennis Merritt and Mary Kroening (Amzi!) Integrating Logical Rules with Excel 11:00 - 11:30 Break 11:30 - 12:30 Roundtable: Logical Spreadsheets: Why Do They Matter? Moderator: Andre Valente 12: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?)
