Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Social Software: Logic and Social Interaction

Marc PaulyStanford University[Home Page]

Notice:  hosted by Richard Waldinger

Date:  2007-06-07 at 16:00

Location:  EJ228  (Directions)

   Abstract

Voting Procedures, fair division algorithms, auctions and markets are all examples of social software, i.e., algorithms that process individual preferences or judgments in order to come up with some social outcome. I will illustrate how formal logic enters into the picture by two examples. First, I will discuss the relatively recent area of judgment aggregation, where individual judgments need to be aggregated into a group judgment. Judgments are here modeled by sets of logical formulas. Second, I will talk about an example of real-life social software, the Stanford Housing Draw that assigns undergraduates to residences on campus. Here, the plan is to use logic to specify the algorithm and to verify properties of the algorithm such as optimality and strategic non-manipulability.

   Bio for Marc Pauly

Marc Pauly is an assistant professor of philosophy at Stanford University. He received his PhD in 2001 from the University of Amsterdam. Before coming to Stanford, he was a lecturer in Computer Science at the University of Liverpool, UK, and a researcher at the CNRS in France.

   Note for Visitors to SRI

Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. Please check the Builing E entrance signage.

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy