1 / 7

Workshop on Logical Spreadsheets

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

rupert
Download Presentation

Workshop on Logical Spreadsheets

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Workshop on Logical Spreadsheets Opening Remarks September 22-23, 2005

  2. Agenda • Words from our sponsor (Brian McCune) • Schedule / Introductions • Other Announcements

  3. 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

  4. 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

  5. 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

  6. 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?)

  7. Thanks and Welcome Again!

More Related