Tutorials

Improve the benefits of coming to the conference further by attending our tutorials, all given by well-known experts.
The registration for the tutorials will be from 8:30 until 9:00 in the main entrance of the BSC building: Plaça Eusebi Güell, 1-3, 08034 Barcelona (Spain).

09:00-10:30 11:00-12:30 14:00-15:30 16:00-17:30
Room 1 T1: Lock-free programming
in Ada 2022 		T2: Ada for business applications
Room 2 T3: Rust fundamentals T4: Concurrency and
parallelism with Rust
Room 3 T5: Modeling concurrent state
machines in TLA+ 		T6: Introduction to the development of safety critical
software
Room 4 T7: METASAT: programming high-performance RISC-V technologies for space
 T8: Introduction to certifiable general purpose GPU programming for safety-critical systems

Hackathon

The conference will also host a Hackathon on Optimizing AI-driven workflows within a mission-critical cyber-physical system.

09:00-10:30 11:00-12:30 14:00-15:30 16:00-17:30
Room 5 Hackathon: Optimizing AI-driven workflows within a mission-critical cyber-physical system