[Om-announce] CADE 2011: last call for workshops, tutorials

Aaron Stump aaron-stump at uiowa.edu
Fri Dec 3 02:29:19 CET 2010


=========================================================================
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 (astump at acm.org), 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
=====================================================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20101202/f9889bb7/attachment-0001.htm 


More information about the Om-announce mailing list