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
LEX Working Group
Membership
Organizational Members
Leadership
Becoming a Member
Constitutional Documents
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
×