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)
metaKanren: Towards a Metacircular Relational Interpreter, Bharathi Ramana Joshi
This event has passed
- Ekaterina V.
- Andrii R.
- Anton Kotenko a.k.a E.
- 4 attendees
Kater: Automating Weak Memory Model Metatheory and Consistency Checking
- Ekaterina V.
- Ivan K.
- Nodira K.
- 5 attendees
Kleene Algebras: Theory and Applications (Evgenii Moiseenko)
- Ekaterina V.
- Adolfo B.
- Alex G.
- 12 attendees
Relational Programming 101 (Ekaterina Verbitskaia)
- Ekaterina V.
- Alex G.
- Alex Z.
- 22 attendees
