CALL FOR WORKSHOPS

Workshop proposals for CADE-25 are solicited. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are very welcome.

Please provide the following information in your application document:
IMPORTANT DATES

Deadline for proposal submissions:    November 14, 2014
Acceptance/rejection notification:    November 28, 2014

Workshops and Tutorials:                1 August to 3 August (morning), 2015
Conference:                                 3 August (afternoon) to 7 August, 2015

SUBMISSION INSTRUCTIONS

Proposals should be uploaded via

https://easychair.org/conferences/?conf=cade25workshopstutor