Photos

The family of researchers at WiL'25

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

Daniele Nantes on Learning from Examples and Counterexamples in Nominal Logic.