11月12日，Lukas Zenger作了题为《A Sound and Complete Axiomatization for Intuitionistic Linear Temporal Logic》的报告。
