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