The use of formal methods is widely acknowledged to be best possible practice for assuring the behaviour of software systems but is still thought to be inaccessible to a typical software engineer. Furthermore, often the prevailing view is that formal methods are only accessible by academics and that evidence to support certification can be difficult to obtain.
View EventWe are now entering CP7, which is the rail project funding cycle for the next 5 years . This talk will examines in broad terms the impacts for rail signalling engineers today. The skill desirable to make the most of these opportunities for operations, maintenance and renewal of the railway and the many innovations that promise to improve our customer experience.
View EventCurry and Social Evening at Travancore Indian Restaurant
View EventThis webinar will look at the distinct challenges facing safety in AI and ML, how current standard safety practices can be applied and inform the future of safety and the current landscape and Journey to effective AI/ML safety. ai event listing
View EventThis interactive, live virtual, training course will provide delegates with an understanding of modern near-field antenna range measurements.
View EventHow digital twins transform engineering through virtual models of physical systems, enabling real-time simulation, failure prediction, and performance optimisation
View EventLearn how to manage people more effectively – whether you are a first-time manager in engineering and technology or you’re just looking to refresh your skills.
View EventJoin us to hear from the J.A Lodge winner in person and the William James winners recorded talk as part of the IET Healthcare Technologies Student and Early Career Awards 2024.
View EventExplore thorny legal questions about online speech during the presentation. Delve into real-life cases of harassment and defamation. Essential for anyone active online - gain a clear understanding of legal boundaries.
View EventThe visit is to share about the latest effort on low carbon solutions in Hong Kong. The agenda includes the following areas: - Climate Change and Fuel Choice - Renewable Energy - Natural Gas - Nuclear Power - Powering the Future - Low Carbon Living
View EventBy attending this event, participants will gain a better understanding of the benefits of professional registration, including increased career prospects, recognition, and credibility within the industry and community. They will also learn about the different requirements and criteria that must be met to achieve professional registration and how to effectively prepare themselves for the process.
View EventThe symposium objectives are; to create awareness through research and publications about the future prospects of smart cities.
View Event