1st Workshop on

Grounding and Transformations for Theories with Variables

(GTTV 2011)

Vancouver, BC, Canada
May 2011

home  |  committees important dates  |  for authors  |  workshop content

Paper submission

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.
  • 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.

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.

You can also download the call for papers containing most information in this web page in a single file.

Webpage maintained by Pedro Cabalar

Partially supported by projects: MEC TIN2009-14562-C05-04 and Xunta de Galicia INCITE08-PXIB105159PR