First Workshop on Logical Spreadsheets (WOLS'05)

Workshop on Logical Spreadsheets (WOLS'05)

Thursday-Friday, September 22-23, 2005
Stanford University

Following a recent DARPA initiative, there has been renewed interest in exploring what lies at the crossroad of the spreadsheet paradigm and symbolic logic. A successful symbiosis has the potential of providing millions of end users with automated support for making complex decisions based on symbolic reasoning in the same simple manner as current spreadsheets allow them to make complex decisions based on numerical data.

The aim of this workshop is to provide a forum where researchers actively working in logic and spreadsheets, or just interested in their integration, can exchange ideas, compare solutions, and discuss challenges in view of continued activity in this area.

Topics of interest include, but are not limited to:

  * Core functionalities and integration
  * User interface design and cognitive assessment
  * Implementation challenges
  * Applications and real world experience

The workshop will consist of presentations touching one or more of these topics, a demo session, two roundtables, and ample opportunities for socialization. Abstracts and slides will be collected on an internal Web page available to workshop participants only. There will be no formal proceedings.

Presentations are by invitation only. Attendance is open to all. Attendees are asked to register by sending an email to wols05@cs.stanford.edu by July 10, 2005. There will be a $60 registration fee to cover workshop expenses.

The program, abstracts, and attendees are now available.

Important Dates:

Registration deadline:	July 10, 2005
Abstracts due:	September 1, 2005
Workshop:	September 22-23, 2005

Organization:

Michael Kassoff (Stanford University)

Iliano Cervesato (Deductive Solutions)

Michael Genesereth (Stanford University)

Accomodations:

Here are some hotels conveniently located by Stanford Campus, listed in order of convenience.

Sheraton Palo Alto (approx $240 / night on Expedia) [View Map]
The Cardinal Hotel (approx $150 / night on their website) [View Map]
Stanford Terrace Inn (approx $140 / night on Orbitz) [View Map]
Days Inn Stanford (approx $75 / night on Days Inn Website) [View Map]

Getting Here:

Stanford University is conveniently reached from both San Jose International Airport (SJC) and San Francsico International Airport (SFO). Oakland International Airport (OAK) is also an option but somewhat farther away than SFO.

Payment Information:

The fee for the workshop is $60. Please send checks made out to Stanford University to:

Michael Kassoff
Gates 226
Stanford University
Stanford, CA 94305

Please send your payment in by September 5. Receipts will be available at the workshop.

Additional information will be posted at the workshop's Web page (http://wols05.stanford.edu) as it becomes available, or can be obtained by sending email to wols05@cs.stanford.edu.