09 April 2019 INVITED LECTURE Professor Lijun Zhang (Institute of Software, Chinese Academy of Sciences) is going to lecture on: Learning Büchi automata and its applications