5月28日，唐闻作了题为《Symbolic implementation of the best transformer》的报告。

　　随后，马千里作了题为《Logic for intensional operators and non-existence》的报告。