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 backend. 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 - Declarative specification of grounding transformations - Declarative construction of grounders - Syntactic restrictions for grounding - Selective on-the-fly grounding, lazy grounding, grounding on demand - Integration of grounding technologies - Incremental grounding - Grounding for theories with functions - Grounding algorithms: heuristics, computational complexity, etc - Grounding methods for optimization problems - Grounding for specific solvers such as: ASP, SAT, SMT, CP, MIP, etc - Grounding in hybrid systems: ontologies and ASP, etc - Benchmarks, challenging applications and system comparisons - Recent developments in systems and tools - Experimental evaluations - Other techniques for variables: quantifier elimination, etc.

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

Two types of contributions are accepted: Technical papers and System descriptions. Technical papers must present either original or recent research results that are targeted to an audience of experts in grounding technology. Technical papers should 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 GTTV'17 easychair webpage

At least one author of each accepted paper is expected to register for the workshop to present the work.

While GTTV'17 accepts original research papers, it also provides a venue for advertising recently published/accepted research results to GTTV audience. In the latter case, the submission should (1) clearly point to the original paper, and (2) be re-written for GTTV'17 audience (i.e., grounding experts). Moreover, authors may freely submit their papers elsewhere during or after GTTV'17 review period, since GTTV'17 is a specialised workshop without archival proceedings and intended for a limited audience.

The workshop will be held in Espoo, Finland and is collocated with the 14th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning 2017