2026 Jan 6 15:30-17:00 Xin Li (李鑫, Tsinghua University):
Skvortsov, Dmitrii Pavlovich. “Logic of infinite problems and Kripke models on atomic semilattices of sets.” Doklady Akademii Nauk. Vol. 245. No. 4. Russian Academy of Sciences, 1979. [Part 2]
2025 Dec 26 15:30-17:00 Xin Li (李鑫, Tsinghua University) , Yunsong Wang (王云崧, Peking University):
Skvortsov, Dmitrii Pavlovich. “Logic of infinite problems and Kripke models on atomic semilattices of sets.” Doklady Akademii Nauk. Vol. 245. No. 4. Russian Academy of Sciences, 1979. [Part 1]
2025 Dec 12 15:30-17:00 Xi Yang (杨曦, Tsinghua University) :
Rossman, Benjamin. “Homomorphism preservation theorems.” Journal of the ACM (JACM) 55.3 (2008): 1-53. [Part 2]
2025 Nov 20 15:30-17:00 Xi Yang (杨曦, Tsinghua University) :
Rossman, Benjamin. “Homomorphism preservation theorems.” Journal of the ACM (JACM) 55.3 (2008): 1-53. [Part 1]