Topics vary from year to year.
For example, in 1997, the groups discussed major theoretical and practical contributions, and speculation on the future of logic and synthesis. Several of the submitted problems will be selected. At the workshop, participants will be divided into groups, each tackling a different challenging problem during several meetings ath the workshop, and will report their results at a final session. Problems will be selected by the Focus Group Chair, in collaboration with a few members of the Program Committee. When you register for the workshop, the selected focus group problems will be made available.