School of Computer Science
3 December 2012
Computer Science Christmas party 19 Dec 12
The CS Christmas party will be held on Wednesday 19 December at 3pm in the senior common room. This year there will be a quiz at 4pm so get there on time to be in with a chance to win. Pizza will be served at 5pm. As usual we would like everyone to contribute by bringing along something to drink.
Movember is over
Atlas 5oth anniversary symposium 5 Dec 12
Mutation Testing of Erlang Distributed and Concurrent Applications
3 Dec 12
10:00, Atlas 1, Kilburn building
Mutation testing has been widely used in testing sequential programs. However, it has fewer applications in testing distributed and concurrent systems. In this talk, I will report the research outcomes from our recently completed EU FP7 project ProTest where we have investigated mutation testing of distributed and concurrent applications written in the functional programming language Erlang.
In our work, a set of mutation operators was defined for the generations of mutants from a distributed and concurrent application. Based on mutating a program at the source code level, the defined mutation operators aimed to explore possible semantic variations from the system under test. In mutation testing two programs are said to be equivalent if there exists no input that makes them distinguishable. Determining equivalent mutants is an important yet difficult task and, in general, is undecidable. In our work, a model based technique was proposed for the evaluation of program equivalence.
The proposed technique model-checks a program and its mutant to validate whether they are model-oriented equivalent. Model-oriented equivalent defines that, in terms of the system properties defined by a model, both programs achieve complete coverage, regardless of whether the programs are functionally equivalent or not. Compared to the evaluation of functional equivalence, model based evaluation is of polynomial complexity and often leads to much less computational cost. The proposed techniques were evaluated with regards to a set of experiments where a simple distributed and concurrent example was tested, which provides experimental evidence for their effectiveness.
Empirical Software Engineering with Confidence 3 Dec 12
14:00, Atlas 1, Kilburn building
Ibrahim Habli, University of York
I will provide an overview of my research on high-assurance software engineering, with emphasis on safety- and security-critical systems. I will briefly discuss my research on software architectures, model-driven engineering, verification and certification. I will then discuss in more detail three empirical studies on the software assurance of aero-engine control systems and unmanned aircraft systems, which I carried out in collaboration with Rolls-Royce and NASA. I will conclude with a discussion of my existing research interests in the assurance of complex healthcare systems of systems.
Unleash the power of big data 4 Dec 12
10:00 - 15:00, Daresbury Laboratory
Big Data is everywhere. When the 2012 Summer Olympics took place in London earlier this year, the BBC serviced up to a third of the UK's Internet traffic, as well as hundreds of millions of fans around the globe simultaneously. In order to handle this traffic and still deliver real-time results to sports fans around the world, the Broadcaster turned to MarkLogic to solve this unique challenge. And on the other side of the Big Data spectrum, through the use of powerful supercomputers such as the SGI® UV®, Kalev Leetaru at the University of Illinois can now ingest millions of Twitter feeds in real time to analyse social sentiment around the globe. His findings concerning the recent US election, as well as Hurricane Sandy, are intriguing to say the least.
Featured publications this week (by Robert Stevens)
School Research Office
Please contact us through email@example.com.
There is information about support for grant writing and submission at http://www.cs.manchester.ac.uk/reso/
UMRI – Pump Priming Programme 15 Dec 2012
· Closing date: 15 Dec 2012
The University of Manchester Research Institute (UMRI) has up to £400,000 available to fund projects of up to £50,000 (though normally smaller than this), intended to support and pump-prime new interdisciplinary research programmes. For example:
Proposals should be up to 6 months in duration and funds should be expended by 31 July 2013. Applications (2 page outline) should be submitted by email to firstname.lastname@example.org by 15 December 2012.
Further information on the UMRI Pump Priming Programme.
Wellcome Trust Translation Fund 7 Jan 2013
· Closing date: 5pm 7 Jan 2013
Wellcome Trust Translation Awards look to bridge the funding gap in the commercialisation of new technologies in the biomedical area, either through single projects or portfolio programmes.
The Trust are inviting projects covering any aspect of technology development from a range of disciplines - including physical, computational and life sciences. Projects must address an unmet need in healthcare or in applied medical research, offer a potential new solution, and have a realistic expectation that the innovation will be developed further by the market.
Initially prospective applicants should submit a concept note to Technology Transfer at email@example.com.
Graphene Bioscience Interdisciplinary Grand Challenges Funding 10 Jan 2013
· Outline applications and completion of the Graphene Clinic Doodle Poll: 4pm 10 Jan 2013
· Closing date: 4pm 14 Feb 2013
The University of Manchester has committed £200K to pump-prime investigations into how Graphene-based solutions might be applied to biomedical/life science problems. Applications for pilot studies (up to 12 months in duration) are encouraged from researchers across the University.
The following major challenge areas for use of Graphene in life science/biomedical applications the main focus of this call, however they are not exclusive and alternative transformative ideas are also welcomed:
General enquiries: Kay.Hodgson@manchester.ac.uk (x60552)
Outline/full applications: FMHS Research Deanery: RD@manchester.ac.uk.
Full information is available from the Research Deanery.
Neuroscience Research Institute – Event Funding Available 16 Jan 2013
· Closing date: noon 16 Jan 2013
The Neuroscience Research Institute is offering support of up to £1000 towards the cost of hosting a Neuroscience event, open to junior researchers and postgraduates. The NRI can help with the promotion and logistics of the event if required and the event should be held before 31 July 2013.
To apply, send a one page outline (in 12 point font) of the topic, including the title and proposed format, along with suggestions for speakers (if applicable) to firstname.lastname@example.org.
Research and Grant Awards
Congratulations to all those involved in the following successful awards!
A scalable dynamical core for Next Generation Weather and Climate Prediction (NGWCP) - Phase 2
Funding Body: NERC
PI: Graham Riley
Award Amount: £48,660
This project follows on from Phase 1 of the project to improve the accuracy of numerical weather forecasts and climate simulations. The overall aim of the proposed project is to develop a three-dimensional, fully compressible dynamical core suitable for operational global and regional weather and climate prediction, as well as for research use, on massively parallel machines, and to demonstrate its accuracy, efficiency, and scalability. The accuracy should be comparable to that of existing state of the art algorithms, such as the Met Office Unified Model (UM) dynamical core on a suitable quasi-uniform spherical grid, with regional modelling capability. The algorithm must be efficient enough to run in the available operational time slots, and it must scale well on 100,000 to 1000,000 processors.
Text mining of food security grants across GFS partners
Funding Body: BBSRC
PI: Jock McNaught
Award Amount: £27,000
BBSRC funding was awarded to develop a search system for grants relating to the Global Food Security (GFS) programme, where data originates from a variety of sources. This included assessing the use of Termine for determining food security grants from BBSRC’s entire portfolio over the 2 year timeframe.
Have we missed something? If you have some award news that you would like us to know about please contact Sarah Chatwin.