LOPSTR 2017
Revision as of 19:53, 1 April 2022 by Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271))
LOPSTR 2017 | |
---|---|
27th International Symposium on Logic-based Program Synthesis and Transformation
| |
Event in series | LOPSTR |
Dates | 2017/10/10 (iCal) - 2017/10/12 |
Homepage: | https://www.sci.unich.it/lopstr17 |
Location | |
Location: | Namur, Belgium |
Papers: | Submitted 29 / Accepted 19 (65.5 %) |
Committees | |
Organizers: | Wim Vanhoof |
PC chairs: | Fabio Fioravanti, John Gallagher |
PC members: | Roberto Bagnara, Sabine Broda, Henning Christiansen, Emanuele De Angelis, Daniel De Schreye |
Table of Contents | |