Faculty Recruiting Support CICS

Events Calendar

07 Dec
Theory Seminar
Computer Science Building, Room 140
Tuesday, 12/07/2021 4:00pm to 5:00pm

Abstract: We study the verification problem in distributed networks, stated as follows. Let H be a subgraph of a network G where each vertex of G knows which edges incident on it are in H. We would like to verify whether...