IARCS, the Indian Association for Research in Computing Science is organizing this series of talks, broadly in the area of Formal Verification.

The talks happen online, once a month (typically 3-4 pm IST on a Friday), and are open to all.

If you wish to subscribe to the mailing list of this talk-series, please send an email to us.