WORKSHOP ON HUMAN INTERACTIVE PROOFS

January 9-11, 2002, Palo Alto, California, USA

Contents

ABOUT THE WORKSHOP:

This is the first Workshop on Human Interactive Proofs (HIPs). Human Interactive Proofs (HIPs) are protocols for convincing a computer over a network that you are a member of a specific group of humans, in such a way that:

HIPs could be useful for many kinds of groups, e.g.

See the Call for participation for a more detailed description of HIPs.

This workshop has grown out of recent experiments at CMU, PARC, UC Berkeley, and elsewhere. It is felt that this might be a good moment to bring together researchers interested in the topic, to map out our most promising technical directions. It is an invitation-only, one-hundred-percent participation workshop.

REGISTRATION:

There is no registration fee. Invitees who plan to attend should already have notified John Langford (jcl@cs.cmu.edu) by email, with a cc to Manuel Blum (mblum@cs.cmu.edu) and Henry Baird (baird@parc.xerox.com).

IMPORTANT DATES:

CALL FOR PARTICIPATION:

Invitees should already have received the call for participation, a copy of which can be found here.

WORKSHOP ORGANIZERS:

Manuel Blum
Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
email: mblum@cs.cmu.edu , tel: +1 412 268 3742, fax: +1 412 268 5576

Henry S. Baird
Information Sciences and Technologies Lab, Xerox Palo Alto Research Center,
3333 Coyote Hill Rd, Palo Alto, CA 94304, USA
email: baird@parc.xerox.com , tel: +1 650 812 4481, fax: +1 650 812 4374

WORKSHOP SITE

The symposium will be held at the Xerox Palo Alto Research Center, one of the more venerable research institutes in the United States. PARC researchers are credited for many of the innovations that led to modern day computing, including the bit-mapped graphical user interface, the laser printer, ethernet, etc. PARC is a vibrant institution, a cornerstone of Silicon Valley, and a place many look to for a glimpse at the future of computing.

USEFUL LINKS

Here is a set of useful links for additional information about

SPONSORS

This workshop is funded in part by the ALADDIN Center at CMU. ALADDIN is a project which attempts to provide mathematical understanding of fundamental issues in Computer Science, and to use this understanding to produce better algorithms, protocols and systems. ALADDIN is funded by the NSF ITR program. The workshop also is supported and hosted by the Document Image Decoding research area of Xerox PARC, which focuses on algorithms for document image analysis with a special emphasis on the inference of statistical models of shape, image quality, and language and optimal decoding of images with respect to these models.

SUBMISSION OF ABSTRACT:

Each attendee must submit a 1-5 page abstract by December 15, which will be distributed at the meeting. Abstracts should be submitted by email to Henry Baird (baird@parc.xerox.com). Acceptable formats are: PDF, PostScript, and MS Word. (Note -- we had hoped to provide a web-based upload mechanism, but are unable to do so -- we regret any inconvenience).

Working group notes

Group photo