Introduction: Formal Models of, in, and for International Negotiations -- Introduction: Formal Models of, in, and for International Negotiations -- General Evaluations -- Game Models of Peace and War: Some Recent Themes -- Formal Models of Intervention: A Stocktaking and Analysis of the Implications for Policy -- Rationality of Choice versus Rationality of Knowledge -- Negotiation Models and Applications -- Models of International Negotiations -- A Dynamical Systems Model of Small Group Decision Making -- Formal Methods for Forecasting Outcomes of Negotiations on Interstate Conflicts -- Bridging Games and Diplomacy -- Greek-Turkish Territorial Waters Game -- Models in International Negotiations -- Some Lessons from the Use of the RAINS Model in International Negotiations -- Converting Competition to Collaboration: Creative Applications of Models in the Law of the Sea Negotiations -- Models for International Negotiations -- International Negotiations on Climate Change: A Noncooperative Game Analysis of the Kyoto Protocol -- The Graph Model for Conflict Resolution as a Tool for Negotiators -- A Minimax Procedure for Negotiating Multilateral Treaties -- “Adjusted Winner” (AW) Analyses of the 1978 Camp David Accords—Valuable Tools for Negotiators? -- Procedural Design for Conflict Resolution -- Conclusion: Lessons for Theory and Practice.