All,
The Call for Papers for Embedded World 2027 is closing next week. You can find more details here:
https://www.embedded-world.eu/call-for-papers
I know of 2 submissions that are submitting a presentation about SPARK, but am always interested in more. Feel free to submit an artefact! AdaCore has offered to assist some travel cost if that helps if your paper gets accepted.
Regards,
Mark