Created on July 29, 2026
2026
Attended FLoC 2026 in Lisbon, including CAV, ITP, and the Isabelle Workshop.