Natural deduction system in paraconsistent setting: proof search for PCont

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.

To ISDS or not to ISDS: A question of legitimacy in dispute resolution

Investor State Dispute Settlement (ISDS) has gained prominence in recent years with an explosion in the number of investor claims against states. While the evolution of this type of arbitration was expected, its focus and context was not. Investors are currently bringing actions against developed states in unanticipated policy areas. Greece, facing actions from investors challenging its debt haircut and Spain, battling investor challenges to its revamped energy policy are examples of the use of arbitration as a political as well as a dispute resolution tool. It is for this reason why the proposal for the inclusion of ISDS in the Transatlantic Trade and Investment Partnership (TTIP) has caused so much heated discussion. This paper examines the recent evolution and likely trajectory of investor state dispute settlement, reflecting on consequences for perceptions of arbitration and its links with politics and economics.

New Frontiers in Energy-Efficient Computing

Energy-efficient computing remains a critical challenge across the wide range of future data-processing engines — from ultra-low-power embedded systems to servers, mainframes, and supercomputers. In addition, the advent of cloud and mobile computing as well as the explosion of IoT technologies have created new research challenges in the already complex, multidimensional space of modern and future computer systems. These new research challenges led to the establishment of the IEEE Rebooting Computing Initiative, which specifically addresses novel low-power solutions and technologies as one of the main areas of concern.With this in mind, we thought it timely to survey the state of the art of energy-efficient computing.