Pros
- Larger audience: As part of FLoC, we will be competing with other conferences for a share of the audience. IJCAR04 had over 200 attendees.
- Synergistic interaction between different subfields of automated deduction, particularly between the interactive and automated approaches.
- Smaller financial burden for organizers and participants.
- Lighter organizational burden.
- Good representation for TPHOLs in terms of program committee members. The general chair (Harrison) and co-program chair (Shankar) are from the TPHOLs community.
Cons
- Dilution of identity for one year
- Overhead of coordination with other IJCAR constituents
IJCAR 2006 represents a unique opportunity to take a comprehensive view of automated deduction, showcase the research advances to a wider audience, and build consensus and momentum for the research challenges of the twenty-first century. For this reason, the other IJCAR constituents are keen to merge TPHOLs into IJCAR. The IJCAR program includes a mix of research papers, system descriptions, and competitions. The conference also includes two days of workshops and tutorials. The IJCAR PC will be made up of key researchers from the communities associated with the constituent meetings. We expect IJCAR to be an attractive forum for TPHOLs-related topics.
| Contact Name: | N. Shankar [shankar csl.sri.com] | |||||||||
| Other names: | John Harrison, Intel; Uli Furbach, Koblenz | |||||||||
| Website: | |
|||||||||
| IJCAR/FLoC Dates: | Aug 10 to 22, 2006 | |||||||||
| Location: | Seattle Sheraton, Seattle, Washington (USA); $150/night with reduced student rate. | |||||||||
| Chair: | John Harrison | |||||||||
| Program Co-chairs: | Uli Furbach and Natarajan Shankar | |||||||||
| Steering Committee: |
| |||||||||
| Location Information: | Seattle is a popular vacation destination in the Pacific Northwest. There are direct flights to Seattle from the major European and North American cities. Seattle is also home to Microsoft, Boeing, and the University of Washington. |