Tsinghua University – University of Amsterdam Joint Research Centre for Logic

Publication of TLLM 2020

Selected papers from the workshop are published in the FoLLI LNCS series at Springer: https://link.springer.com/book/10.1007/978-3-662-62843-0


Abstracts of Talks

Invited Talks:

Contributed Talks:


Slides for the Presentations