You can be automatically informed of all seminars in Formal Methods in the Beijing area by subscribing to the formes-seminar newsletter.

Seminars of FORMES take place on Fridays at 10:30 am (sharp) at Tsinghua University, FIT building.

To have your seminar registered here, please send the details to seminars@formes.asia

You can have a look at our former seminars.