RASWG Meeting #1 (new format)

2021-10-07

Links

Indico

Minutes

Topics and contributions

• Discussion on Formal Methods and Verification in the RASWG (B. Fernandez Adiego, E. Blanco Vinuela, H. Boukabache)

• Introduction to RASWG activities (A. Apollonio, B. Todd, V. Schramm)

Actions

No action for this meeting.