#hisc2024 search results

Thanks for Dr Wei Ni for the invitation to present result of EMBOLISE alongside MAGIC MT, STEM, and EMPROTECT at #HISC2024 in Shanghai. What a beautiful and historic city

Congratulations to Wrenna Robson from the University of Bristol for winning the best-in-class poster at #HISC2024 on the subject of the transition to post-quantum cryptographic algorithms 👏 View Wrenna's poster on the HISC website ⬇️ his-conference.co.uk/news/best-post…

Thanks for joining us at #HISC2024! Paul Butcher and Lucia Capogna share how they enjoyed exploring shared industry challenges and making new connections. 💬 What was your favourite session at #HISC this year? Slides available here: his-conference.co.uk/slides

As always, a fantastic day at #HISC this week! If we missed you at #HISC2024, get the just-released #multicore white paper we authored with Rapita Systems here: ow.ly/4sZw50TLGNM @HISC_conf @rapitasystems

Thanks for joining us for #HISC2024 - what a day it has been! Now it's time to mull over today's insights at our Networking & Cocktail Hour - one last chance to meet our speakers, catch up with industry contacts and discuss critical software. See you again in 2025! 👋

🎙️Professor John Goodacre, @DSbDTech / Digital Security by Design, tells us how he sees the future of #CyberSecurity - highlighting practical approaches for fostering improved supply chain resilience and ensuring robust security measures are embedded from the outset. #HISC2024

Joao Azevedo, Senior Software Engineer at AdaCore, shares a lightening talk on GNATformat - a state of the art code formatter for #ada and #SPARK @HISC_conf #HISC2024

🍽️ It's lunchtime! Join us in the exhibition hall to refuel and check out our Lightning Talks from @AdaCoreCompany, @CapgeminiEngUK, @ANSYS and Developair Technologies (starting from 12.25). ⚡️ Lightning Talks agenda 👉 his-conference.co.uk/session/lightn… #HISC2024

Alex Powell, @volantautonomy, asks how the aerospace sector can evolve to enable the integration of new technologies like uncrewed aviation systems whilst maintaining safe operations ✈️ #HISC2024

Rust is an attractive language, particularly in the high-integrity industry, owing to its robust safety guarantees. @jose_f_ruiz of @AdaCoreCompany shares his insights at @HISC_conf #HISC2024 #rust #safetycritical #software

Our partners @rapitasystems are showcasing GNAT Pro for Rust on their stand at @HISC_conf #HISC2024

Our new Future Zone in action at #HISC2024 - grab a coffee and chat to researchers about emerging methods, algorithms and technologies in critical software ☕️ @BristolUni @cambridge_uni @CityUniLondon @unisouthampton @UniOfYork

For our next #HISC2024 talks, choose from two streams: Languages for High Integrity Software with SCI Semiconductor, @AdaCoreCompany & @MBDA_UK Approaches to Certification with @RollsRoyce (on behalf of the Submarines Enterprise), @WindRiver & @volantautonomy

Modern society is now critically dependent on software. ✈️ In his keynote, Rob Ashmore (UK MOD) asks how we can view challenges as opportunities to improve our approach to software within the Global Combat Air Programme (GCAP) and beyond. #HISC2024

Hey #HISC2024 attendees! Stop by the Wind River and @rapitasystems stands to get your copy of our just-released white paper "Mitigation of Interference in Multicore Processors." Not attending #HISC? Download it here: ow.ly/4sZw50TLGNM #Multicore

Our partners @rapitasystems are showcasing GNAT Pro for Rust on their stand at @HISC_conf #HISC2024

Rust is an attractive language, particularly in the high-integrity industry, owing to its robust safety guarantees. @jose_f_ruiz of @AdaCoreCompany shares his insights at @HISC_conf #HISC2024 #rust #safetycritical #software

Joao Azevedo, Senior Software Engineer at AdaCore, shares a lightening talk on GNATformat - a state of the art code formatter for #ada and #SPARK @HISC_conf #HISC2024

