Photos

Women in Logic 2025

The family of researchers at WiL’25

Liron Cohen’s invited talk on Verifying Progress in Cyclic Reasoning (and in Research)

Daniele Nantes’ invited talk on Learning from Examples and Counterexamples in Nominal Logic