Home
Introduction
Benchmarks
Overview of LDBC Benchmarks
Graphalytics Benchmark
Semantic Publishing Benchmark
Social Network Benchmark
Financial Benchmark
Developer Community
Fair Use Policies
GQL Community
Overview
Membership
Organizational Members
Becoming a Member
Posts
Events
Publications
Formal Semantics Working Group (FSWG)
Home
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
×