Tsinghua University – University of Amsterdam Joint Research Centre for Logic

TLLM 2024 Registration (for Chinese participants)