Tsinghua University – University of Amsterdam Joint Research Centre for Logic
Tsinghua University – University of Amsterdam Joint Research Centre for Logic

RECORDINGS

Invited Talks:

Contributed Talks: