NSF Workshop on Symbolic Computation for Constraint Satisfaction Problems

This workshop is focused on the role of symbolic decision procedures for constraint satisfaction problems. The workshop brings together computer science researchers in diverse areas such as program analysis, formal verification, AI planning, optimization, and hybrid systems. The program consists of a series of talks that will review the state of the art in symbolic decision procedures, the role that constraint satisfaction plays in various computing problems, and challenges for future research.

Workshop Report



Security and Building Access

The FDIC building security policy requires that all individuals entering the hotel/training facility present government issued photo identification. Please arrive hour prior to scheduled event in order to process through security. Security has been notified of your visit. The security guards may ask you to identify whom you are visiting or the meeting you are attending. Please also remember to bring identification. The FDIC accepts the following forms of ID:
Maintained by Rajeev Alur