For our next #HISC2024 talks, choose from two streams: Languages for High Integrity Software with SCI Semiconductor, @AdaCoreCompany & @MBDA_UK Approaches to Certification with @RollsRoyce (on behalf of the Submarines Enterprise), @WindRiver & @volantautonomy

🎙️Professor John Goodacre, @DSbDTech / Digital Security by Design, tells us how he sees the future of #CyberSecurity - highlighting practical approaches for fostering improved supply chain resilience and ensuring robust security measures are embedded from the outset. #HISC2024

Our new Future Zone in action at #HISC2024 - grab a coffee and chat to researchers about emerging methods, algorithms and technologies in critical software ☕️ @BristolUni @cambridge_uni @CityUniLondon @unisouthampton @UniOfYork

Alex Powell, @volantautonomy, asks how the aerospace sector can evolve to enable the integration of new technologies like uncrewed aviation systems whilst maintaining safe operations ✈️ #HISC2024

Meet our media partners 📰 Aerospace Innovations and @eeNewsEurope will cover the latest in high-integrity software insights at #HISC2024. Learn more about Aerospace Innovations: aerospace-innovations.com Learn more about EENews Europe: eenewseurope.com/en/ #HISConf

Announcing our first keynote for #HISC2024 📢 Professor John Goodacre's keynote will discuss the concepts of #CyberSecurity, secure by default, and secure by design. Register now: his-conference.co.uk #HISCConf @UKRI_News

Thank you to our Delegate Sponsor, @WindRiver, who will be speaking and exhibiting at #HISC2024 next week 👏 Got your HISC ticket yet? Register now: his-conference.co.uk/registration

As always, a fantastic day at #HISC this week! If we missed you at #HISC2024, get the just-released #multicore white paper we authored with Rapita Systems here: ow.ly/4sZw50TLGNM @HISC_conf @rapitasystems

Dr Leonidas Kosmidis, Barcelona Supercomputing Center (@BSC_CNS), discusses disruptive technologies like GPUs and Rust and the sessions he's most looking forward to at #HISC2024 in our latest blog. Read the interview ➡️ his-conference.co.uk/news/expect-to…

Thanks for Dr Wei Ni for the invitation to present result of EMBOLISE alongside MAGIC MT, STEM, and EMPROTECT at #HISC2024 in Shanghai. What a beautiful and historic city

We are looking forward to exhibiting at @HISC_conf next week! 🌐 Visit us at Booth 6 to explore how RTI is helping shape a secure and reliable software ecosystem for the future. Learn more: his-conference.co.uk #HISC2024

Hey #HISC2024 attendees! Stop by the Wind River and @rapitasystems stands to get your copy of our just-released white paper "Mitigation of Interference in Multicore Processors." Not attending #HISC? Download it here: ow.ly/4sZw50TLGNM #Multicore

Full programme announced 🎉 Join us at #HISC2024 for insights from industry and academic experts on approaches to certification, languages for high-integrity software, validation & verification, and standards and their evolution. Get your tickets 🎫 ➡️ his-conference.co.uk/registration

Excited for tomorrow's #HISC2024! Come by our table and let's talk about our proven software for intelligent systems success. And @11am, catch our presentation - "Using Linux in Safety Critical Systems, up to DAL-D or can we go higher?" More info: experience.windriver.com/proven-softwar…

Read our latest interview with @AdaCoreCompany's Paul Butcher to find out why #HISC2024 is a must if you’re looking for an action-packed agenda, brand new connections, and professional growth 📰⬇️ his-conference.co.uk/news/increasin…

Last chance to register for #HISC2024! Don't miss us at @ICCWales with keynotes from Rob Ashmore, UK MOD, Professor John Goodacre, Digital Security by Design, plus talks on C/C++, Rust, Certification, GPUs, AI and much more. Get your ticket today 🎟️ ➡️ his-conference.co.uk/registration

Congratulations to Wrenna Robson from the University of Bristol for winning the best-in-class poster at #HISC2024 on the subject of the transition to post-quantum cryptographic algorithms 👏 View Wrenna's poster on the HISC website ⬇️ his-conference.co.uk/news/best-post…