Caesar in the USA

Small cities USA growth, diversity, and inequality

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Social Computing, Behavioral - Cultural Modeling and Prediction 5th International Conference, SBP 2012, College Park, MD, USA, April 3-5, 2012. Proceedings

Leveraging Technology for a Sustainable World Proceedings of the 19th CIRP Conference on Life Cycle Engineering, University of California at Berkeley, Berkeley, USA, May 23 - 25, 2012

Auctions, Market Mechanisms, and Their Applications Second International ICST Conference, AMMA 2011, NewYork, NY, USA, August 22-23, 2011, Revised Selected Papers

Data Integration in the Life Sciences 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedings

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 Revised Selected Papers

Provenance and Annotation of Data and Processes 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers

The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II