hopin.com Open in urlscan Pro
2606:4700::6812:1551  Public Scan

Form analysis
1 forms found in the DOM

POST /events/high-integrity-software-virtual-conference-2021/register

<form class="edit_event" id="edit_event_216170" action="/events/high-integrity-software-virtual-conference-2021/register" accept-charset="UTF-8" method="post" __bizdiag="3729216" __biza="WJ__"><input type="hidden" name="authenticity_token"
    value="wbt+EpWPrJqTPob+1NIKZmuxKgkF18aD+6Hds4ODHQOmGGwBawc4iBmzQuuLVmT4n06HRTDGGF6cw0DmMyyspA==">
  <div class="stack -gap-8 mt-24">
    <label class="option -card">
      <input id="JuUJAmUxRsLeluATqRPT1MXPM" type="radio" value="JuUJAmUxRsLeluATqRPT1MXPM" checked="checked" name="event[personas]">
      <span class="option_content flex -align-center">
        <span class="mr-auto">
          <span class="">Conference pass</span>
          <br>
          <span class="text -small -light">Includes access to keynote presentations, breakouts, Q+A sessions and exhibitor booths.</span>
        </span>
        <strong> Free </strong>
      </span>
    </label>
  </div>
  <div class="mt-24 stack -gap-16">
    <h4>Tell us about yourself:</h4>
    <div class="field">
      <label for="event_registration_fields_First name*">First name*</label>
      <input autocomplete="off" class="input" required="required" type="text" name="event[registration_fields][First name*]" id="event_registration_fields_First name*">
    </div>
    <div class="field">
      <label for="event_registration_fields_Surname*">Surname*</label>
      <input autocomplete="off" class="input" required="required" type="text" name="event[registration_fields][Surname*]" id="event_registration_fields_Surname*">
    </div>
    <div class="field">
      <label for="event_registration_fields_Job Title*">Job Title*</label>
      <input autocomplete="off" class="input" required="required" type="text" name="event[registration_fields][Job Title*]" id="event_registration_fields_Job Title*">
    </div>
    <div class="field">
      <label for="event_registration_fields_Company*">Company*</label>
      <input autocomplete="off" class="input" required="required" type="text" name="event[registration_fields][Company*]" id="event_registration_fields_Company*">
    </div>
    <div class="field">
      <label for="event_registration_fields_Email*">Email*</label>
      <input autocomplete="off" class="input" required="required" type="text" name="event[registration_fields][Email*]" id="event_registration_fields_Email*">
    </div>
    <div class="field">
      <label for="event_registration_fields_Industry*">Industry*</label>
      <select class="select" required="required" name="event[registration_fields][Industry*]" id="event_registration_fields_Industry*">
        <option value="">Please select an option</option>
        <option value="Academia">Academia</option>
        <option value="Air Traffic Management">Air Traffic Management</option>
        <option value="Automotive">Automotive</option>
        <option value="Civil Avionics">Civil Avionics</option>
        <option value="Cross-industry">Cross-industry</option>
        <option value="Energy">Energy</option>
        <option value="Environmental">Environmental</option>
        <option value="Financial">Financial</option>
        <option value="Industrial Automation">Industrial Automation</option>
        <option value="Medical">Medical</option>
        <option value="Military">Military</option>
        <option value="Rail">Rail</option>
        <option value="R&amp;D">R&amp;D</option>
        <option value="Space">Space</option>
        <option value="Other">Other</option>
      </select>
    </div>
    <div class="field">
      <label for="event_registration_fields_Country*">Country*</label>
      <select class="select" required="required" name="event[registration_fields][Country*]" id="event_registration_fields_Country*">
        <option value="">Please select an option</option>
        <option value="United Kingdom">United Kingdom</option>
        <option value="-----------">-----------</option>
        <option value="Afghanistan">Afghanistan</option>
        <option value="Aland Islands">Aland Islands</option>
        <option value="Albania">Albania</option>
        <option value="Algeria">Algeria</option>
        <option value="American Samoa">American Samoa</option>
        <option value="Andorra">Andorra</option>
        <option value="Angola">Angola</option>
        <option value="Anguilla">Anguilla</option>
        <option value="Antarctica">Antarctica</option>
        <option value="Antigua and Barbuda">Antigua and Barbuda</option>
        <option value="Argentina">Argentina</option>
        <option value="Armenia">Armenia</option>
        <option value="Aruba">Aruba</option>
        <option value="Australia">Australia</option>
        <option value="Austria">Austria</option>
        <option value="Azerbaijan">Azerbaijan</option>
        <option value="Bahamas">Bahamas</option>
        <option value="Bahrain">Bahrain</option>
        <option value="Bangladesh">Bangladesh</option>
        <option value="Barbados">Barbados</option>
        <option value="Belarus">Belarus</option>
        <option value="Belgium">Belgium</option>
        <option value="Belize">Belize</option>
        <option value="Benin">Benin</option>
        <option value="Bermuda">Bermuda</option>
        <option value="Bhutan">Bhutan</option>
        <option value="Bolivia">Bolivia</option>
        <option value="Bonaire, Sint Eustatius and Saba">Bonaire, Sint Eustatius and Saba</option>
        <option value="Bosnia and Herzegovina">Bosnia and Herzegovina</option>
        <option value="Botswana">Botswana</option>
        <option value="Bouvet Island">Bouvet Island</option>
        <option value="Brazil">Brazil</option>
        <option value="British Indian Ocean Territory">British Indian Ocean Territory</option>
        <option value="Brunei Darussalam">Brunei Darussalam</option>
        <option value="Bulgaria">Bulgaria</option>
        <option value="Burkina Faso">Burkina Faso</option>
        <option value="Burundi">Burundi</option>
        <option value="Cambodia">Cambodia</option>
        <option value="Cameroon">Cameroon</option>
        <option value="Canada">Canada</option>
        <option value="Cape Verde">Cape Verde</option>
        <option value="Cayman Islands">Cayman Islands</option>
        <option value="Central African Republic">Central African Republic</option>
        <option value="Chad">Chad</option>
        <option value="Chile">Chile</option>
        <option value="China">China</option>
        <option value="Christmas Island">Christmas Island</option>
        <option value="Cocos (Keeling) Islands">Cocos (Keeling) Islands</option>
        <option value="Colombia">Colombia</option>
        <option value="Comoros">Comoros</option>
        <option value="Congo">Congo</option>
        <option value="Congo, The Democratic Republic of">Congo, The Democratic Republic of</option>
        <option value="Cook Islands">Cook Islands</option>
        <option value="Costa Rica">Costa Rica</option>
        <option value="Cote d'Ivoire">Cote d'Ivoire</option>
        <option value="Croatia">Croatia</option>
        <option value="Cuba">Cuba</option>
        <option value="Curaçao">Curaçao</option>
        <option value="Cyprus">Cyprus</option>
        <option value="Czechia">Czechia</option>
        <option value="Denmark">Denmark</option>
        <option value="Djibouti">Djibouti</option>
        <option value="Dominica">Dominica</option>
        <option value="Dominican Republic">Dominican Republic</option>
        <option value="Ecuador">Ecuador</option>
        <option value="Egypt">Egypt</option>
        <option value="El Salvador">El Salvador</option>
        <option value="Equatorial Guinea">Equatorial Guinea</option>
        <option value="Eritrea">Eritrea</option>
        <option value="Estonia">Estonia</option>
        <option value="Ethiopia">Ethiopia</option>
        <option value="Falkland Islands (Malvinas)">Falkland Islands (Malvinas)</option>
        <option value="Faroe Islands">Faroe Islands</option>
        <option value="Fiji">Fiji</option>
        <option value="Finland">Finland</option>
        <option value="France">France</option>
        <option value="French Guiana">French Guiana</option>
        <option value="French Polynesia">French Polynesia</option>
        <option value="French Southern Territories">French Southern Territories</option>
        <option value="Gabon">Gabon</option>
        <option value="Gambia">Gambia</option>
        <option value="Georgia">Georgia</option>
        <option value="Germany">Germany</option>
        <option value="Ghana">Ghana</option>
        <option value="Gibraltar">Gibraltar</option>
        <option value="Greece">Greece</option>
        <option value="Greenland">Greenland</option>
        <option value="Grenada">Grenada</option>
        <option value="Guadeloupe">Guadeloupe</option>
        <option value="Guam">Guam</option>
        <option value="Guatemala">Guatemala</option>
        <option value="Guernsey">Guernsey</option>
        <option value="Guinea">Guinea</option>
        <option value="Guinea-Bissau">Guinea-Bissau</option>
        <option value="Guyana">Guyana</option>
        <option value="Haiti">Haiti</option>
        <option value="Heard and Mc Donald Islands">Heard and Mc Donald Islands</option>
        <option value="Holy See (Vatican City State)">Holy See (Vatican City State)</option>
        <option value="Honduras">Honduras</option>
        <option value="Hong Kong">Hong Kong</option>
        <option value="Hungary">Hungary</option>
        <option value="Iceland">Iceland</option>
        <option value="India">India</option>
        <option value="Indonesia">Indonesia</option>
        <option value="Iran, Islamic Republic of">Iran, Islamic Republic of</option>
        <option value="Iraq">Iraq</option>
        <option value="Ireland">Ireland</option>
        <option value="Isle of Man">Isle of Man</option>
        <option value="Israel">Israel</option>
        <option value="Italy">Italy</option>
        <option value="Jamaica">Jamaica</option>
        <option value="Japan">Japan</option>
        <option value="Jersey">Jersey</option>
        <option value="Jordan">Jordan</option>
        <option value="Kazakstan">Kazakstan</option>
        <option value="Kenya">Kenya</option>
        <option value="Kiribati">Kiribati</option>
        <option value="Korea, Democratic People's Republic of">Korea, Democratic People's Republic of</option>
        <option value="Korea, Republic of">Korea, Republic of</option>
        <option value="Kuwait">Kuwait</option>
        <option value="Kyrgyzstan">Kyrgyzstan</option>
        <option value="Lao, People's Democratic Republic">Lao, People's Democratic Republic</option>
        <option value="Latvia">Latvia</option>
        <option value="Lebanon">Lebanon</option>
        <option value="Lesotho">Lesotho</option>
        <option value="Liberia">Liberia</option>
        <option value="Libyan Arab Jamahiriya">Libyan Arab Jamahiriya</option>
        <option value="Liechtenstein">Liechtenstein</option>
        <option value="Lithuania">Lithuania</option>
        <option value="Luxembourg">Luxembourg</option>
        <option value="Macao">Macao</option>
        <option value="Macedonia, The Former Yugoslav Republic Of">Macedonia, The Former Yugoslav Republic Of</option>
        <option value="Madagascar">Madagascar</option>
        <option value="Malawi">Malawi</option>
        <option value="Malaysia">Malaysia</option>
        <option value="Maldives">Maldives</option>
        <option value="Mali">Mali</option>
        <option value="Malta">Malta</option>
        <option value="Marshall Islands">Marshall Islands</option>
        <option value="Martinique">Martinique</option>
        <option value="Mauritania">Mauritania</option>
        <option value="Mauritius">Mauritius</option>
        <option value="Mayotte">Mayotte</option>
        <option value="Mexico">Mexico</option>
        <option value="Micronesia, Federated States of">Micronesia, Federated States of</option>
        <option value="Moldova, Republic of">Moldova, Republic of</option>
        <option value="Monaco">Monaco</option>
        <option value="Mongolia">Mongolia</option>
        <option value="Montenegro">Montenegro</option>
        <option value="Montserrat">Montserrat</option>
        <option value="Morocco">Morocco</option>
        <option value="Mozambique">Mozambique</option>
        <option value="Myanmar">Myanmar</option>
        <option value="Namibia">Namibia</option>
        <option value="Nauru">Nauru</option>
        <option value="Nepal">Nepal</option>
        <option value="Netherlands">Netherlands</option>
        <option value="Netherlands Antilles">Netherlands Antilles</option>
        <option value="New Caledonia">New Caledonia</option>
        <option value="New Zealand">New Zealand</option>
        <option value="Nicaragua">Nicaragua</option>
        <option value="Niger">Niger</option>
        <option value="Nigeria">Nigeria</option>
        <option value="Niue">Niue</option>
        <option value="Norfolk Island">Norfolk Island</option>
        <option value="Northern Mariana Islands">Northern Mariana Islands</option>
        <option value="Norway">Norway</option>
        <option value="Oman">Oman</option>
        <option value="Pakistan">Pakistan</option>
        <option value="Palau">Palau</option>
        <option value="Palestine">Palestine</option>
        <option value="Panama">Panama</option>
        <option value="Papua New Guinea">Papua New Guinea</option>
        <option value="Paraguay">Paraguay</option>
        <option value="Peru">Peru</option>
        <option value="Philippines">Philippines</option>
        <option value="Pitcairn">Pitcairn</option>
        <option value="Poland">Poland</option>
        <option value="Portugal">Portugal</option>
        <option value="Puerto Rico">Puerto Rico</option>
        <option value="Qatar">Qatar</option>
        <option value="Republic of Serbia">Republic of Serbia</option>
        <option value="Reunion">Reunion</option>
        <option value="Romania">Romania</option>
        <option value="Russia Federation">Russia Federation</option>
        <option value="Rwanda">Rwanda</option>
        <option value="Saint Barthélemy">Saint Barthélemy</option>
        <option value="Saint Helena">Saint Helena</option>
        <option value="Saint Kitts &amp; Nevis">Saint Kitts &amp; Nevis</option>
        <option value="Saint Lucia">Saint Lucia</option>
        <option value="Saint Martin">Saint Martin</option>
        <option value="Saint Pierre and Miquelon">Saint Pierre and Miquelon</option>
        <option value="Saint Vincent and the Grenadines">Saint Vincent and the Grenadines</option>
        <option value="Samoa">Samoa</option>
        <option value="San Marino">San Marino</option>
        <option value="Sao Tome and Principe">Sao Tome and Principe</option>
        <option value="Saudi Arabia">Saudi Arabia</option>
        <option value="Senegal">Senegal</option>
        <option value="Serbia and Montenegro">Serbia and Montenegro</option>
        <option value="Seychelles">Seychelles</option>
        <option value="Sierra Leone">Sierra Leone</option>
        <option value="Singapore">Singapore</option>
        <option value="Sint Maarten">Sint Maarten</option>
        <option value="Slovakia">Slovakia</option>
        <option value="Slovenia">Slovenia</option>
        <option value="Solomon Islands">Solomon Islands</option>
        <option value="Somalia">Somalia</option>
        <option value="South Africa">South Africa</option>
        <option value="South Georgia &amp; The South Sandwich Islands">South Georgia &amp; The South Sandwich Islands</option>
        <option value="South Sudan">South Sudan</option>
        <option value="Spain">Spain</option>
        <option value="Sri Lanka">Sri Lanka</option>
        <option value="Sudan">Sudan</option>
        <option value="Suriname">Suriname</option>
        <option value="Svalbard and Jan Mayen">Svalbard and Jan Mayen</option>
        <option value="Swaziland">Swaziland</option>
        <option value="Sweden">Sweden</option>
        <option value="Switzerland">Switzerland</option>
        <option value="Syrian Arab Republic">Syrian Arab Republic</option>
        <option value="Taiwan, Province of China">Taiwan, Province of China</option>
        <option value="Tajikistan">Tajikistan</option>
        <option value="Tanzania, United Republic of">Tanzania, United Republic of</option>
        <option value="Thailand">Thailand</option>
        <option value="Timor-Leste">Timor-Leste</option>
        <option value="Togo">Togo</option>
        <option value="Tokelau">Tokelau</option>
        <option value="Tonga">Tonga</option>
        <option value="Trinidad and Tobago">Trinidad and Tobago</option>
        <option value="Tunisia">Tunisia</option>
        <option value="Turkey">Turkey</option>
        <option value="Turkmenistan">Turkmenistan</option>
        <option value="Tuvalu">Tuvalu</option>
        <option value="Uganda">Uganda</option>
        <option value="Ukraine">Ukraine</option>
        <option value="United Arab Emirates">United Arab Emirates</option>
        <option value="United Kingdom">United Kingdom</option>
        <option value="United States">United States</option>
        <option value="Uruguay">Uruguay</option>
        <option value="Uzbekistan">Uzbekistan</option>
        <option value="Vanuatu">Vanuatu</option>
        <option value="Venezuela">Venezuela</option>
        <option value="Vietnam">Vietnam</option>
        <option value="Virgin Islands, British">Virgin Islands, British</option>
        <option value="Virgin Islands, U.S.">Virgin Islands, U.S.</option>
        <option value="Wallis and Futuna">Wallis and Futuna</option>
        <option value="Western Sahara">Western Sahara</option>
        <option value="Yemen">Yemen</option>
        <option value="Zambia">Zambia</option>
        <option value="Zimbabwe">Zimbabwe</option>
      </select>
    </div>
    <div class="field">
      <label for="event_registration_fields_Please confirm*">Please confirm*</label>
      <div class="stack -gap-8">
        <label
          for="event_registration_fields_please-confirm_i-understand-and-consent-to-the-information-provided-in-this-form-being-processed-by-the-high-integrity-software-his-conference-organisers-adacore-capgemini-engineering-for-the-sole-use-of-delivering-this-year-s-conference-and-providing-information-about-future-his-conferences"
          class="option -card mb-8">
          <input
            id="event_registration_fields_please-confirm_i-understand-and-consent-to-the-information-provided-in-this-form-being-processed-by-the-high-integrity-software-his-conference-organisers-adacore-capgemini-engineering-for-the-sole-use-of-delivering-this-year-s-conference-and-providing-information-about-future-his-conferences"
            required="required" type="checkbox"
            value="I understand and consent to the information provided in this form being processed by the High Integrity Software (HIS) Conference organisers (AdaCore, Capgemini Engineering) for the sole use of delivering this year’s conference and providing information about future HIS conferences."
            name="event[registration_fields][Please confirm*][]">
          <span class="option_content">I understand and consent to the information provided in this form being processed by the High Integrity Software (HIS) Conference organisers (AdaCore, Capgemini Engineering) for the sole use of delivering this
            year’s conference and providing information about future HIS conferences.</span>
        </label>
      </div>
    </div>
    <div class="field">
      <label for="event_registration_fields_Receive content from AdaCore">Receive content from AdaCore? (optional)</label>
      <div class="stack -gap-8">
        <label
          for="event_registration_fields_receive-content-from-adacore_i-m-also-interested-in-periodically-receiving-adacore-related-content-and-discussing-with-an-expert-about-how-adacore-helps-companies-build-modernise-and-maintain-critical-software-systems"
          class="option -card mb-8">
          <input
            id="event_registration_fields_receive-content-from-adacore_i-m-also-interested-in-periodically-receiving-adacore-related-content-and-discussing-with-an-expert-about-how-adacore-helps-companies-build-modernise-and-maintain-critical-software-systems"
            type="checkbox" value="I’m also interested in periodically receiving AdaCore-related content, and discussing with an expert about how AdaCore helps companies build, modernise, and maintain critical software systems."
            name="event[registration_fields][Receive content from AdaCore][]">
          <span class="option_content">I’m also interested in periodically receiving AdaCore-related content, and discussing with an expert about how AdaCore helps companies build, modernise, and maintain critical software systems.</span>
        </label>
      </div>
    </div>
    <div class="field">
      <label for="event_registration_fields_Receive content from Capgemini Engineering">Receive content from Capgemini Engineering? (optional)</label>
      <div class="stack -gap-8">
        <label
          for="event_registration_fields_receive-content-from-capgemini-engineering_i-m-also-interested-in-periodically-receiving-content-related-to-capgemini-engineering-and-discussing-with-an-expert-about-how-capgemini-engineering-can-support-customers-with-our-world-leading-engineering-and-r-d-services-and-digital-manufacturing-expertise"
          class="option -card mb-8">
          <input
            id="event_registration_fields_receive-content-from-capgemini-engineering_i-m-also-interested-in-periodically-receiving-content-related-to-capgemini-engineering-and-discussing-with-an-expert-about-how-capgemini-engineering-can-support-customers-with-our-world-leading-engineering-and-r-d-services-and-digital-manufacturing-expertise"
            type="checkbox"
            value="I’m also interested in periodically receiving content related to Capgemini Engineering, and discussing with an expert about how Capgemini Engineering can support customers with our world-leading engineering and R&amp;D services and digital manufacturing expertise."
            name="event[registration_fields][Receive content from Capgemini Engineering][]">
          <span class="option_content">I’m also interested in periodically receiving content related to Capgemini Engineering, and discussing with an expert about how Capgemini Engineering can support customers with our world-leading engineering and
            R&amp;D services and digital manufacturing expertise.</span>
        </label>
      </div>
    </div>
  </div>
  <input type="submit" name="commit" value="Join event" class="button -full mt-24" data-disable-with="Please wait...">
