This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov. The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.

Recent American foreign policy has depended heavily on the use of negative inducements to alter the behavior of other states. From public browbeating through economic sanctions to military invasion, the last several presidents have chosen to use coercion to advance U.S. interests when dealing with adversaries. In this respect, as Miroslav Nincic notes, the United States differs from many of its closest allies: Canada has long maintained diplomatic relations with Cuba, and several of the European democracies have continued diplomatic engagement with governments that the United States considers pariah regimes. In The Logic of Positive Engagement, Nincic outlines the efficacy of and the benefits that can flow from positive rather than negative engagement. Nincic observes that threats and punishments may be gratifying in a symbolic sense, but that they haven't affected the longevity or the most objectionable policies of the regimes against which they are directed. Might positive inducements produce better results? Nincic examines two major models of positive inducements: the exchange model, in which incentives are offered in trade for altered behavior, and the catalytic model, in which incentives accumulate to provoke a thorough revision of the target's policies and priorities. He examines the record with regard to long-term U.S. relations with Cuba, Libya, and Syria, and then discusses the possibility that positive inducements might bring policy success to current relations with Iran and North Korea.

Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits regarding ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applicati

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, Japan, in June 2009. The 25 revised full papers presented together with six tutorials and invited talks were carefully reviewed and selected from 57 submissions. The papers cover some of the most active areas of research on the frontiers between computation, logic, and linguistics, with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection.

This book constitutes the refereed proceedings of the Second Asian Conference on Computing Science, ASIAN'96, held in Singapore in December 1996. The volume presents 31 revised full papers selected from a total of 169 submissions; also included are three invited papers and 14 posters. The papers are organized in topical sections on algorithms, constraints and logic programming, distributed systems, formal systems, networking and security, programming and systems, and specification and verification.

Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees.

This Festschrift was published in honor of Joshua Guttman on the occasion of his 66.66 birthday. The impact of his work is reflected in the 23 contributions enclosed in this volume. Joshua’s most influential and enduring contribution to the field has been the development of the strand space formalism for analyzing cryptographic protocols. It is one of several “symbolic approaches” to security protocol analysis in which the underlying details of cryptographic primitives are abstracted away, allowing a focus on potential flaws in the communication patterns between participants. His attention to the underlying logic of strand spaces has also allowed him to merge domain-specific reasoning about protocols with general purpose, first-order logical theories. The identification of clear principles in a domain paves the way to automated reasoning, and Joshua has been a leader in the development and distribution of several tools for security analysis.