LOPSTR 2017
Revision as of 06:50, 8 April 2020 by Kirsten.Goschenhofer (talk | contribs) (Created page with "{{Event |Acronym=LOPSTR 2017 |Title=27th International Symposium on Logic-based Program Synthesis and Transformation |Series=LOPSTR |Type=Conference |Start date=2017/10/10 |En...")
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 | |