</form>

Text Content

Skip to content
Log in Sign up



HIGH INTEGRITY SOFTWARE CONFERENCE 2021

Calendar icon Nov 9, 1:30PM to Nov 9, 5:40PM GMT
Report Event

Introduction Sponsored by Programme Speakers Booths

High Integrity Software: Assuring security and safety for critical software
applications

Software must be trustworthy when its quality and dependability impact the
operations and processes of any critical application, system, or mission using
it. It has to balance reliability and security with innovation and efficiency.
Software vulnerabilities can cause physical danger, introduce new or increased
costs, and bring additional risks around regulatory delays, mission failure,
reputational damage, impact on share price, litigation or corporate liability.
There is no tolerance for failure. 

The HIS 2021 conference will focus on cyber safety for embedded systems (ie. the
confluence of safety and security), and how innovations in testing and the
application of formal methods can help to achieve those objectives. Talks will
address themes including the state of the art in software testing, using fuzz
testing in a civil avionics security certification context (DO-326A), and
applying innovative techniques such as formal methods to achieve cyber security.

This year, the conference will feature a keynote talk about the work of the
National Cyber Security Centre in the domain of embedded and critical systems.

For full details please visit the conference website at
www.his-conference.co.uk.
 

The HIS 2021 virtual format
While we would love to get back to meeting face-to-face, nobody has a clear view
of what life will be like in November so instead we have invested in a
customised virtual event platform. 

