Lectures

See the schedule here

Day 1: SAT Solving

Prof. Mateu Villaret

Abstract: TBA

Bio: TBA

Dr. Carlos Mencia Cascallana

Abstract: TBA

Bio: TBA

Day 2: SMT Solving

Prof. Cesare Tinelli

Abstract: TBA

Bio: TBA

TBA

Abstract: TBA

Bio: TBA

Automated Reasoning

Prof. Ekaterina Komendantskaya

Abstract: TBA

Bio: TBA

Dr. Louise Dennis

Abstract: TBA

Bio: TBA