IJCAR 2016 - The 8th International Joint Conference on Automated Reasoning
Conference 27-30, June 2016
Workshops 1-2, July 2016
Call for Workshop Proposals
Workshop proposals on IJCAR-related topics 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.
Proposals must contain information sufficient to judge the importance, quality and community interest in the proposed topic. Each workshop 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:
Proposals should be sent as plain text or as PDF to the workshop chair Reinhard Kahle: firstname.lastname@example.org.
For more information, including fees and provided services, please contact also the workshop chair at email@example.com.
Express of interest: at any time.
Deadline for proposal submissions: November 15th, 2015.
Notification: December 15th, 2015.
Workshop Dates: July 1st-2nd, 2016.