Hopin will provide an engaging environment for the 2021 conference; hosting the
live talks, Q+A and networking areas as well as allowing attendees to make new
connections through chat and video messaging. The platform will also feature an
innovation showcase from our industry partners.
 

How to book
Tickets for HIS 2021 are free of charge. To secure your place simply complete
the form to the right and click “Join Event”. You will then be prompted to log
in to Hopin (to link your booking to an existing Hopin account) or create a new
Hopin account.
 

Support
If you have any questions around the event or the platform please get in touch
on info@his-conference.co.uk.


SPONSORED BY


SPONSORS




SUPPORTERS


Programme
November 09

Filter

1:30PM–2:00PM
calendar-add

2021-11-09T13:30Z2021-11-09T14:00ZEtc/UnknownExhibition and
networkinghttps://hopin.com/cal/xqhsku4mT4t3Ze5O09nDp1boMHosted virtually on
Hopin (link in the description)

Expo
Exhibition and networking
Explore the HIS Supporters in our expo and connect with fellow delegates in our
networking space.
2:00PM–2:05PM
calendar-add

2021-11-09T14:00Z2021-11-09T14:05ZEtc/UnknownWelcome to HIS
2021https://hopin.com/cal/ZpAB8p1ExRtTynNJus00hrHazHosted virtually on Hopin
(link in the description)

