The official guide to SIMSOC, the dynamic group simulation game whose “potential for stimulating the learning process is staggering” (Teaching Sociology), in which players grapple with the challenge of governing society. In SIMSOC, players confront issues like abuse of power, justice, diversity, trust, and leadership as they negotiate their way through labor-management strife, political turmoil, and natural disasters. Success or failure is dependent upon decisions made by players and the creativity of the group—and every game is a teaching tool. To be successful, players must utilize every basic social process from cooperation and reward to threat and punishment. SIMSOC will make participants ask questions about social control, and bring everyday experience and deeper understanding to even the most arcane social and organizational theory. Included in this Fifth Edition of SIMSOC's Participant's Manual are instructions for playing, materials for play, study questions based on participation, and selected readings about simulation games, leadership, and social processes. New to the Fifth Edition are additional size levels to accommodate groups of up to ninety participants with simplified rules and readings by authors from Nicholas Lemann to Robert Putnam.

An Overview SIMSOC (which is pronounced sim-sock and stands for simulated society) is the most versatile role-playing game in the world. It has been used by hundreds of thousands of people and tens of thousands of groups, in introductory sociology courses and business seminars, for firsthand understanding of the forces that determine success or failure in any group or society. Coordinators accustomed to the previous edition will find no cumbersome rule changes -- this edition is simpler yet broader than its predecessor. New to it are: Simpler, streamlined rules. Increased size levels so that SIMSOC exercises can accommodate up to ninety people. A way to simulate generating private capital through direct investment. Numerous options covering everything from cellular phones to e-mail, which can be used at the coordinator's discretion. Readings from professionals and popular authors like Robert Putnam and Nicholas Lemann to address issues important to sociologists and managers of complex organizations. Use SIMSOC is appropriate for any group that wants to learn the nature of group dynamics and leadership or social organization and control. Big businesses like MGM and Lucent Technologies, charitable organizations, and local governmental agencies have all found it a useful teaching tool for over thirty years, as have college- and graduate-level social science students. Required from You The coordinator must set up the game and collect and distribute various materials during it. Beyond that, he or she needs only to observe what is happening and focus post-game discussion and efforts on pertinent issues. General Parameters The SIMSOC Coordinator's Manual contains complete instructions and all the materials needed for play. Also required are: Participants: Groups of up to ninety for each SIMSOC exercise. Time: Fifty to ninety minutes, five to ten times, for a total of no less than about eight hours. Space: Ideally four separate rooms, but the game can also be run in one large or two medium-sized rooms. Equipment: Each player needs the SIMSOC Participant's Manual and a pencil. One Coordinator's Manual will be needed for each group of up to ninety participants. It can be obtained, for a $5.00 fee, by writing, on letterhead, to: The Free Press A Division of Simon & Schuster, Inc. Faculty Service Desk 1230 Avenue of the Americas New York, NY 10020 To learn more about our academic and professional resources, visit us online at www.SimonSaysacademic.com.

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

This is the fullest guide to available games and simulations for use in business and education. There are over 1,400 separate entries -- about half of them new to this edition -- giving each game's name, copyright, manufacturer, price, age and number of players, together with a full description. Twenty four essays evaluate and contrast games for specific settings, making this a consumer report for game users.