[om-a] IJCAR 2004 - Call for Workshop Proposals
peter at uni-koblenz.de
Fri Jul 25 18:36:32 CEST 2003
Second International Joint Conference on Automated Reasoning
04 July - 08 July, 2004
Cork, County Cork, Ireland
CALL FOR WORKSHOP PROPOSALS
IJCAR 2004 is the Second International Joint Conference on Automated
Reasoning (IJCAR) and will be held in Cork, Ireland from July 4th to
8th, 2004. The first IJCAR was held in Siena, Italy, in late June
2001, merging CADE (Conference on Automated Deduction), FTP (Workshop
on First-order Theorem Proving) and TABLEAUX (Conference on Analytic
Tableaux and Related Methods). The second IJCAR will merge CADE, FTP,
TABLEAUX, FroCoS (Workshop on Frontiers of Combining Systems) and
Workshops will be held on July 4 and July 5, 2004. They will run for
one or two days, but half-day ones are possible as well.
Workshop proposals on IJCAR related topics as mentioned in the "Call
for Papers" are solicited (cf. http://4c.ucc.ie/ijcar/submission.html).
Proposals that promise to bring new topics into IJCAR, of either
practical or theoretical importance, or provide a forum for more
detailed discussion on central topics of continuing importance are
highly welcome. Workshops that close the gap between automated
reasoning and related areas, like for instance formal methods or
software engineering, are especially encouraged.
Recent workshops of participating conferences have included, for
instance, automation of proofs by induction, empirical studies in
logic algorithms, mechanization of partial functions, proof search in
type-theoretic languages, strategies in automated deduction, automated
theorem proving in software engineering and in mathematics, future
directions in automated reasoning, precise modelling and deduction for
OO-software development, verification, unification, strategies in
automated deduction, mechanized reasoning about languages with
variable bindings, theory and application of quantified boolean
formulas, proof transformations, proof presentations and complexity of
proofs, issues in the design and experimental evaluation of systems
for modal and temporal logics, integration of symbolic computation and
deduction, deductive software components, pragmatics of decision
procedures in automated reasoning, challenges and novel applications
for automated reasoning, and automated model computation.
How to Propose a Workshop
Workshop proposals must contain the necessary information for the
programme committee to judge the importance, quality and community
interest in the proposed topic. Each workshop must have one or more
designated organizers and may have a programme committee as well.
Workshop proposals must be limited to three pages and provide at
least the following information:
* The title of the workshop.
* Description of the workshop topic and goals.
Why do you believe this is an interesting and significant topic?
What are the main goals of the workshop?
* Intended audience.
From which areas do you expect potential participants to come?
How many participants do you expect? Are there any limitations
to participation (e.g., maximum number of participants, or by
invitation only)? How are you going to publicize your workshop?
* Organization of the workshop.
Describe the intended format of the workshop, its expected
duration (from half a day to two days) and preferred dates (July
4, 5, or both). Are you going to schedule invited talks,
presentations, panel discussions, and other methods for ensuring
an interactive atmosphere? Are there any plans to document the
workshop results beyond online distribution on the Web and
IJCAR's workshop notes?
* Organizers' details.
Provide complete affiliations and contact details (email, web
page, phone, fax, etc.) of all organizers and committee
members. For the designated organizers, briefly describe their
background in the proposed topic, together with a list of
workshops previously organized in the workshop's or related
Workshop proposals should be sent as plain text and as postscript or
PDF to the workshop chair (peter at uni-koblenz.de) no later than
November 16, 2003.
* Workshop organizers are expected to maintain a web site showing
all the relevant information of their workshop, including
online versions of accepted papers.
* Workshop organizers are responsible on their own for sufficient
distribution of their call for papers and other publicity
(there will be general IJCAR announcements mentioning
also the IJCAR workshops as well).
* The IJCAR organizers offer to copy and distribute the workshop
notes to registered workshop participants.
* We suggest workshop participation to be open, i.e. anyone
interested can register, and not be based on invitation or
limited to authors of accepted papers.
In case of questions or problems with these suggestions please contact
the workshop chair.
* Deadline for proposal submissions: 16 November 2003
* Acceptance/rejection notification: 12 December 2003
* Deadline for camera-ready copy of workshop notes: 13 June 2004
* Workshop Date: 04 July 2004 - 05 July 2004
peter at uni-koblenz.de
Peter Baumgartner peter at uni-koblenz.de
Tel. +49 261 287-2777 http://www.uni-koblenz.de/~peter/
om-announce at openmath.org - public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems
More information about the Om-announce