Time

Speaker

Title

13:00

Welcome Reception

13:30

Irad Yavneh (Dean)

Greetings

​

Moshe Vardi

The Automated-Reasoning Revolution: From Theory to Practice and Back

14:30

Coffee Break

14:45

Nadia Labai

On the Exact Learnability of Graph Parameters

​

Tomer Kotek

Two-variable logics and applications

​

Elena Ravve

Graph Theoretic (Semantic) vs Algebraic (Syntactic) Properties of Graph Invariants

15:45

Coffee Break

16:00

Eldar Fischer

Logical expressibility and combinatorial simplicity

​

Johann Makowsky

Logic in Computer Science: My Own Recurrent Themes

17:00

Wrap-Up