What we're about

Since its foundation in 2012 by Dmitri Boulytchev, the laboratory has been carrying out scientific research in the area of programming language theory, with the main focus on the following topics:

  • Relational and logic programming
  • Weak memory models and concurrency
  • Meta-programming, meta-computations, and partial evaluation
  • Programming language semantics and types
  • Certified programming and mechanized proofs
  • Functional programming
  • Formal languages theory

Past events (6)

Kleene Algebras: Theory and Applications (Evgenii Moiseenko)

This event has passed

Relational Programming 101 (Ekaterina Verbitskaia)

This event has passed