This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
LOPSTR 2024 — Preliminary Call for Papers
173 173 people viewed this event.
LOPSTR 2024 — Preliminary Call for Papers will be held in Milan, Italy
The aim of the LOPSTR series is to stimulate and promote internationalresearch and collaboration on logic-based program development.
The event welcomes contributions in all research areas related to: program transformation, program synthesis, logic based program develop., program and model manipulation.
All accepted papers will be included in the conference proceedings andpublished by Springer as a Lecture Notes in Computer Science (LNCS)volume.
The deadline for submitting contributions is: May 10, 2024