Call for Workshop and Tutorial Proposals

Workshop and tutorial proposals on IJCAR-related topics, as mentioned in the Call for Papers, are solicited. Proposals that promise to bring new topics into IJCAR, of either practical or theoretical importance, or provide a forum for more detailed discussion on central topics of continuing importance are highly welcome. Proposals that close the gap between automated reasoning and related areas, e.g., formal methods or software engineering, are especially encouraged.

How to Propose

Proposals must contain information sufficient for the programme committee to judge the importance, quality and community interest in the proposed topic. Each workshop or tutorial must have one or more designated organizers, and may have a programme committee as well.

Proposals must be limited to three pages and provide at least the following information:

• Title.
• Description of the workshop topic and goals. (Why do you believe this is an interesting and significant topic?)
• Intended audience. (From which areas do you expect potential participants to come? How many participants do you expect?)
• Organization of the workshop. (Describe the intended format of the workshop, its expected duration (from half a day to two days) and preferred dates (August 10th, 11th, or both).)
• Organizers' details. (Provide affiliations, backgrounds and contact details (email, etc.) of organizers and committee members)

Proposals should be sent as plain text and as PDF to the workshop chair (michael.norrish@nicta.com.au).

See the Dates and deadlines for the submission deadline.

PDF Call for Workshops and Tutorials