Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics

 Siena, June 19, 2001

 in connection with IJCAR 2001



Program Committee

A. Biere (ETH, Zurich)
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


For more information contact Enrico Giunchiglia (subject: IJCAR-workshop infos). 


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:




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. 


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