[om-a] IJCAR 2004 - Call for Workshop Proposals (2nd)

[Peter Baumgartner]

============================================================

IJCAR 2004

Second International Joint Conference on Automated Reasoning

04 July - 08 July, 2004

University College Cork
Cork, County Cork, Ireland 

http://4c.ucc.ie/ijcar/

CALL FOR WORKSHOP PROPOSALS

PROPOSAL SUBMISSION DEADLINE: 16 November 2003

============================================================


General
-------

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
CALCULEMUS.

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.


Scope
-----

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
      areas.

Workshop proposals should be sent as plain text and as postscript or
PDF to the workshop chair (Peter Baumgartner, baumgart at mpi-sb.mpg.de)
no later than November 16, 2003.


Further notes
-------------

    * 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 are currently
      exploring the possibility of optionally publishing workshop
      proceedings in the Elsevier ENTCS series.

    * 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.


Important dates
---------------
    * 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


Workshop chair
--------------
    Peter Baumgartner 
    MPI Saarbruecken and Universitaet Koblenz-Landau, Germany
    baumgart at mpi-sb.mpg.de
    http://www.uni-koblenz.de/~peter/

-- 
Peter Baumgartner
MPI Saarbruecken and Universitaet Koblenz-Landau
baumgart at mpi-sb.mpg.de
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