| FLoC 2006 | The 2006 Federated Logic Conference Seattle, August 10 - 22, 2006 |
Steering Committee
| General Chair: | Moshe Y. Vardi |
| Conference Co-chairs: | Thomas Ball, Jakob Rehof |
| CAV Representative: | Edmund Clarke |
| IJCAR Representative: | Reiner Hähnle |
| ICLP Representative: | Manuel Hermenegildo |
| LICS Representative: | Phokion Kolaitis |
| SAT Representative: | Henry Kautz |
| RTA Representative: | Aart Middeldorp |
| IJCAR Representative: | Andrei Voronkov |
Program Committee
| for CAV: | Thomas Ball, Robert Jones |
| for ICLP: | Sandro Etalle, Mirek Truszczynski |
| for IJCAR: | Ulrich Furbach, N. Shankar |
| for LICS: | Rajeev Alur |
| for RTA: | Frank Pfenning |
| for SAT: | Armin Biere, Carla Gomes |
Organizing Committee
| Conference Co-chairs: | Thomas Ball, Jakob Rehof |
| for the Steering Committee: | Moshe Y. Vardi |
| Treasurer: | Lydia Kavraki |
| for CAV: | Thomas Ball |
| for ICLP: | Sandro Etalle, Manuel Hermenegildo, Mirek Truszczynski |
| for IJCAR: | John Harrison, |
| for LICS: | Margus Veanes |
| for RTA: | Ashish Tiwari |
| for SAT: | Armin Biere |
| Workshop Chair: | Gopal Gupta |
| Publicity Chair: | Stephan Kreutzer, Nicole Schweikardt |
Local Organizing Committee
| Venue Coordinator: | Wolfram Schulte |
| Conference Management Company Coordinator: | Margus Veanes |
| Proceedings and Volunteer Coordinator: | Mike Barnett |
| Web Team: | Madan Musuvathi, Andrei Voronkov |
| Registration Coordinator: | Shuvendu Lahiri |
| Printed Program Coordinator: | Wolfgang Grieskamp |
| Student Housing Coordinator: | Greta Yorsh |
| AV Coordinator: | Shaz Qadeer |
