Program Committee
E. Giunchiglia (U.
Genova, Organiser)
F. Giunchiglia (U. Trento)
I. Gent (U. St. Andrews)
I. Horrocks (U. Manchester)
F. Massacci (U. Siena)
R. A. Schmidt (U. Manchester)
Important dates
Submission deadline: April 16, 2001
Notification of acceptance: April 30, 2001
Final version due: May 13, 2001
Contact
For
more information contact Enrico
Giunchiglia (subject: IJCAR-workshop infos). |
Topic
The aim of this workshop is to bring together people who are interested
in the development and experimental evaluation of systems for modal, temporal
and description logics. The emphasis of the workshop is on the identification
of open problems and the discussion of possible solutions under the theme.
Which are the key issues in the design of modal and temporal systems?
What is a good benchmark set? What is a good comparative evaluation?
The workshop will consist of three parts on each of these questions,
with invited speaker starting the discussion followed by contributions
from the participants. An overall panel will conclude the workshop. Topics
of interest include (but are not limited to)
|
Tableaux vs Translations Methods
|
|
SAT-based vs BDD-based techniques
|
|
|
Running Time vs Scaling abilities
|
|
Random Benchmarks vs Industrial Case Studies
|
|
Invited Speakers
The following people will give invited presentations at the workshop:
Submission
Submissions are encouraged in one of the following
two categories:
-
A. Regular paper: Submissions in this category should describe completed
work or work in progress, including description of researches, testing
methodologies, tools, and applications. The length of submitted papers
should be no more than 10 pages in LNCS style.
-
B. Discussion paper: Submissions in this category are intended to
initiate discussions. They should address controversial issues and may
include bold provocative statements on the above themes. The length of
papers should be no more than 5 pages in LNCS style.
Submissions should be prepared following the LNCS
guidelines and sent in postscript format by e-mail to Enrico
Giunchiglia (subject: IJCAR-workshop Submission). The category (either
A
or B) must be clearly indicated. Please include also address and
e-mail of the contact author into the submission e-mail.
Publication
Accepted papers will be distribuited as part of the workshop working notes.
Authors of accepted papers will be asked to submit an extended version
to a planned special issue of the Journal
of Applied Non Classical Logics (JANCL).
Participation
Participation will be open to authors, the invited
speakers and the people in the PC. If you wish to attend without presenting
a paper, please send a brief e-mail to Enrico
Giunchiglia (subject: IJCAR-workshop participation) with a brief summary
of your research interests. Note that all participants must register to
IJCAR. |
|