Frontiers Of Combining Systems

Download or read book Frontiers of Combining Systems written by Silvio Ghilardi and published by Springer Science & Business Media. This book was released on 2009-09-07 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the 7th International Symposium of Frontiers of Combining Systems (FroCoS 2009) held during September 16-18, 2009 in Trento, Italy. Previous FroCoS meetings were organized in Munich (1996), Amsterdam (1998), Nancy (2000), Santa Margherita Ligure (2002), - enna (2005), and Liverpool (2007). In 2004, 2006, and 2008 FroCoS joined IJCAR, the International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2009 o?ered a forum for the presentation and discussion of research activities on the combination, integration, analysis, m- ularization and interaction of formally de?ned systems, with an emphasis on logic-based ones. These issues are important in many areas of computer science such as logic, computation, program development and veri?cation, arti?cial - telligence, automated reasoning, constraint solving, declarative programming, and symbolic computation. There were 35 submissions to FroCoS 2009. Each submission was reviewed by at least three Program Committee members. After a careful evaluation, the committee decided to accept the 19 papers which are published in this volume. The volume also includes four invited contributions by Alessandro Armando (DIST Genova), Thomas Eiter (TU Wien), Boris Motik (OUCL Oxford), and Ashish Tiwari (SRI Stanford).