IrRADIARE presented at SEFM 2025 - Software Engineering & Formal Methods in Spain (10–14 Nov 2025).
Why we were there: Software engineering focus with formal rigour - ideal for discussing GreenCode's energy efficiency with deep technical audiences.
What we said: Promote the integration of formal methods in software engineering to improve the reliability, security and scalability of complex systems.
Audience: Government representatives and regulators interested in software certification and regulatory compliance.
Contribution: Talk.
IrRADIARE