IARCS Verification Seminar Series

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 7-8 pm IST), and are open to all.

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