About the Workshop

Grounding can generally be described as a process of combining a high-level specification and data in order to obtain a low-level formula. For example, quantifiers of a first-order formula, may be instantiated by domain elements in order to obtain a propositional formula.

Such work is happening in several groups, working in a number of different areas, including theorem proving and finite model generation (e.g., MACE and SEM), tools supporting knowlege representation and constraint modelling languages (GiDl, enfragmo, tailor) and answer set programming (e.g., gringo, dlv), and tools supporting various formal methods (e.g. Alloy).

This work is carried out by groups from around the world, including at SFU (MXG and Enfragmo), Potsdam (Gringo), KU Leuven (Gidl), MIT (Alloy), HUT (lparse), TUV (DLV), Kentucky (psgrnd), St. Andrews (Tailor), Chalmers (Equinox); NICTA (Darwin), and many others.

The goal of the workshop is to bring together researchers from different areas to discuss methods and techniques for efficient and effective grounding.


  • Eugenia Ternovska, Simon Fraser University, Canada
  • David Mitchell, Simon Fraser University, Canada