The next discussion meeting will be on 23 January 2024, 10.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.