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

Organising Committee

Programme Committee (TBA)












Webpage maintained by Pedro Cabalar

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