SVSM Development Call October 23rd, 2024

Hi,

Here is the usual call for agenda items for this weeks SVSM development call. Please send me any agenda items you have in mind or raise them in the meeting.

This week Ziqiao Zhou and Weidong Cui from Microsoft research will give an introduction to the Verismo formal code verification project and we will have a discussion how this can benefit COCONUT-SVSM:

- Verismo Formal Verification presentation and discussion

Details of the meeting (GMeet and Calendar links, meeting time) can be found in our governance repository at:

https://github.com/coconut-svsm/governance

The meeting will be recorded and the recording eventually published.

See you all there.

Regards,

Jörg

Meeting minutes are now posted as a PR here:

https://github.com/coconut-svsm/governance/pull/31

If you find anything missing, please let me know by replying here or propose changes to the PR.

Thanks,

Joerg

Thanks, Joerg. The meeting note looks good to me.

-Ziqiao
________________________________
From: Jörg Rödel <[email protected]>
Sent: Thursday, October 24, 2024 12:57 AM
To: [email protected] <[email protected]>; [email protected] <[email protected]>
Cc: Ziqiao Zhou <[email protected]>; Weidong Cui <[email protected]>
Subject: [EXTERNAL] Re: [svsm-devel] SVSM Development Call October 23rd, 2024

Meeting minutes are now posted as a PR here:

        https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fcoconut-svsm%2Fgovernance%2Fpull%2F31&data=05%7C02%7Cziqiaozhou%40microsoft.com%7C9801c3bc8b244b4b0b9108dcf40194f7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C638653534849191878%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=6HQwKHebBE%2FLLgzT5dQk96u10gSo6TeBJhvqngvjnzg%3D&reserved=0<https://github.com/coconut-svsm/governance/pull/31>

If you find anything missing, please let me know by replying here or propose changes to the PR.

Thanks,

Joerg