[TYPES/announce] CADE-21 (2007) in Bremen: Call for Workshops

[Christoph Benzmueller]

The 21th International Conference on Automated Deduction (CADE-21)

                      Call for Workshop Proposals

                          Bremen, Germany, 2007
                CADE-21 Conference:      July 17-20
                Workshops:               July 15-16


The CADE-21 conference will take place in Bremen, Germany, on July
17-20, 2007.
More information is available at

            http://www.cadeconference.org/meetings/cade21/

The main CADE conference will be preceded on July 15-16, 2007, by
workshops. They will provide an environment where participants will
have the opportunity to discuss specific topics in an atmosphere
that fosters the active exchange of ideas.

Researchers are cordially invited to submit workshop proposals for
review. Proposals related to automated deduction topics (see the web
site above) as well as proposals at the boundary between automated
deduction and other research fields  are welcome.
We encourage both proposals that build on previous events and
proposals that are new.

------------------------------------------
* Workshop Participation and Publication *
------------------------------------------

Workshop participants will not be required to register for CADE-21 and
there will be independent workshop registration fees.

Workshop organizers may choose to have their proceedings/notes printed
and distributed by the organizers of CADE-21. All organizers are
expected to provide an on-line version of their proceedings/notes which
will be made accessible via the official CADE-21 conference web site.

----------------------
* Workshop Proposals *
----------------------

Workshop Proposals should include:
- Name and a brief description of the workshop, specifying its
motivation, goal and topics
- History of the workshop (if any), including web pointers and prior
co-location information
- Estimated number of workshop submissions and participants
- Proposed format and expected duration (1 or 2 days)
- Planned submission and selection procedure (including a tentative
schedule)
- Workshop chair(s) and organizing committee

----------------------------
* Deadlines and Submission *
----------------------------

- Proposal submission:  Dec 15, 2006
- Proposal notification:  Dec 22, 2007

Proposals should be submitted electronically to
    Christoph Benzmueller
    The University of Cambridge
    CADE-21 Workshop Chair
    ceb88 at cam.ac.uk

The proposals will be reviewed and selected by the CADE-21 conference
chair (Michael Kohlhase), the CADE-21 program chair (Frank Pfenning) and
the CADE-21 workshop chair (Christoph Benzmueller).