[Caml-list] IJCAR 2016: Call for Workshop Proposals

[Caml-list] IJCAR 2016: Call for Workshop Proposals

[Reinhard Kahle]

----------------------------
IJCAR 2016
Coimbra, Portugal
Conference 27-30, June 2016
Workshops 1-2, July 2016

Call for Workshop Proposals
----------------------------

Workshop proposals on IJCAR-related topics are solicited. 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. Proposals that close the gap between automated reasoning and
related areas, e.g., formal methods or software engineering, are
especially encouraged.

Proposals must contain information sufficient 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.

Proposals must be limited to three pages and provide at least the 
following information:
+ Title.
+ Description of the workshop topic and goals.
   (Why do you believe this is an interesting and significant topic?)
+ Intended audience.
   (From which areas do you expect potential participants to come?
   How many participants do you expect?)
+ Organization of the workshop.
   (Describe the intended format of the workshop, its expected duration:
   one day, Friday, July 1st (preferred) or Saturday, 2nd; or two days,
   July 1st-2nd.
+ Information
   (a) whether papers presented to the workshiop are invited papers or
       are selected by peer review;
   (b) if the workshop makes makes part of a series (continuing the
       past workshops on a regular basis);
   (c) if the workshop comprises a program competition.
+ Organizers' details.
   (Provide affiliations, backgrounds and contact details (email, etc.)
   of organizers)

Proposals should be sent as plain text or as PDF to the workshop chair
Reinhard Kahle: kahle@mat.uc.pt.

For more information, including fees and provided services, please
contact also the workshop chair at kahle@mat.uc.pt.

Important dates:
   Express of interest:               at any time.
   Deadline for proposal submissions: November 15th, 2015.
   Notification:                      December 15th, 2015.
   Workshop Dates:                    July 1st-2nd, 2016.
----------------------------------------------------------------------