Online Discussion

January 23, 2024, 10:00 CET -12:00 CET

Program

Presentation by Aurel Bílý on their approach using Prusti
Technical Discussions
Collaboration and Follow-up

Registration: Please sign up on the mailing list, we will post the Zoom link shortly before the meeting; alternatively send an E-Mail directly to the organizers.

Meeting Notes

will be posted here

memcached