-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
about their web experiences Conduct interviews with producers who made web content for children in Korea between 1995 and 2005 Participate in making, distributing and analysing a three-country survey on
Enter an email to receive alerts for distributed-algorithm "UNIS" positions