https://auralabsapienza.github.io/news/Conference-2024-07-03_ISoLA24/
Conference 2024 07 03_isola24 | AuRA Lab - Automated Reasoning and Applications
A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.
automated reasoningconference