Location: Devonshire G21/22 Date/Time: 10th October 2014, 14:00 - 15:00
Speaker(s): Enda Ridge.
Doing data science is difficult. Projects are typically very dynamic with requirements that change as data understanding grows. The data itself arrives piecemeal, is added to, replaced, contains undiscovered flaws and comes from a variety of sources. Teams also have mixed skill sets and tooling is often limited. Despite these disruptions, a data science team must get off the ground fast and begin demonstrating value with traceable, tested work products. This is when you need Guerrilla Analytics.
Location: CLT 701 Date/Time: 21st October 2014, 13:00 - 14:00
Speaker(s): Ying He.
Brief Description:The new European General Data Protection Regulation comes with a strict data protection compliance regime that organisations can be fined up to 2% of worldwide turnover, for example, in the case of severe data protection incidents and failure to report a personal data breach to the supervisory authority. Organisations are under a legal obligation to strengthen their security mechanisms to prevent incidents. The exchange of lessons learned from security incidents can help organisations reduce security risks. However, incident documented in free-style text such as investigation reports, news articles and technical notes were not concerned with providing a mechanism for conveying key details effectively. Our research addressed this problem by borrowing experience on safety assurance arguments.
Location: CLT701 Date/Time: 28th October 2014, 14:00 - 15:00
Speaker(s): Professor Peter D Mosses.
Formal specifications of programming languages can be useful for documenting their design, and as a basis for developing implementations and reasoning about program correctness. But although language developers generally specify syntax formally, they stick to informal prose for semantics. This is at least partly due to the effort required to specify the formal semantics of large-scale languages with conventional frameworks, and to update such specifications when languages evolve. The talk introduces and illustrates the component-based approach, and explains how funcons can be specified independently using a modular variant of structural operational semantics.