As part of its Special Year on Logic and Algorithms, DIMACS will host the 1996 Federated Logic Conference (FLoC). FLoC is modeled after the successful Federated Computer Research Conference (FCRC), and brings together synergetic conferences that apply logic to computer science. The following conferences will participate in FLoC.

• Conference on Automated Deduction (CADE).
• Conference on Computer-Aided Verification (CAV).
• IEEE Symposium on Logic in Computer Science (LICS).
• Conference on Rewriting Techniques and Applications (RTA).

The FLoC`96 Advance Program

Travel Update

LICS and RTA will be held in parallel during the first four days of FLoC. CADE and CAV will be held during the last four days, with CADE workshops running in parallel with the last day of LICS. Plenary events involving all the conferences are scheduled.