Conference series Beta
International Symposium on Logic-based Program Synthesis and Transformation
LOPSTR
- Events
- 5 (2016 to 2020)
- Academic field
- Humanities: Philosophy, ethics and religion
- Disciplines
- logic
- Identifier
https://id.confref.org/series/s126mqd
Events (5)
20162020
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2020 | 30th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2020 | Bologna | 2020-09-07/09 | |
| 2019 | 29th International Symposium on Logic-based Program Synthesis and Transformation LOPSTR 2019 | Porto | 2019-10-08/10 | |
| 2018 | 28th International Symposium on Logic-based Program Synthesis and Transformation LOPSTR 2018 | Frankfurt | 2018-09-04/06 | |
| 2017 | 27th International Symposium on Logic-based Program Synthesis and Transformation LOPSTR 2017 | Namur | 2017-10-10/12 | |
| 2016 | 26th International Symposium on Logic-based Program Synthesis and Transformation LOPSTR 2016 | Edinburgh | 2016-09-06/08 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| ConfIDent |
|---|
Cite
International Symposium on Logic-based Program Synthesis and Transformation. confref identifier s126mqd. https://id.confref.org/series/s126mqd
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.