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 EventThis talk will examine in broad terms the impacts on rail signalling engineers today.
View EventCurry and Social Evening at Travancore Indian Restaurant
View EventThe space debris problem, why space sustainability is important and what UKSA are doing in this area.
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 Event
This interactive, live virtual, training course will provide delegates with an understanding of modern near-field antenna range measurements.
View EventIET South Australia and Northern Territory Local Network 2024 AGM (Hybrid event)
View EventHow digital twins transform engineering through virtual models of physical systems, enabling real-time simulation, failure prediction, and performance optimisation
View EventThe IET Scotland Power Technical Network (PTN) is honored to welcome Lindsay, Principal Electrotechnical Surveyor for the UK and Ireland at Lloyd’s Register.
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 EventWarren Jacobs will talk about how technology can be successfully incorporated into traditional toys and games to deliver magic to the user. I’ll also cover the process that is adopted by most manufacturers to deliver technology led toys to the market.
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 Event