31st International Symposium onLogic-based Program Synthesis and Transformation (Begivenhed)

Aktivitet: MedlemsskabMedlemskab 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.
Periode7 sep. 2021
Begivenhedstitel31st International Symposium on
Logic-based Program Synthesis and Transformation: null
PlaceringTallinn, Estland
Grad af anerkendelseInternational