第二届国际互动、博弈与协议研讨会
Proceedings Second International Workshop on Interactions, Games and Protocols
摘要：
本卷包含第二届国际互动、博弈和协议研讨会（IWIGP 2012）的会议记录。该研讨会于2012年3月25日在塔林举行，作为ETAPS 2012的卫星活动。上一次研讨会是在萨尔布吕肯举行的，作为ETAPS 2011的一部分。本次研讨会的目的是将工业界和学术界的研究人员聚集在一起，探讨如何更好地理解交互、游戏和协议之间的相互关系，从而设计出更好、更可靠的交互系统。我们邀请了来自理论和实践角度的科学贡献。该计划包括两个特邀演讲和四个审阅论文，由一个强大的国际声誉的计划委员会选择。本卷收录了所审阅的论文。
英文摘要：
This volume contains the proceedings of the second International Workshop on Interactions, Games and Protocols (IWIGP 2012). The workshop was held in Tallinn on March 25, 2012, as a satellite event of ETAPS 2012. The previous workshop took place in Saarbrücken as part of ETAPS 2011. The goal of this workshop was to bring researchers from industry and academia together and to explore how a better understanding of the interrelation between interactions, games and protocols leads to better-designed and more reliable interacting systems. We invited scientific contributions both from a theoretical and a practical perspective. The program consisted of two invited talks and four refereed papers, selected by a strong program committee of international reputation. The refereed papers are contained in this volume.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
