Milan, photo by Ouael Ben Salah
on Unsplash
LOPSTR was founded by Kung-Kiu Lau in 1991. It has taken place annually since.
The next LOPSTR symposium, LOPSTR 2024, will be held in Milan (Italy) in September 9-11, 2024.
Its original title was International Workshop on Logic Program Synthesis and Transformation, and the workshop was intended to focus on logic programs. The title was changed to International Workshop on Logic-based Program Synthesis and Transformation in 1998 to reflect a widening of its scope. It was changed to International Symposium on Logic-based Program Synthesis and Transformation in 2002.
Currently, 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.
LOPSTR is usually co-located with PPDP (International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).
You can find here the old LOPSTR website maintained by Kung-Kiu Lau.
Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to:
Juliana Bowles | (PC chair LOPSTR 2024) |
Harald Søndergaard | (PC chair LOPSTR 2024) |
Robert Glück | (PC chair LOPSTR 2023) |
Bishoksan Kafle | (PC chair LOPSTR 2023) |
Alicia Villanueva | (PC chair LOPSTR 2022) |
Emanuele De Angelis | (PC chair LOPSTR 2021) |
Wim Vanhoof | (PC chair LOPSTR 2021) |
Maribel Fernández | (PC chair LOPSTR 2020) |
Maurizio Gabbrielli | (PC chair LOPSTR 2019) |
Germán Vidal | (maintainer of the LOPSTR website) |
Maurizio Proietti | (chair of the LOPSTR steering commitee) |
Former members include Elvira Albert, María Alpuente, Maurice Bruynooghe, Danny De Schreye, Sandro Etalle, Moreno Falaschi, Fabio Fioravanti, John Gallagher, Gopal Gupta, Michael Hanus, Manuel Hermenegildo, Patricia Hill, Andy King, Kung-Kiu Lau, Michael Leuschel, Pedro López, Fred Mesnard, Alberto Pettorossi, Germán Puebla, and Hirohisa Seki, Peter Stuckey.