Seminars are normally conducted on Thursdays at 11:00 AM in 412 Warren Weaver Hall (251 Mercer Street).


Calendar feed:

The ACSys group also participates in the Northeastern Verification Seminar