[mercury-users] CFP: IJCAR Workshop on Theory and Applications of Quantified Boolean Formulas

[Hans Tompits]

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

    qbf2001 at kr.tuwien.ac.at 

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 qbf2001 at kr.tuwien.ac.at 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 qbf2001 at kr.tuwien.ac.at.

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------