Lightning Talks are 5-minute sessions where you can promote or "pitch" your organisation and its technology or services.

The lightning talks will take place during the lunch break in the catering and exhibition hall, starting at 12:25 and finishing at 1:10.

Please see the agenda for our Lightning Talks below:

GNATformat - A state of the art code formatter for Ada and SPARK
Joao Azevedo, Senior Software Engineer at AdaCore

Will verification ever be fully automated?
Andrew Hawthorn, Chief Engineer Capgemini UK at Capgemini

Develop safety critical embedded software and safety cases in half the time
Dave Upton, Ansys, Senior Product Manager NE, Safe Systems & MBSE

Bridging the Gap Between Requirements and Testing with Developair
Silvia Lamberti, Developair Technologies, Sales manager