[Om-announce] TABLEAUX 2007: Call for Workshop Proposals
sofronie at mpi-inf.mpg.de
Wed Nov 15 16:00:45 CET 2006
[We apologize if you receive multiple copies of this announcement]
Automated Reasoning with Analytic Tableaux
and Related Methods
3-6 July 2007
Aix en Provence, France
CALL FOR WORKSHOP PROPOSALS
PROPOSAL SUBMISSION DEADLINE: December 5, 2006
NOTIFICATION OF ACCEPTANCE: December 15, 2006
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.
Proposals for workshops on TABLEAUX related topics, as
mentioned in the "Call for papers"
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.
* 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
* 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.
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
Belaïd Benhamou, LSIS, Université de Provence, Marseille, France
Max-Planck-Institut für Informatik, Saarbrücken, Germany
sofronie at mpi-sb.mpg.de
More information about the Om-announce