Model checking agent programming languages
Automated Software Engineering
| Hi-index | 0.00 |
These proceedings present the technical contributions to the Ninth ACM Conference on Electronic Commerce EC'08, held July 8-12, 2008 in Chicago, Illinois, USA. Since its inception in 1999, ACM EC has served as the leading scientific conference on advances in theory, systems, and applications for electronic commerce. The natural focus of the conference is on computer science issues, but the conference is interdisciplinary and addresses many facets of electronic commerce including (1) theory and foundations; (2) languages; (3) automation, personalization, and targeting; (4) security, privacy, encryption, and digital rights; (5) applications and empirical studies; and (6) social factors. In addition to the main technical program, EC'08 featured two workshops on Ad Auctions and Prediction Markets and four tutorials on Computational Advertising, Economic Aspects of Social Networks, Communication Requirements of Economic Mechanisms and Automated Mechanism Design. The call for papers attracted submissions from academia and industry around the world, including Africa, Asia, Canada, Europe, the Middle East, and the United States. Each paper was reviewed by at least three program committee members on the basis of scientific novelty, technical quality, and importance to the field. The program committee selected 38 papers for presentation at the conference out of 198 submissions, most of which are published in the proceedings. At the authors' request, only abstracts for the five remaining papers are included along with pointers to full versions of these "working papers". This accommodates the practices of fields outside of computer science in which journal rather than conference publishing is the norm and conference publishing sometimes precludes journal publishing. It is expected that many of the papers in these proceedings will appear in a more polished and complete form in scientific journals in the future. After the review process the chairs selected six papers that had some of the strongest reviews of the approximately 200 papers submitted to the conference, as candidates for Outstanding Papers. An Outstanding Papers committee of Barry Smyth, Subhash Suri, and Moshe Tennenholtz was established to choose among these six finalists. The committee eventually chose two papers as the Outstanding Papers of EC'08. Those papers are: Self-Financed Wagering Mechanisms for Forecasting; Nicolas Lambert, John Langford, Jennifer Wortman, Yiling Chen, Daniel Reeves, Yoav Shoham, David Pennock Uncoordinated Two-Sided Markets; Heiner Ackermann, Paul Goldberg, Vahab Mirrokni, Heiko Roeglin, Berthold Voecking The Chairs thank the Outstanding Papers Committee for their distinguished advice, and offer congratulations to the authors for their excellent papers.