Main Stage
Welcome to HIS 2021
2:05PM–2:45PM
calendar-add

2021-11-09T14:05Z2021-11-09T14:45ZEtc/UnknownKEYNOTE: NCSC and High Integrity
Systemshttps://hopin.com/cal/Dx69o1aIcFo5sf2ptRxcqbqqYHosted virtually on Hopin
(link in the description)

Main Stage
KEYNOTE: NCSC and High Integrity Systems
Paul Waller will present the work of the National Cyber Security Centre in the
domain of high integrity systems.
Paul WallerHead of Capability Research, National Cyber Security Centre
linkedin
twitter
website
2:45PM–3:15PM
calendar-add

2021-11-09T14:45Z2021-11-09T15:15ZEtc/UnknownThe Art of Software Testing:
Refining the testing palette
https://hopin.com/cal/LlmYI52hliMdxURG5ioGFINBoHosted virtually on Hopin (link
in the description)

Main Stage
The Art of Software Testing: Refining the testing palette
It’s been over 40 years (1979) since Glenford Myers published his book on ‘The
Art of Software Testing’. In 1980 the Commodore VIC-20 was released which was an
...
Show more description
Mike StandishSenior Scientist, DSTL (Portsdown West)
twitter
website
Mark HadleyPrincipal Software Safety Consultant, Atkins
website
3:15PM–3:45PM
calendar-add

