Email Gateway (Aug 18 2022 at 09:57): Email Gateway (Aug 18 2022 at 09:57):From: Christoph Benzmueller <chris@ags.uni-sb.de>
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 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 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
Planned submission and selection procedure (including a tentative
schedule)
Workshop chair(s) and organizing committee
Proposals should be submitted electronically to
Christoph Benzmueller
The University of Cambridge
CADE-21 Workshop Chair
ceb88@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).
Last updated: Nov 21 2024 at 12:39 UTC