Formal Semantics Working Group (FSWG)

  • Group leaders: Leonid Libkin (ENS Paris, University of Edinburgh), Paolo Guagliardo (University of Edinburgh)
  • Focus: Establishing formal semantics for the upcoming GQL language

Latest Working Group Updates

Launching open-source language tools for ISO/IEC GQL

09 May 2024

Following the publication of ISO/IEC GQL (graph query language) in April 2024, LDBC today launches open-source language engineering tools to help implementers, and assist in generation of code examples and …