Chair of Software Modeling and Verification
  • Home
  • News
  • People
    • Thesis Projects
    • Lectures
      • Concurrency Theory
      • Model Checking
      • Probabilistic Programming
    • Publications
    • Projects
    • MOVES seminar
    • Tools
      • PRINSYS - PRobabilistic INvariant SYnthesiS
      • Prophesy
      • Smyle
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  1. Home
  2. News
  3. KPS 2023

KPS 2023

September 28, 2023

MOVES has successfully organised the 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2023). KPS is a traditional, bi-annual series of workshops for computer scientists from Germany, Austria and Switzerland working on the foundations, design, implementation, and usage of programming languages. This year’s edition featured 41 participants and a scientific programme with 31 presentations.

Paper in FMSD Journal
Paper in NeurIPS
© 2026 Chair of Software Modeling and Verification. All Rights Reserved.
  • Privacy Policy
  • Faculty of Computer Science
  • RWTH Aachen