Languages

Events

Seminar

   We hold a seminar from 7:00pm-8:00pm every Thursday each semester. If you are interested in our work and want to give a talk , please check the Seminar Link

Summer school

   In summer vacation, we organize a practical course about the theory  and technology  of software verification  at Hefei.
.