[SMT-LIB] QUANTIFY'14: Deadline Extension

Martina Seidl Martina.Seidl at jku.at
Wed Apr 16 03:37:34 EDT 2014


[We apologize if you receive multiple copies of this call]  
 
------------------------------------------------------------------------

    FINAL CALL FOR PAPERS (DEADLINE EXTENDED) 
 
             QUANTIFY 2014 
                -------- 
        1st International Workshop  
            on Quantification  
 
      Vienna, Austria, July 18, 2014 
        http://vsl2014.at/quantify 
 
 
    Affiliated to and co-located with:  
 
               IJCAR 2014 
    Vienna, Austria, July 19-22, 2014 
      http://cs.nyu.edu/ijcar2014/ 
 
       Vienna Summer of Logic 2014 
           http://vsl2014.at/ 
------------------------------------------------------------------------

 
Quantifiers play an important role in language extensions of many
logics. The 
use of quantifiers often allows for a more succinct encoding than would
be 
possible without quantifiers. However, the introduction of quantifiers
affects 
the complexity of the extended formalism in general. Moreover,
theoretical 
results established for the quantifier-free formalism typically cannot
be 
directly transferred to the quantified case. Further, techniques
successfully 
implemented in reasoning tools for quantifier-free formulas cannot
directly be 
lifted to a quantified version. 
 
The goal of the 1st International Workshop on Quantification (QUANTIFY
2014) 
is to bring together researchers who investigate the impact of
quantification 
from a theoretical as well as from a practical point of view.
Quantification 
is a topic in different research areas such as in SAT in terms of QBF,
in CSP 
in terms of QCSP, in SMT, etc. This workshop has the aim to provide an 
interdisciplinary forum where researchers of various fields may exchange
their 
experiences. 
 
=============== 
IMPORTANT DATES 
=============== 
 
Please follow the workshop website at http://vsl2014.at/quantify for any
updates. 
 
April 25 2014: paper submission [EXTENDED] 
May    7 2014: notification of acceptance 
July  18 2014: workshop  
 
================== 
TOPICS OF INTEREST 
================== 
 
The workshop is concerned with all theoretical and practical aspects of 
quantification in logics such as QBF, QCSP, SMT, and theorem proving. 
The 
topics of interest include (but are not limited to): 
 
- Complexity results 
 
- Encodings with and without quantification and comparisons thereof 
 
- Applications of quantification   
 
- Implementations of reasoning tools 
 
- Case studies and experimental results 
 
- Intersections between the different research communities working
working on 
  quantification 
 
- Surveys of state-of-the-art approaches to handling quantification 
 
================= 
PAPER SUBMISSIONS  
================= 
 
Submissions will be managed via Easychair: 
 
https://www.easychair.org/conferences/?conf=quantify2014 
 
Submitted papers should be formatted in either LNCS format or a standard
LaTeX 
article format (paper size A4, font size 11pt). 
 
We solicit two types of submissions: 
 
1. Talk abstracts (maximum two pages, excluding references) describing
already 
published results. 
 
2. Full papers (maximum 14 pages, excluding references) on novel,
unpublished 
work. 
 
The talk abstracts of category 1 should include a relevant bibliography
of 
related work and an outline of the planned talk. For this category, we 
explicitly advocate talks which survey results already published, maybe
in 
multiple articles or presentations capturing the commonalities and
differences 
of various quantification approaches (perhaps even interdisciplinary). 
 
Please see the workshop website for further submission guidelines: 
 
http://vsl2014.at/quantify 
 
=================== 
WORKSHOP ORGANIZERS 
=================== 
 
Hubie Chen 
Universidad del País Vasco and Ikerbasque, Donostia-San Sebastián, Spain

 
Florian Lonsing 
Vienna University of Technology, Austria 
 
Martina Seidl            
Johannes Kepler University Linz, Austria  
 
===============Mikolas Janota (INESC-ID Lisboa) 
Hans Kleine Büning (University of Paderborn) 
Konstantin Korovin (Manchester University) 
Laura Kovacs (Chalmers University of Technology) 
Francesco Scarcello (DIMES, University of Calabria) 
Christoph M. Wintersteiger (Microsoft Research)



More information about the SMT-LIB mailing list