Title: Buchi Automata and its application to Logic
Speaker: 王一廷
Time: 12 NOV, 2019, 15:10-18:00
Place: Classroom 406, Second Teaching Building, PKU