2021-11-09T15:15Z2021-11-09T15:45ZEtc/UnknownFuzzing for Airworthiness
Securityhttps://hopin.com/cal/tdFRb9RbZon6mi4tZvTRuTS65Hosted virtually on Hopin
(link in the description)

Main Stage
Fuzzing for Airworthiness Security
For obvious reasons civilian aerospace is steeped in safety regulation. Long
standing international governing bodies mandate and oversee the specification,
desi...
Show more description
Paul ButcherSenior Software Engineer, AdaCore
linkedin
website
3:45PM–4:05PM
calendar-add

2021-11-09T15:45Z2021-11-09T16:05ZEtc/UnknownExhibition and
networkinghttps://hopin.com/cal/Hds8pW0nm3uwqvD6M7ZAiDFXEHosted virtually on
Hopin (link in the description)

Expo
Exhibition and networking
Explore the HIS Supporters in our expo and connect with fellow delegates in our
networking space.
4:05PM–4:35PM
calendar-add

2021-11-09T16:05Z2021-11-09T16:35ZEtc/UnknownThe CyBOK Formal Methods Knowledge
Areahttps://hopin.com/cal/1x0RQSN9r42rxD2Id5u2UaHSnHosted virtually on Hopin
(link in the description)

Main Stage
The CyBOK Formal Methods Knowledge Area
The Cyber Security Body of Knowledge (CyBOK) is a project funded by the UK
National Cyber Security Centre, to provide a body of work encapsulating the
foundatio...
Show more description
Steve SchneiderDirector of Surrey Centre for Cyber Security, University of
Surrey
linkedin
twitter
website
4:35PM–5:05PM
calendar-add

