Location: CLT 701 Date/Time: 7th January 2014, 14:00 - 15:00
Speaker(s): Jean-Louis Boulanger (Certifer, France, http://www.certifer.eu/).
Brief Description:In this talk, we introduce the evolution of the 2011 version of the 50128 standard and its impact on the development of safety critical software (SSIL >0). The 50128:2011 describes a V-cycle for the software development and the used of formal method is highly recommended. More precisely, we present the different uses of formal method for developing and verifying software.
Location: Claremont Tower CLT.1.02 Date/Time: 13th January 2014 - 17th January 2014, 10:00 - 13:00
Speaker(s): Grzegorz Rozenberg.
The lectures are of interest to mathematicians and computer scientists interested in formal models of computation and in modelling biological processes as well as to bioinformaticians, biochemists, and biologists interested in foundational/formal understanding of biological processes. They are of a tutorial style and self-contained. In particular, no prior knowledge of biochemistry or cell biology is required.
Location: CLT 701 Date/Time: 14th January 2014, 14:00 - 15:00
Speaker(s): Dr Navid Izady, Southampton University.
Brief Description:In this talk I will give an overview of some of the work I have done on developing queueing models for performance evaluation and optimization of healthcare delivery systems. In the first part, I present a new computational methodology for service evaluation of emergency admission units facing time-dependent admission rates. In the second part, I will show how a combination of simulation and queueing models could be used for finding the optimal staffing profiles in accident and emergency departments.
Location: CLT 701 Date/Time: 21st January 2014, 14:00 - 15:00
Speaker(s): Paul Anderson, University of Edinburgh.
I will talk about the design of (declarative) configuration languages, in particular the differences between these languages and programming languages. I will then talk about some "work in progress" by illustrating the difficulties which can arise in attempting to identify "provenance" of configuration parameters, and the implications for the design of new configuration languages and tools.
Location: CLT 701 Date/Time: 11th February 2014, 14:00 - 15:00
Speaker(s): Dr Xun Li, Victoria University, Australia.
Brief Description:In mobile communication, spatial queries pose a serious threat to user location privacy because the location of a query may reveal sensitive information about the mobile user. In this paper, we study k nearest neighbor (kNN) queries where the mobile user queries the location-based service (LBS) provider about k nearest points of interest (POIs) on the basis of his current location. We propose a solution for the mobile user to preserve his location privacy in kNN queries.