Who We Are

View Jay Halcomb's biography (html, PDFs - long, short)

View Randall Schulz's biography (html, PDFs - long, short)

Associate

View Bruce Seely's biography

Things We've Done or Are Doing

"Même l'avenir n'est plus ce qu'il était." Paul Valery — Even the future isn't what it used to be.

Note: Some of these are works in progress. Please contact to get a password, where needed.

• The Tau Knowledge Base and Extensible Theorem Prover - our own project)
  • Paper submitted to ESAR - The Journal of Automated Reasoning Special Issue on Empirically Successful Automated Reasoningl (contains 'Axiomatizing Einstein's Mice'; see Einstein's Mice 28, and Einstein's Mice 29; for the background of the problem, see http://www.weitz.de/einstein.html).
  • Stanford Mathematical Logic Seminars: Axiomatizing Einstein's Mice; Slides
  • An overview of Tau, paper for the CADE-20 Workshop on Empirically Successful Classical Automated Reasoning (ESCAR), held 22nd-23rd July,2005 at the 20th International Conference on Automated Deduction (CADE) Tallinn, Estonia, 22nd July - 26th July, 2005 (Abstracts)
  • Slides for ESCAR (Full version, PDF)
  • Pictures from Estonia
  • TauWiki documentation

• Tau at NIST: axiomatizing PSL - Process Specification Language
• Sonoma & Mendocino Counties, American Red Cross (Website)
• ESCoR-JAL 2007 program committee
• Edison Innovations, LLC (Consulting: PHP, mySQL)
• Wood Pontiac, Cadillac, Mazda (Consulting, commercial website: PHP, mySQL)
• The FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), held 21st August 2006, as part of the The 3rd International Joint Conference on Automated Reasoning at The 2006 Federated Logic Conference, Seattle, USA, 10th - 22nd August, 2006
• Professor Stephen H. Schneider, Stanford University (Climatology)
• Professor Shripad Tuljapurkar, Stanford University (Population Studies)
• Professor Terry L. Root, Stanford University (Ecology)
• Professor Emeritus Robert A. Helliwell, Dept. of Electrical Engineering, Stanford University (Work in progress - LaTeX)
• Morrison Institute for Population and Resource Studies, Stanford University
• The CAR Project (Computer Assisted Reasoning - consulting)
• The National Center for Research on Evaluation, Standards, and Student Testing (UCSL - consulting)
• Russian River Residents Against Unsafe Logging (RRRAUL - environmental NGO)
• Russian River Watershed Protection Committee (RRWPC - environmental NGO )
• Prismatic Instant Sign Center (commercial website: menu system, file uploader, Javascript, PERL, CGI)
• Potala Rug House (commercial website)
• Sierra Club, Redwood Chapter (pro bono assistance)

Other interesting links:

• "Logic for Computer Science: The Engineering Challenge"
  W. Thomas in LNCS 2000 (Dagstuhl Anniversary Volume, Ed. R. Wilhelm).
• Common Logic Standard: an ISO Common Logic effort
• TPTP Library
• North American Summer School in Logic, Language, and Information
• Stanford Encyclopedia of Philosophy
• Philosophical Reasoning - The Allocation of Categories (Passmore)
• Ontology: A Resource Guide for Philosophers
• What is philosophy?
• Philosophy (Wikipedia)
• John McCarthy's home page

"Science sans conscience n'est que ruine de l'âme." Science without conscience is nothing but ruin of the soul. Pantagruel, Rabelais

Some useful software

OpenOffice - office suite
FTP Commander - FTP program
TeraTerm - Telnet program
Mozilla - browser
ZoneAlarm - firewall
WinZip - compression tool
WinEdt- LaTeX editor
MikTeX - TeX program
Ghostview - PS and PDF reader/writer
IrfanView - image utility
Gimp - image editor
Adobe Reader - PDF reader
LaTeX Beamer - PDF presentations
LaTeX for Logicians - useful LaTeX information
The R Project - statistical software
MediaWiki - wiki software
Easy Thumbnails
WordPress - blog software

H&S Information Systems; P.O. Box 2030, Guerneville, CA 95446, Offices in Mountain View and Guerneville, California; 707/869-3302;
www.hsinfosystems.com;