Aktivitet: Medlemsskab › Medlemskab af udvalg, råd og nævn
The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers.
7 sep. 2021
31st International Symposium on Logic-based Program Synthesis and Transformation