LOPSTR 2025
Oct 1, 2024
·
1 min read
I am a program co-chair, together with Santiago Escobar, of the 35nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025). Stay tuned for more details.
I am a program co-chair, together with Santiago Escobar, of the 35nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025). Stay tuned for more details.