Thanks to the many people from EPSRC ICT SAT, UKCRC Ubiquitous Grand Challenges, UK-UbiNet and others who have provided input to this.

The object of the present paper is to study three-dimensional Lorentzian -Sasakian manifolds which are Ricci-semisymmetry, locally symmetric and have -parallel Ricci tensor. An example of a three-dimensional Lorentzian -Sasakian manifold is given which verifies all the Theorems.

This paper presents a framework for the implementation of online programming competitions, including a set of principles for the design of the multiplayer game and a practical framework for the construction of the competition environment. The paper presents a successful example competition, the 2016-17 Halite challenge, and briefly mentions a second competition, the Halite II challenge, which l...

By far the greatest challenge related to undermining of internal sovereignty in the settled areas of NWFP and the rapidly fading writ of the government in the Federally Administered Tribal Areas (FATA). Although a military operation appears to have quelled the insurgency in some parts for now, these areas still need to be brought fully under state control. In addition, the largest ever displace...

We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative style of interaction between tools. We propose the use of an existing planning technique, called proof planning, as a possible basis for achieving strong integration.