2021-11-09T16:35Z2021-11-09T17:05ZEtc/UnknownVerified Trustworthy Software
Systemshttps://hopin.com/cal/E4KCTYvV44Kt1T0xAwlbJdoV1Hosted virtually on Hopin
(link in the description)

Main Stage
Verified Trustworthy Software Systems
Philippa GardnerProfessor, Department of Computing, Imperial College London
linkedin
website
5:05PM–5:10PM
calendar-add

2021-11-09T17:05Z2021-11-09T17:10ZEtc/UnknownClosehttps://hopin.com/cal/jxQVYMwF5WXPpyu1IirbLeYJ0Hosted
virtually on Hopin (link in the description)

Main Stage
Close
5:10PM–5:40PM
calendar-add

2021-11-09T17:10Z2021-11-09T17:40ZEtc/UnknownExhibition and
networkinghttps://hopin.com/cal/aVcWviXlyaWcBIHPDbG2vie3kHosted virtually on
Hopin (link in the description)

Expo
Exhibition and networking
A final chance to explore the expo and networking with fellow delegates.


SPEAKERS

Paul Waller

Head of Capability Research, National Cyber Security Centre


Steve Schneider

Director of Surrey Centre for Cyber Security, University of Surrey


Mike Standish

Senior Scientist, DSTL (Portsdown West)


