=========================================================================<br>CADE-23<br><br>The 23rd International Conference on Automated Deduction<br>Wroclaw, Poland, July 31 - August 5, 2011<br><br><a href="http://cade23.ii.uni.wroc.pl/">http://cade23.ii.uni.wroc.pl/</a><br>
<br>=========================================================================<br>Call for Workshop and Tutorial Proposals<br>----------------------------------------------------<br>CADE-23 is the 23rd International Conference on Automated Deduction,<br>
the major forum for the presentation of research in all aspects of<br>automated deduction. Topics of interest range from theoretical<br>foundations to high-performance implementations in a wide variety<br>of logics and logical theories, with applications in areas like<br>
- verification, testing and synthesis:<br>program analysis and verification, hardware verification,<br>systematic software and hardware testing, synthesis.<br>- (computer-aided) mathematics,<br>- natural language processing, computational linguistics,<br>
- knowledge representation, ontology reasoning, deductive databases,<br>- functional and logic programming,<br>- robotics, planning, and other areas of AI.<br><br>Workshop and tutorial proposals for CADE-23 are solicited.<br>
Both well-established workshops and newer ones are encouraged.<br>Similarly, proposals for workshops with a tight focus on a core<br>automated reasoning specialization, as well as those with a broader,<br>more applied focus, are very welcome.<br>
<br>1. Workshop Proposals<br><br>Please provide the following information:<br><br>+ Workshop title.<br>+ Names and affiliations of organizers.<br>+ Brief description of workshop goals and/or topics.<br>+ Proposed workshop duration<br>
(from half a day to two days is possible).<br>+ If the workshop has met previously, please include the conference<br>affiliation for the previous meeting. If the workshop is new,<br>please indicate this.<br><br><br>2. Tutorial Proposals<br>
<br>Tutorials are expected to be half-day events. Tutorial proposals<br>should provide the following information:<br><br>+ Tutorial title.<br>+ Names and affiliations of organizers.<br>+ Brief description of the tutorial's goals and topics to be covered.<br>
+ Whether or not a version of the tutorial has been given previously.<br><br><br>All proposals should be sent via email in plain text to the Workshop<br>and Tutorial Chair (<a href="mailto:astump@acm.org">astump@acm.org</a>), for consideration by the<br>
CADE-23 workshops and tutorials committee:<br><br>Nikolaj Bjorner (Microsoft Research), Program Co-Chair<br>Viorica Sofronie-Stokkermans (Max Planck Institute), Program Co-Chair<br>Aaron Stump (The University of Iowa), Workshop and Tutorial Chair<br>
<br>Important dates:<br>Deadline for proposal submissions: December 7, 2010<br>Acceptance/rejection notification: January 7, 2011<br>Workshop dates: July 31 - August 1, 2011<br>=====================================================================<br>