LOPSTR 2016: Difference between revisions
Created page with "{{Event |Acronym=LOPSTR 2016 |Title=26th International Symposium on Logic-based Program Synthesis and Transformation |Series=LOPSTR |Type=Conference |Start date=2016/09/06 |En..." |
No edit summary |
||
| Line 6: | Line 6: | ||
|Start date=2016/09/06 | |Start date=2016/09/06 | ||
|End date=2016/09/08 | |End date=2016/09/08 | ||
|Homepage=http://www.cliplab.org/Conferences/LOPSTR16 | |||
|City=Edinburgh | |City=Edinburgh | ||
|Country=UK | |Country=UK | ||
|Has coordinator=James Cheney | |||
|has program chair=Manuel Hermenegildo, Pedro López-García | |||
|Has PC member=Slim Abdennadher, Maria Alpuente, Sergio Antoy, Michael Codish, Jérôme Feret | |||
|has Keynote speaker=Francesco Logozzo, Greg Morrisett, Martin Vechev | |||
|Submitted papers=38 | |Submitted papers=38 | ||
|Accepted papers=20 | |Accepted papers=20 | ||
}} | }} | ||
Latest revision as of 05:03, 8 April 2020
| LOPSTR 2016 | |
|---|---|
26th International Symposium on Logic-based Program Synthesis and Transformation
| |
| Event in series | LOPSTR |
| Dates | 2016/09/06 (iCal) - 2016/09/08 |
| Homepage: | http://www.cliplab.org/Conferences/LOPSTR16 |
| Location | |
| Location: | Edinburgh, UK |
| Papers: | Submitted 38 / Accepted 20 (52.6 %) |
| Committees | |
| Organizers: | James Cheney |
| PC chairs: | Manuel Hermenegildo, Pedro López-García |
| PC members: | Slim Abdennadher, Maria Alpuente, Sergio Antoy, Michael Codish, Jérôme Feret |
| Keynote speaker: | Francesco Logozzo, Greg Morrisett, Martin Vechev |
| Table of Contents | |