Mark Hadley

Principal Software Safety Consultant, Atkins


Philippa Gardner

Professor, Department of Computing, Imperial College London


Paul Butcher

Senior Software Engineer, AdaCore


Get tickets
Ticket icon


TICKETS

Already registered? Log In to access the event

Conference pass
Includes access to keynote presentations, breakouts, Q+A sessions and exhibitor
booths. Free

TELL US ABOUT YOURSELF:

First name*
Surname*
Job Title*
Company*
Email*
Industry* Please select an option Academia Air Traffic Management Automotive
Civil Avionics Cross-industry Energy Environmental Financial Industrial
Automation Medical Military Rail R&D Space Other
Country* Please select an option United Kingdom ----------- Afghanistan Aland
Islands Albania Algeria American Samoa Andorra Angola Anguilla Antarctica
Antigua and Barbuda Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas
Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia
Bonaire, Sint Eustatius and Saba Bosnia and Herzegovina Botswana Bouvet Island
Brazil British Indian Ocean Territory Brunei Darussalam Bulgaria Burkina Faso
Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African
Republic Chad Chile China Christmas Island Cocos (Keeling) Islands Colombia
Comoros Congo Congo, The Democratic Republic of Cook Islands Costa Rica Cote
d'Ivoire Croatia Cuba Curaçao Cyprus Czechia Denmark Djibouti Dominica Dominican
Republic Ecuador Egypt El Salvador Equatorial Guinea Eritrea Estonia Ethiopia
Falkland Islands (Malvinas) Faroe Islands Fiji Finland France French Guiana
French Polynesia French Southern Territories Gabon Gambia Georgia Germany Ghana
Gibraltar Greece Greenland Grenada Guadeloupe Guam Guatemala Guernsey Guinea
Guinea-Bissau Guyana Haiti Heard and Mc Donald Islands Holy See (Vatican City
State) Honduras Hong Kong Hungary Iceland India Indonesia Iran, Islamic Republic
of Iraq Ireland Isle of Man Israel Italy Jamaica Japan Jersey Jordan Kazakstan
Kenya Kiribati Korea, Democratic People's Republic of Korea, Republic of Kuwait
Kyrgyzstan Lao, People's Democratic Republic Latvia Lebanon Lesotho Liberia
Libyan Arab Jamahiriya Liechtenstein Lithuania Luxembourg Macao Macedonia, The
Former Yugoslav Republic Of Madagascar Malawi Malaysia Maldives Mali Malta
Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia,
Federated States of Moldova, Republic of Monaco Mongolia Montenegro Montserrat
Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands Netherlands Antilles
New Caledonia New Zealand Nicaragua Niger Nigeria Niue Norfolk Island Northern
Mariana Islands Norway Oman Pakistan Palau Palestine Panama Papua New Guinea
Paraguay Peru Philippines Pitcairn Poland Portugal Puerto Rico Qatar Republic of
Serbia Reunion Romania Russia Federation Rwanda Saint Barthélemy Saint Helena
Saint Kitts & Nevis Saint Lucia Saint Martin Saint Pierre and Miquelon Saint
Vincent and the Grenadines Samoa San Marino Sao Tome and Principe Saudi Arabia
Senegal Serbia and Montenegro Seychelles Sierra Leone Singapore Sint Maarten
Slovakia Slovenia Solomon Islands Somalia South Africa South Georgia & The South
Sandwich Islands South Sudan Spain Sri Lanka Sudan Suriname Svalbard and Jan
Mayen Swaziland Sweden Switzerland Syrian Arab Republic Taiwan, Province of
China Tajikistan Tanzania, United Republic of Thailand Timor-Leste Togo Tokelau
Tonga Trinidad and Tobago Tunisia Turkey Turkmenistan Tuvalu Uganda Ukraine
United Arab Emirates United Kingdom United States Uruguay Uzbekistan Vanuatu
Venezuela Vietnam Virgin Islands, British Virgin Islands, U.S. Wallis and Futuna
Western Sahara Yemen Zambia Zimbabwe
Please confirm*
I understand and consent to the information provided in this form being
processed by the High Integrity Software (HIS) Conference organisers (AdaCore,
Capgemini Engineering) for the sole use of delivering this year’s conference and
providing information about future HIS conferences.
Receive content from AdaCore? (optional)
I’m also interested in periodically receiving AdaCore-related content, and
discussing with an expert about how AdaCore helps companies build, modernise,
and maintain critical software systems.
Receive content from Capgemini Engineering? (optional)
I’m also interested in periodically receiving content related to Capgemini
Engineering, and discussing with an expert about how Capgemini Engineering can
support customers with our world-leading engineering and R&D services and
digital manufacturing expertise.
Hosted by


HIGH INTEGRITY SOFTWARE CONFERENCE

The High Integrity Software conference exists to share challenges, best practice
and experience between software engineering practitioners. Held annually from
Bristol, UK.


Share on



BOOTHS


ADACORE

Commercial software solutions for Ada, C and C++


CAPGEMINI ENGINEERING

Leader in engineering and industrial consulting, Capgemini Engineering supports
companies with engineering solutions, disruptive technologies and R&D


COREAVI

Propelling innovation with safety critical solutions


HARMONIC SOFTWARE SYSTEMS LTD

Providing high quality embedded software development services for over 21 years!


REAL-TIME INNOVATIONS (RTI)

The Largest Software Framework Provider for Autonomous Systems


VECTOR GB LTD

Putting Engineers in the fast lane


WIND RIVER

Edge-to-cloud software portfolio for “can’t fail” computing systems

© Copyright 2021. All Rights Reserved.

Product
 * Why Hopin
 * Case studies
 * Testimonials
 * Knowledge base
 * Status

Company
 * About Hopin
 * Our mission
 * Careers
 * Blog

Legal
 * Terms and conditions
 * Privacy policy
 * Security
 * Community guidelines

Follow us