This open access book explores the impact of deep regional economic integration on spillovers of knowledge and technology across countries. Deep integration through signing deep regional trade agreements (DRTAs), which cover various policy areas in addition to tariff reductions, may or may not facilitate technology spillovers among their signatories. To understand the mechanism of the impact of deep integration on technology spillovers, this book starts by analyzing the behavior of global firms. Factors that affect global firms' activities, such as export, foreign direct investment (FDI), offshore outsourcing, are examined. Micro data on Japanese firms are employed for the analysis. Then, the relationships between bilateral trade patterns and technology spillovers and between types of FDI and technology spillovers are investigated in detail. Patent citation data are used to measure technology spillovers. Finally, the impact of DRTAs on international technology spillovers is analyzed. This book is highly recommended to readers who are interested in the effects of deep regional integration, including academic scholars, policymakers, and graduate students.

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.