TABLEAUX 2007: Call for Workshop Proposals

[Viorica Sofronie]

[We apologize if you receive multiple copies of this announcement]

------------------------------------------------------------

                     TABLEAUX 2007
           Automated Reasoning with Analytic Tableaux 
                  and Related Methods

                     3-6 July 2007
                 Aix en Provence, France  

            http://tableaux2007.univ-cezanne.fr/

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

                 CALL FOR WORKSHOP PROPOSALS

PROPOSAL SUBMISSION DEADLINE:   December 5, 2006
NOTIFICATION OF ACCEPTANCE:     December 15, 2006 

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

General
-------
TABLEAUX 2007 is the 16th in a series of international meetings 
on Automated Reasoning with Analytic Tableaux and Related Methods.
In July 2007, the conference will be held in Aix en Provence, France.
See http://tableaux2007.univ-cezanne.fr/ for more information 
on TABLEAUX 2007, and http://i12www.ira.uka.de/TABLEAUX for 
information about the TABLEAUX conference series.

TABLEAUX 2007 launches a Call for Workshop Proposals on 
specialized subjects in the range of the conference topics.
The proposals are reviewed by members of the program committee. 
The purpose of a workshop is to offer an opportunity for 
presenting novel ideas, ongoing research, and to discuss 
the state of the art of an area in a less formal but more 
focused way than the conference itself. It is also a good 
opportunity for young researchers to present their own work 
and to obtain feedback.

Workshops will be held on July 3, 2007. They will 
run for one day, but half-day ones are possible as well.


Scope
-----
Proposals for workshops on TABLEAUX related topics, as 
mentioned in the "Call for papers" 
   http://tableaux2007.univ-cezanne.fr/CFPTABLEAUX2007.txt)
are cordially invited. 
The topics of the workshops can cover any areas related to 
TABLEAUX, including cross-disciplinary areas. 
Workshops bridging the gap between automated reasoning and 
its applications (e.g. hardware and software verification, 
knowledge engineering, semantic web) are especially encouraged.


How to Propose a Workshop
-------------------------
Workshop proposals must contain the necessary information for the
program 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 program committee as well.

Workshop proposals must provide at least the following information:

    * The title of the workshop.

    * Description of the workshop topic and goals.
      Why do you believe this to be 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)?
      How do you plan to publicize your workshop?

    * Organization of the workshop.

      Describe the intended format of the workshop and its expected
      duration (half a day or one day). Are you going to schedule 
      invited talks, presentations, panel discussions, or other 
      methods for ensuring an interactive atmosphere? Are there 
      any plans to document the workshop results beyond online 
      distribution on the Web and TABLEAUX'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 (Viorica Sofronie-Stokkermans, 
e-mail: sofronie at mpi-sb.mpg.de) no later than December 5, 2006.
The proposals will be reviewed by members of the program committee.

Further notes
-------------
    * Workshop organizers are themselves responsible for adequate
      distribution of their call for papers and other publicity 
      (there will be general TABLEAUX announcements mentioning
      all TABLEAUX workshops as well). 

    * Workshop organizers are expected to maintain a web site 
      showing all the relevant information on their workshop, 
      including online versions of accepted papers.

    * Workshop organizers are responsible for collecting and 
      assembling all material in electronic form. 
      The TABLEAUX organizers will help with printing and making 
      copies of the material prepared by the organizers for the 
      workshop proceedings. 

    * We suggest workshop participation to be open, i.e. anyone
      interested can register, and not based on invitation or 
      limited to authors of accepted papers.

    * Workshop participants will not be required to register for 
      TABLEAUX; there will be independent workshop registration fees.    

For any questions please contact the workshop chair. 

Important dates
---------------

Workshop proposal submission deadline:   December 5, 2006
Notification of acceptance of workshops: December 15, 2006 

Deadline for camera-ready copy of workshop notes: June 3, 2007
Workshops Date: July 3, 2007


Program and Conference chair:
-----------------------------
Nicola Olivetti, LSIS, Paul Cézanne University, Marseille, France

Publicity Chair:
----------------
Belaïd Benhamou, LSIS, Université de Provence, Marseille, France

Workshop chair
--------------
    Viorica Sofronie-Stokkermans 
    Max-Planck-Institut für Informatik, Saarbrücken, Germany
    sofronie at mpi-sb.mpg.de  
    http://www.mpi-sb.mpg.de/~sofronie/