Network Verification and BDDs (Zhenrong Gu, XJTU)

We value inclusion and access for all participants and are pleased to provide reasonable accommodations for this event. Please call 608-630-7052 (voice and text) or email reps@cs.wisc.edu to make a disability-related accommodation request. Reasonable effort will be made to support your request.