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, at 7 PM IST on the first Tuesday of every month), and are open to all.

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