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.
Logic-based Program Synthesis and Transformation (LOPSTR 2025)
113 113 people viewed this event.
The Logic-based Program Synthesis and Transformation (LOPSTR 2025) will be held in Rende, Italy.
Topics of interest include, but are not limited to: Program Transformation, Program Synthesis, Logic Based Program Develop, Program And Model Manipulation
Submission deadline for conference contributions is May 16, 2025.