[SMT-LIB] 2nd Call for Papers: GTTV'15 3rd Workshop on Grounding, Transforming, and Modularizing Theories with Variables

[Tomi Janhunen]

------------------------------------------------------------------------------
2nd CALL FOR PAPERS
------------------------------------------------------------------------------

GTTV'15 3rd Workshop on Grounding, Transforming, and
Modularizing Theories with Variables

27 September, Lexington, KY, USA.

Workshop collocated with LPNMR 2015

URL: https://sites.google.com/site/gttv2015/

------------------------------------------------------------------------------
IMPORTANT DATES
------------------------------------------------------------------------------

- Paper registration: 22 June
- Paper submission: 29 June
- Notification of acceptance: 17 August
- Camera ready submission: 1 September
- Workshop: 27 September, 2015

------------------------------------------------------------------------------
WORKSHOP DESCRIPTION
------------------------------------------------------------------------------

Although many efficient solvers used in formal reasoning operate at the
propositional level, in most application domains for knowledge
representation and reasoning the use of variables is crucial for
allowing compact and flexible formal descriptions. As a result, a common
situation in many different areas of formal reasoning is to deal with
high level descriptions containing variables while using a propositional
solver as a back-end. The technique of removing variables, replacing
them by their possible ground instances, is commonly known as Grounding,
and has attracted research interest from quite diverse areas such as
Logic Programming and Non-Monotonic Reasoning, Theorem Proving,
Planning, Deductive Databases, Formal Methods, and others.

This workshop aims to bring together researchers from different areas
with a common interest in grounding and transformations for theories
with variables, establishing a meeting point from which a
cross-fertilization of new ideas may emerge. Workshop topics include,
but are not limited to:

*    Transformations and pre-processing for grounding
*    Equivalence and correspondence for theories with variables
*    Modularity and compositionality
*    Syntactic restrictions for grounding
*    Grounding for theories with functions
*    Selective on-the-fly grounding, lazy grounding, grounding on demand
*    Grounding algorithms: heuristics, computational complexity, etc
*    Benchmarks, challenging applications and system comparisons
*    Grounding for specific solvers including, but not limited to: ASP,
SAT,
     	       SMT, constraint programming, mixed integer programming, etc
*    Grounding in hybrid systems: ontologies and ASP, etc
*    Other techniques for variables: quantifier elimination, etc.

------------------------------------------------------------------------------
INVITED SPEAKERS
------------------------------------------------------------------------------

    Andreas Pieris, Vienna University of Technology
    Roland Kaminski, Potsdam University

------------------------------------------------------------------------------
SUBMISSION INSTRUCTIONS
------------------------------------------------------------------------------

All submissions must be written in English and formatted according to
the Springer LNCS/LNAI author instructions.

               http://www.springer.com/comp/lncs/Authors.html

Two types of contributions are accepted: Technical papers and System
descriptions. Technical papers must present original research and not
exceed 13 pages including title page, references and figures. We also
encourage introductory system descriptions that help different groups
make their work known to the others. For system presentations a length
of 6 pages is recommended.


Paper submission is electronic and managed through the following
easychair GTTV'15 webpage

             https://www.easychair.org/conferences/?conf=gttv15

MULTIPLE SUBMISSION POLICY

GTTV'15 will not accept any paper which, at the time of submission, has
already been published or accepted for publication in a journal or
previous conference. However, authors may freely submit their papers
elsewhere during or after GTTV'15 review period, since GTTV'15 is a
specialized workshop without archival proceedings and intended for a
limited audience.

------------------------------------------------------------------------------
PROGRAM COMMITTEE
------------------------------------------------------------------------------

    Marcello Balduccini, Drexel University
    Pedro Cabalar, University of A Coruña
    Martin Gebser, Aalto University
    Emilia Oikarinen, Aalto University
    Simona Perri, University of Calabria
    Joohyung Lee, Arizona State University
    Torsten Schaub, University of Potsdam
    Shahab Tasharrofi, Aalto University
    Evgenia Ternovska, Simon Fraser University
    Mirek Truszczynski, University of Kentucky
    Agustín Valverde Ramos, University of Málaga
    Concepción Vidal Martin, University of A Coruña
    Stefan Woltran, Technische Universität Wien

------------------------------------------------------------------------------
ORGANIZING COMMITTEE
------------------------------------------------------------------------------

    Marc Denecker, KU Leuven
    Tomi Janhunen, Aalto University