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: Room E303, Merz Court Date/Time: 7th January 2014, 14:00
Speaker(s): Graham Birtwistle, Department of Computer Science, The University of Sheffield.
Brief Description:We describe work on modelling asynchronous pipelines. Our approach, which is based upon cooperating state machines, is of general applicability. On the theory side, we have developed a way of generating complete spaces of abstract designs, ordering/relating them, and generating a compact algorithm to calculate their behaviours when composed into either homogeneous or mixed pipelines. On the practical side, one popular design space has been implemented in silicon directly from the abstract specifications, resulting in several novel quality circuits.
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: 28th January 2014, 14:00 - 15:00
Speaker(s): Prof. Tony Ho, University of Surrey.
Brief Description:The tremendous growth of advanced telecommunication and Internet technologies in the past two decades has led to the proliferation of multimedia content for digital transmission and storage. The talk will give an overview of data hiding techniques and their applications to digital images. For example, image steganography for secure communication of secret messages via an open channel, and digital watermarking for protection and authentication of content integrity. Finally, the talk will also introduce image forensic techniques for camera identification and forgery detection of images (including biometric data) and videos, which are currently attracting a great deal of attention from the research community.