================================================================
First Call for Papers
Workshop on Theory and Applications of
Quantified Boolean Formulas
June 18 or 19, 2001
Siena, Italy
Part of IJCAR 2001
http://www.kr.tuwien.ac.at/qbf2001/
================================================================
TOPIC OF THE WORKSHOP
*********************
In the last few years, there is a considerable increase of
interest in quantified boolean formulas (QBFs), i.e., propositional
formulas with the additional possibility to quantify over
propositional variables. Besides a growing number of investigations
discussing theoretical issues concerning QBFs, the availability of
several QBF-solvers stimulated also some practically motivated
research. For instance, applications for solving planning problems
or various nonmonotonic reasoning tasks based on encodings to QBFs
have been proposed. Also, proof-theoretical investigations for some
quantified non-classical logics have been performed, like, e.g.,
studying several kinds of quantified fuzzy logics.
The aim of this workshop is to bring together people who are
interested in theoretical and practical aspects of quantified
boolean formulas. Topics of interest include (but are not limited to)
- proof theory and calculi for QBFs;
- implementations of QBF solvers;
- benchmark generation and evaluation methodology;
- applications of QBFs, e.g., in knowledge representation,
planning, formal verification, etc.;
- (boolean) quantification and non-classical logics.
SUBMISSION
**********
Authors should send submissions of up to 10 pages in postscript
format by e-mail to
[log in to unmask]
The papers are required to be formatted according to the LNCS
guidelines in A4 format. Informal proceedings will be available
at the workshop and are provided by IJCAR.
IMPORTANT DATES
***************
Submission deadline: March 24, 2001
Notification of acceptance: April 27, 2001
Final version due: May 13, 2001
PARTICIPATION
*************
Participation will be by invitation only. All authors of
accepted papers and PC members will be invited. Other
researchers who are interested in participating should
send an e-mail to [log in to unmask] by May 13, 2001.
Note that all participants must register to IJCAR
http://www.dii.unisi.it/~ijcar/).
PROGRAM COMMITTEE
*****************
U. Egly (TU Wien, Co-Chair)
R. Feldmann (Univ. Paderborn, Co-Chair)
I. Gent (Univ. St. Andrews)
D. Mitchell (SFU Burnaby)
J. Rintanen (Univ. Freiburg)
M. Schaerf (Univ. Rome)
H. Tompits (TU Wien, Co-Chair)
T. Walsh (Univ. York)
CONTACT
*******
For further information, send an e-mail to [log in to unmask]
