Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)

07/21/2021
by   Emanuele De Angelis, et al.
0

This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers' House in Tallinn, Estonia) and virtual, and co-located with the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.

READ FULL TEXT
research
08/24/2017

Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)

This volume constitutes the pre-proceedings of the 27th International Sy...
research
07/29/2022

Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)

This volume constitutes the informal proceedings of the 32nd Internation...
research
08/02/2018

Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)

This volume constitutes the pre-proceedings of the 28th International Sy...
research
10/01/2018

Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)

This volume constitutes the pre-proceedings of the 26th International Wo...
research
11/07/2019

Perspectives on urban theories

At the end of the five years of work in our GeoDiverCity program, we bro...
research
09/12/2019

Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification

This volume contains the proceedings of the Tenth International Symposiu...

Please sign up or login with your details

Forgot password? Click here to reset