[PlanetKR] GTTV 2011 - extended deadline

[Simona Perri]

[apologies for cross-posting]
  
                            Call for Papers
                             [EXTENDED DEADLINE]
---------------------------------------------------------------------------

 1st Workshop on Grounding and Transformations for Theories with Variables
                                  GTTV 2011

                       http://www.dc.fi.udc.es/GTTV11/

                    Collocated with the 11th Intl. Conf. on 
                Logic Programming and Nonmonotonic Reasoning 2011

                            Vancouver, BC, Canada
                               May 16-19, 2011
---------------------------------------------------------------------------

AIMS AND SCOPE

 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
    * Syntactic restrictions for grounding
    * Grounding for theories with functions
    * Selective on-the-fly grounding
    * Grounding algorithms: heuristics, computational complexity, etc
    * Benchmarks, challenging applications and system comparisons
    * Grounding for specific solvers including, but not limited to:
      ASP, SAT, SMT, etc
    * Grounding in hybrid systems: ontologies, constraint handling, etc

SUBMISSIONS

 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. Since it is
 the first meeting and we expect to collect contributions from different
 areas, we also encourage introductory system descriptions that help each
 group 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
 GTTV11 webpage

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

MULTIPLE SUBMISSION POLICY

 GTTV'11 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 sumbit their papers elsewhere
 during or after GTTV'11 review period, since GTTV'11 is a specialised
 workshop without archival proceedings and intended for a limited audience.

IMPORTANT DATES

    * Submission opens: 31 January 2011
    * Paper registration: 20 March 2011 *** extended ***
    * Paper submission: 27 March 2011 *** extended ***
    * Notification: 24 April 2011
    * Final versions due: 8 May 2011
    * Workshop: during LPNMR week May 16-19, 2011 (TBA)

LOCATION

 The workshop will be held in Vancouver (BC, Canada), collocated
 with the 11th Intl. Conference on Logic Programming and Nonmonotonic
 Reasoning (LPNMR 2011).

ORGANISING COMMITTEE

 * Pedro Cabalar       (University of Corunna, Spain)
 * David Mitchell      (Simon Fraser University, Canada)
 * David Pearce        (Universidad Politécnica de Madrid, Spain)
 * Evgenia Ternovska   (Simon Fraser University, Canada)

PROGRAMME COMMITTEE

 * Stefania Costantini (Universita di L'Aquila, Italy)
 * Hector Geffner      (Universitat Pompeu Fabra, Spain)
 * Yuliya Lierler      (University of Kentucky, USA)
 * Emilia Oikarinen    (Aalto University, Finland)
 * Simona Perri        (Universita degli Studi della Calabria, Italy)
 * Enrico Pontelli     (New Mexico State University, USA)
 * Torsten Schaub      (University of Potsdam, Germany)
 * Agustin Valverde    (Universidad de Malaga, Spain)
 * Stefan Woltran      (Vienna University of Technology, Austria)